Composition of Motion Description Languages

DOI10.1007/978-3-540-78929-1_41MaRDI QIDQ3523137zbMATH OpenOpenAlexFDO

Authors Wen-Qi Zhang, Herbert G. Tanner

Publication date 2 September 2008

Published in Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78929-1_41

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Artificial intelligence for robotics (68T40) Automated systems (robots, etc.) in control theory (93C85)

Recommendations

• Formal composition of hybrid systems
• scientific article; zbMATH DE number 2085342
• scientific article; zbMATH DE number 1304371
• Compositional modeling and refinement for hierarchical hybrid systems
• scientific article; zbMATH DE number 1956477

Cited in

(1)

• scientific article; zbMATH DE number 4182834 (Why is no real title available?)

This page was built for publication: Composition of Motion Description Languages

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