Specification of agent based robotic systems using hierarchical finite state automatons

DOI10.1007/978-3-030-50936-1_39MaRDI QIDQ6124140zbMATH OpenOpenAlexFDO

Authors Cezary Zieliński

Publication date 9 April 2024

Published in Advances in Intelligent Systems and Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-50936-1_39

zbMATH Keywords

hierarchical finite state automatonhierarchical finite state machinerobotic system specification methodology

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Recommendations

• Robotic system design methodology utilising embodied agents
• scientific article; zbMATH DE number 5181786
• Task level specification and formal verification of robotics control systems: State of the art and case study
• Modelling and Verification of Timed Robotic Controllers
• scientific article; zbMATH DE number 2089503

This page was built for publication: Specification of agent based robotic systems using hierarchical finite state automatons

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