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

DOI10.1007/11730637zbMATH Open1103.68006OpenAlexW2478741156MaRDI QIDQ855059FDOQ855059

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)