25th ACM International Conference on Hybrid Systems: Computation and Control

DOI10.1145/3501710MaRDI QIDQ5096427zbMATH OpenOpenAlexFDO

Authors

Publication date 16 August 2022

Full work available at URL https://doi.org/10.1145/3501710

Mathematics Subject Classification ID

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)

Recommendations

• Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19--21, 2021
• Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control
• Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020
• Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control
• Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019
• Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control
• Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
• Proceedings of the 15th ACM international conference on hybrid systems: computation and control, HSCC 2012, Beijing, China, April 17--19, 2012
• Proceedings of the 16th ACM international conference on hybrid systems: computation and control, HSCC 2013, Philadelphia, PA, USA, April 8--11, 2013
• Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control

This page was built for publication: 25th ACM 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 Q5096427)