In this paper, we study classes of discrete time hybrid systems for which the classical algorithm for computing the maximal controlled invariant set and the ...

In this paper, we study classes of discrete time hybrid systems for which the classical algorithm for comput- ing the maximal controlled invariant set and ...

In this paper, we study classes of discrete time hybrid systems for which the classical algorithm for comput- ing the maximal controlled invariant set and ...

A problem of great interest in the control of hybrid systems is the design of least restrictive controllers for reachability specifications. ResearchGate Logo.

In general, the computation of the controllers requires the steady state solution of a Hamilton-Jacobi partial differential equation which is very difficult ...

In the literature, control synthesis problems have been considered in the context of discrete automata [6,16], timed automata [3,4,13], linear hybrid automata [ ...

In this paper, we show that for classes of linear systems, the controller synthesis problem is decidable: There exists a computational algorithm which, after a ...

Decidable and Semi-Decidable Controller Synthesis for Classes of Discrete Time Hybrid Systems. R. Vidal,. S. Schaffert,. O. Shakernia,. J. Lygeros,.

In this paper, we extend recent decidability results on controller synthesis for classes of linear hybrid systems to semi-decision procedures for triangular ...

Hybrid systems are roughly discrete event systems with differential equations ... controller synthesis. Preliminary results along this direction indicate very ...