Proceedings of the 14th international conference on Hybrid systems: computation and control
DOI10.1145/1967701zbMath1300.93003OpenAlexW4236383417MaRDI QIDQ2926104
No author found.
Publication date: 30 October 2014
Full work available at URL: https://doi.org/10.1145/1967701
Proceedings of conferences of miscellaneous specific interest (00B25) Formal languages and automata (68Q45) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to systems and control theory (93-06) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (1)
This page was built for publication: Proceedings of the 14th international conference on Hybrid systems: computation and control
