-
Reachability analysis of linear systems using support functions
Special Issue: IFAC World Congress 2008 -
Monitoring of the event-driven dynamic processes
As part of this thesis, we focus on the monitoring of hybrid systems with high dynamic event. The aim is to detect faults that cause permanent and intermittent... -
Monitoring of Dynamic Process by Hybrid Automata
International audience -
Modeling and analysis of discrete-time hybrid systems
"The behavior of hybrid systems is described by interacting discrete and continuous variables. In this paper, we suggest a modeling and analysis approach based on the... -
Abstract Interpretation of FIFO channels
We address the analysis and the verification of communicating systems, which are systems built from sequential processes communicating via unbounded FIFO channels. We... -
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.
