-
Computational Approaches to Analysis and Control of Hybrid Systems
A hybrid system is a dynamical system exhibiting both continuous and discrete behaviors. Motivated by the multiplication of ''discrete'' embedded computing devices... -
Mapping of control functions of critical systems by reachability analysis in ...
The design of operational control architectures is a very important step of the design of energy production systems. This step consists in mapping the functional... -
Level-set approach for Reachability Analysis of Hybrid Systems under Lag Cons...
International audience -
Relational Verification of Programs with Integer Data
Tato pr´ace pˇredstavuje nov´e metody pro verifikaci program°u pracuj´ıc´ıch s neomezen´ymiceloˇc´ıslen´ymi promˇenn´ymi, konkr´etnˇe metody pro anal´yzu... -
Approximate reachability analysis of piecewise-linear dynamical systems
Colloque avec actes et comité de lecture. internationale.
