Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control
DOI10.1145/2728606zbMATH Open1319.93003MaRDI QIDQ5263616FDOQ5263616
Authors:
Publication date: 17 July 2015
Formal languages and automata (68Q45) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-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) Proceedings, conferences, collections, etc. pertaining to systems and control theory (93-06)
Cited In (4)
- 25th ACM International Conference on Hybrid Systems: Computation and Control
- Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control
- Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control
- Proceedings of the first workshop on hybrid autonomous systems, Saarbrücken, Germany, June 6, 2013
This page was built for publication: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5263616)