Modeling objects moving in a complex environment with world automata

DOI10.1007/978-3-319-10407-2_42MaRDI QIDQ4560622zbMATH OpenOpenAlexFDO

Authors Marta Capiluppi, Roberto Segala

Publication date 12 December 2018

Published in Coordination Control of Distributed Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-10407-2_42

zbMATH Keywords

hybrid automatonautonomous underwater vehicleparallel compositionunderwater vehiclestraddle carrier

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Automated systems (robots, etc.) in control theory (93C85)

Recommendations

• Modelling implicit communication in multi-agent systems with hybrid input/output automata
• Hybrid I/O automata.
• scientific article; zbMATH DE number 1794382
• Hybrid automation extended model
• Dynamic input/output automata: a formal and compositional model for dynamic systems

Cites work

• scientific article; zbMATH DE number 177824 (Why is no real title available?)
• scientific article; zbMATH DE number 1956640 (Why is no real title available?)
• Hybrid I/O automata.
• Modelling implicit communication in multi-agent systems with hybrid input/output automata
• The Theory of Timed I/O Automata

Cited in

(1)

• Modelling implicit communication in multi-agent systems with hybrid input/output automata

This page was built for publication: Modeling objects moving in a complex environment with world automata

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