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
Recommendations
- Robust Controller Synthesis in Timed Automata
- Formal modelling and verification of multi-robot systems specified with temporal logic
- scientific article; zbMATH DE number 7577576
- 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
Specification and verification (program logics, model checking, etc.) (68Q60) Automated systems (robots, etc.) in control theory (93C85)
Cited In (7)
- Automated Technology for Verification and Analysis
- Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice
- Timing control of switched systems with applications to robotic marionettes
- Task level specification and formal verification of robotics control systems: State of the art and case study
- Deductive verification of simple foraging robotic behaviours
- Formal verification of robotic cell injection systems up to 4-DOF using \textsf{HOL Light}
- 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)
