In this contribution we address an optimal control problem for a class of discrete-time hybrid automata under safety and liveness constraints. The solution is based on a hierarchical decomposition of the problem, where the low-level controller enforces safety and liveness constraints while the high-level controller exploits the remaining degrees of freedom for performance optimisation. Lower-level control is based on a discrete abstraction of the continuous dynamics. The action of low-level control can be interpreted as restricting invariants in the hybrid automaton representing the plant model. A state feedback solution for the high-level control is provided, based on the off-line construction of an appropriate partition of the state space...
Abstract. Hybrid systems evolve simultaneously in continuous and discrete state spaces. An illustrat...
Complex natural and engineered systems typically possess a hierarchical structure, characterized by ...
The optimal control of switched linear autonomous systems with quadratic performance index over infi...
In this contribution we address an optimal control problem for a class of discrete-time hybrid autom...
In this contribution we address an optimal control problem for a class of discretetime hybrid autom...
Optimal control of discrete-time hybrid automata under safety and liveness constraint
In this paper, the problem of time-optimal control for hybrid systems with discrete-time dynamics is...
This paper focuses on hybrid systems whose discrete state transitions depend on both deterministic a...
For linear hybrid automata, namely switched linear autonomous systems whose mode of operation is det...
In this contribution, we propose a two-level hierarchical control strategy to solve the problem of m...
We define a new class of hybrid systems called Autonomous Hybrid Automata that can be seen as a gene...
Hybrid automata are an extension of finite automata obtained by augmenting them with a set of real-v...
International audienceThis paper deals with formal controller synthesis for discrete-time dynamical ...
We propose a very general framework that systematizes the notion of a hybrid system, combining diffe...
This paper considers an optimal control problem for linear hybrid automata (LHA). First, we present ...
Abstract. Hybrid systems evolve simultaneously in continuous and discrete state spaces. An illustrat...
Complex natural and engineered systems typically possess a hierarchical structure, characterized by ...
The optimal control of switched linear autonomous systems with quadratic performance index over infi...
In this contribution we address an optimal control problem for a class of discrete-time hybrid autom...
In this contribution we address an optimal control problem for a class of discretetime hybrid autom...
Optimal control of discrete-time hybrid automata under safety and liveness constraint
In this paper, the problem of time-optimal control for hybrid systems with discrete-time dynamics is...
This paper focuses on hybrid systems whose discrete state transitions depend on both deterministic a...
For linear hybrid automata, namely switched linear autonomous systems whose mode of operation is det...
In this contribution, we propose a two-level hierarchical control strategy to solve the problem of m...
We define a new class of hybrid systems called Autonomous Hybrid Automata that can be seen as a gene...
Hybrid automata are an extension of finite automata obtained by augmenting them with a set of real-v...
International audienceThis paper deals with formal controller synthesis for discrete-time dynamical ...
We propose a very general framework that systematizes the notion of a hybrid system, combining diffe...
This paper considers an optimal control problem for linear hybrid automata (LHA). First, we present ...
Abstract. Hybrid systems evolve simultaneously in continuous and discrete state spaces. An illustrat...
Complex natural and engineered systems typically possess a hierarchical structure, characterized by ...
The optimal control of switched linear autonomous systems with quadratic performance index over infi...