57,497 research outputs found
Time-Constrained Temporal Logic Control of Multi-Affine Systems
In this paper, we consider the problem of controlling a dynamical system such
that its trajectories satisfy a temporal logic property in a given amount of
time. We focus on multi-affine systems and specifications given as
syntactically co-safe linear temporal logic formulas over rectangular regions
in the state space. The proposed algorithm is based on the estimation of time
bounds for facet reachability problems and solving a time optimal reachability
problem on the product between a weighted transition system and an automaton
that enforces the satisfaction of the specification. A random optimization
algorithm is used to iteratively improve the solution
Ensuring successful introduction of Wolbachia in natural populations of Aedes aegypti by means of feedback control
The control of the spread of dengue fever by introduction of the
intracellular parasitic bacterium Wolbachia in populations of the vector Aedes
aegypti, is presently one of the most promising tools for eliminating dengue,
in the absence of an efficient vaccine. The success of this operation requires
locally careful planning to determine the adequate number of individuals
carrying the Wolbachia parasite that need to be introduced into the natural
population. The introduced mosquitoes are expected to eventually replace the
Wolbachia-free population and guarantee permanent protection against the
transmission of dengue to human.
In this study, we propose and analyze a model describing the fundamental
aspects of the competition between mosquitoes carrying Wolbachia and mosquitoes
free of the parasite. We then use feedback control techniques to devise an
introduction protocol which is proved to guarantee that the population
converges to a stable equilibrium where the totality of mosquitoes carry
Wolbachia.Comment: 24 pages, 5 figure
Safety Control Synthesis with Input Limits: a Hybrid Approach
We introduce a hybrid (discrete--continuous) safety controller which enforces
strict state and input constraints on a system---but only acts when necessary,
preserving transparent operation of the original system within some safe region
of the state space. We define this space using a Min-Quadratic Barrier
function, which we construct along the equilibrium manifold using the Lyapunov
functions which result from linear matrix inequality controller synthesis for
locally valid uncertain linearizations. We also introduce the concept of a
barrier pair, which makes it easy to extend the approach to include
trajectory-based augmentations to the safe region, in the style of LQR-Trees.
We demonstrate our controller and barrier pair synthesis method in
simulation-based examples.Comment: 6 pages, 7 figures. Accepted for publication at the 2018 American
Controls Conference. Copyright IEEE 201
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
- …