Safety verification and reachability analysis for hybrid systems
| Year of publication: |
2009
|
|---|---|
| Authors: | Guéguen, Hervé ; Lefebvre, Marie-Anne ; Zaytoon, Janan ; Nasri, Othman |
| Published in: |
Annual reviews in control : a journal of FIFAC, the International Federation of Automatic Control. - Oxford [u.a.] : Elsevier Science, ISSN 1367-5788, ZDB-ID 14039849. - Vol. 33.2009, 1, p. 25-37
|