Hybrid systems: computation and control. 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, March 29--31, 2006. Proceedings.

DOI10.1007/11730637MaRDI QIDQ855059zbMATH OpenOpenAlexFDO

Authors

Publication date 22 December 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11730637

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to systems and control theory (93-06)

Cited in

(3)

• Hybrid systems: computation and control. 5th international workshop, HSCC 2002, Stanford, CA, USA, March 25--27, 2002. Proceedings
• Symbolic models for control systems
• Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation

This page was built for publication: Hybrid systems: computation and control. 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, March 29--31, 2006. Proceedings.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q855059)