5,311 research outputs found
Lazy Abstraction-Based Controller Synthesis
We present lazy abstraction-based controller synthesis (ABCS) for
continuous-time nonlinear dynamical systems against reach-avoid and safety
specifications. State-of-the-art multi-layered ABCS pre-computes multiple
finite-state abstractions of varying granularity and applies reactive synthesis
to the coarsest abstraction whenever feasible, but adaptively considers finer
abstractions when necessary. Lazy ABCS improves this technique by constructing
abstractions on demand. Our insight is that the abstract transition relation
only needs to be locally computed for a small set of frontier states at the
precision currently required by the synthesis algorithm. We show that lazy ABCS
can significantly outperform previous multi-layered ABCS algorithms: on
standard benchmarks, lazy ABCS is more than 4 times faster
MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation
An architectural approach to self-adaptive systems involves runtime change of
system configuration (i.e., the system's components, their bindings and
operational parameters) and behaviour update (i.e., component orchestration).
Thus, dynamic reconfiguration and discrete event control theory are at the
heart of architectural adaptation. Although controlling configuration and
behaviour at runtime has been discussed and applied to architectural
adaptation, architectures for self-adaptive systems often compound these two
aspects reducing the potential for adaptability. In this paper we propose a
reference architecture that allows for coordinated yet transparent and
independent adaptation of system configuration and behaviour
Concurrent Design of Embedded Control Software
Embedded software design for mechatronic systems is becoming an increasingly time-consuming and error-prone task. In order to cope with the heterogeneity and complexity, a systematic model-driven design approach is needed, where several parts of the system can be designed concurrently. There is however a trade-off between concurrency efficiency and integration efficiency. In this paper, we present a case study on the development of the embedded control software for a real-world mechatronic system in order to evaluate how we can integrate concurrent and largely independent designed embedded system software parts in an efficient way. The case study was executed using our embedded control system design methodology which employs a concurrent systematic model-based design approach that ensures a concurrent design process, while it still allows a fast integration phase by using automatic code synthesis. The result was a predictable concurrently designed embedded software realization with a short integration time
Rapid Recovery for Systems with Scarce Faults
Our goal is to achieve a high degree of fault tolerance through the control
of a safety critical systems. This reduces to solving a game between a
malicious environment that injects failures and a controller who tries to
establish a correct behavior. We suggest a new control objective for such
systems that offers a better balance between complexity and precision: we seek
systems that are k-resilient. In order to be k-resilient, a system needs to be
able to rapidly recover from a small number, up to k, of local faults
infinitely many times, provided that blocks of up to k faults are separated by
short recovery periods in which no fault occurs. k-resilience is a simple but
powerful abstraction from the precise distribution of local faults, but much
more refined than the traditional objective to maximize the number of local
faults. We argue why we believe this to be the right level of abstraction for
safety critical systems when local faults are few and far between. We show that
the computational complexity of constructing optimal control with respect to
resilience is low and demonstrate the feasibility through an implementation and
experimental results.Comment: In Proceedings GandALF 2012, arXiv:1210.202
Iterative Temporal Motion Planning for Hybrid Systems in Partially Unknown Environments
This paper considers the problem of motion planning for a
hybrid robotic system with complex and nonlinear dynamics
in a partially unknown environment given a temporal logic
specification. We employ a multi-layered synergistic framework
that can deal with general robot dynamics and combine
it with an iterative planning strategy. Our work allows us
to deal with the unknown environmental restrictions only
when they are discovered and without the need to repeat
the computation that is related to the temporal logic specification.
In addition, we define a metric for satisfaction of
a specification. We use this metric to plan a trajectory that
satisfies the specification as closely as possible in cases in
which the discovered constraint in the environment renders
the specification unsatisfiable. We demonstrate the efficacy
of our framework on a simulation of a hybrid second-order
car-like robot moving in an office environment with unknown
obstacles. The results show that our framework is successful
in generating a trajectory whose satisfaction measure of the
specification is optimal. They also show that, when new obstacles
are discovered, the reinitialization of our framework
is computationally inexpensive
Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications
This paper presents an algorithmic framework for control synthesis of
continuous dynamical systems subject to signal temporal logic (STL)
specifications. We propose a novel algorithm to obtain a time-partitioned
finite automaton from an STL specification, and introduce a multi-layered
framework that utilizes this automaton to guide a sampling-based search tree
both spatially and temporally. Our approach is able to synthesize a controller
for nonlinear dynamics and polynomial predicate functions. We prove the
correctness and probabilistic completeness of our algorithm, and illustrate the
efficiency and efficacy of our framework on several case studies. Our results
show an order of magnitude speedup over the state of the art.Comment: 8 pages, 3 figures, to appear in CDC 202
Layered controller synthesis for dynamic multi-agent systems
In this paper we present a layered approach for multi-agent control problem,
decomposed into three stages, each building upon the results of the previous
one. First, a high-level plan for a coarse abstraction of the system is
computed, relying on parametric timed automata augmented with stopwatches as
they allow to efficiently model simplified dynamics of such systems. In the
second stage, the high-level plan, based on SMT-formulation, mainly handles the
combinatorial aspects of the problem, provides a more dynamically accurate
solution. These stages are collectively referred to as the SWA-SMT solver. They
are correct by construction but lack a crucial feature: they cannot be executed
in real time. To overcome this, we use SWA-SMT solutions as the initial
training dataset for our last stage, which aims at obtaining a neural network
control policy. We use reinforcement learning to train the policy, and show
that the initial dataset is crucial for the overall success of the method
- …