Bisimulation based hierarchical system architecture for single-agent multi-modal systems

DOI10.1007/3-540-45873-5_23MaRDI QIDQ4736591zbMATH OpenFDO

Authors T. John Koo, S. Shankar Sastry

Publication date 9 August 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2289/22890281.htm

Mathematics Subject Classification ID

Pursuit and evasion games (49N75) Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Artificial intelligence (68T99) Hierarchical systems (93A13)

Recommendations

• A hierarchical and modular control architecture for sequential behaviours
• HIERARCHICAL SYSTEM CONCEPTS FOR SIMULATION OF HIGH AUTONOMY SYSTEMS
• Compositional refinement for hierarchical hybrid systems
• Composing abstractions of hybrid systems
• Multi-level hierarchical interface-based supervisory control

Cited in

(3)

• Dynamic hierarchical reactive controller synthesis
• HIERARCHICAL SYSTEM CONCEPTS FOR SIMULATION OF HIGH AUTONOMY SYSTEMS
• A framework for multi-robot motion planning from temporal logic specifications

This page was built for publication: Bisimulation based hierarchical system architecture for single-agent multi-modal systems

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