This paper presents methodologies based on approximate computations for the target control problem of hybrid systems modelled by hybrid automata. The problem of backward reachability and its relation to the control synthesis is studied using approximate analysis techniques. The reachability operators, considering non-linear and linear dynamics with affine disturbances, are under-approximated using state space discretization that involves hyper-cubes. The timing information provided by the backward reachability computation is used in order to design a sub-optimal controller. The computational techniques are applied to the batch evaporator benchmark process which has practical interest
This paper is concerned with the extraction of controllers for hybrid systems with respect to eventu...
This paper is concerned with the extraction of controllers for hybrid systems with respect to eventu...
This paper is concerned with the supervisory target control problem for hybrid systems modeled by hy...
This paper presents methodologies based on approximate computations for the target control problem o...
This paper presents methodologies based on approximate computations for the target control problem o...
We consider the target control problem for hybrid systems with linear continuous dynamics. The syste...
The approximation of the continuous reachability operator associated with the supervisory target con...
We consider the target control problem for hybrid systems with linear continuous dynamics. The syste...
The problem of systematically synthesizing supervisory control laws that satisfy eventuality and eff...
The problem of systematically synthesizing supervisory control laws that satisfy eventuality and eff...
The problem of systematically synthesizing supervisory control laws that satisfy eventuality and eff...
The batch evaporator is employed as a benchmark example of supervisory control synthesis for hybrid ...
The batch evaporator is employed as a benchmark example of supervisory control synthesis for hybrid ...
This paper is concerned with the extraction of controllers for hybrid systems with respect to eventu...
This paper is concerned with the extraction of controllers for hybrid systems with respect to eventu...
This paper is concerned with the extraction of controllers for hybrid systems with respect to eventu...
This paper is concerned with the extraction of controllers for hybrid systems with respect to eventu...
This paper is concerned with the supervisory target control problem for hybrid systems modeled by hy...
This paper presents methodologies based on approximate computations for the target control problem o...
This paper presents methodologies based on approximate computations for the target control problem o...
We consider the target control problem for hybrid systems with linear continuous dynamics. The syste...
The approximation of the continuous reachability operator associated with the supervisory target con...
We consider the target control problem for hybrid systems with linear continuous dynamics. The syste...
The problem of systematically synthesizing supervisory control laws that satisfy eventuality and eff...
The problem of systematically synthesizing supervisory control laws that satisfy eventuality and eff...
The problem of systematically synthesizing supervisory control laws that satisfy eventuality and eff...
The batch evaporator is employed as a benchmark example of supervisory control synthesis for hybrid ...
The batch evaporator is employed as a benchmark example of supervisory control synthesis for hybrid ...
This paper is concerned with the extraction of controllers for hybrid systems with respect to eventu...
This paper is concerned with the extraction of controllers for hybrid systems with respect to eventu...
This paper is concerned with the extraction of controllers for hybrid systems with respect to eventu...
This paper is concerned with the extraction of controllers for hybrid systems with respect to eventu...
This paper is concerned with the supervisory target control problem for hybrid systems modeled by hy...