Biblio

Export 2 results:
Author Title [ Type(Asc)] Year
Filters: Author is Zaatiti, Hadi  [Clear All Filters]
Conference Paper
H. Zaatiti, Ye, L., Dague, P., and Gallois, J. - P., “Automating Abstraction Computations of Hybrid Systems”, in CICM 2018 - 11th Conference on Intelligent Computer Mathematics ; Workshop FVPS 2018 - Formal Verification of Physical Systems, Hagenberg, Austria, 2018.
Book Chapter
H. Zaatiti, Ye, L., Dague, P., and Gallois, J. - P., “Abstractions refinement for hybrid systems diagnosability analysis”, in Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems, Springer, 2018.