Modelling and Verification of Timed Robotic Controllers

DOI10.1007/978-3-319-66845-1_2zbMATH Open1498.93481OpenAlexW2749958572WikidataQ60473539 ScholiaQ60473539MaRDI QIDQ5045474FDOQ5045474

Authors Pedro Ribeiro, Alvaro Miyazawa, Wei Li, Ana Cavalcanti, Jon Timmis

Publication date 4 November 2022

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

Full work available at URL https://doi.org/10.1007/978-3-319-66845-1_2

zbMATH Keywords

CSPsemanticsprocess algebrarefinementrobotics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Automated systems (robots, etc.) in control theory (93C85)

Recommendations

• Robust Controller Synthesis in Timed Automata
• Formal modelling and verification of multi-robot systems specified with temporal logic
• Timed automata robustness analysis via model checking
• Time‐optimal control for robotic manipulators
• scientific article; zbMATH DE number 1269504
• Robust model checking of timed automata under clock drifts
• Finite-time control of robotic manipulators
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• scientific article; zbMATH DE number 45555

Cited in

(9)

• Automated Technology for Verification and Analysis
• Timing control of switched systems with applications to robotic marionettes
• Formal verification of robotic cell injection systems up to 4-DOF using \textsf{HOL Light}
• Deductive verification of simple foraging robotic behaviours
• Task level specification and formal verification of robotics control systems: State of the art and case study
• Statistical model checking of complex robotic systems
• Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice
• Specification of agent based robotic systems using hierarchical finite state automatons
• Designing weakly terminating ROS systems

This page was built for publication: Modelling and Verification of Timed Robotic Controllers

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