Modelling and Verification of Timed Robotic Controllers
type: Item
instance of: scholarly article
title: Modelling and Verification of Timed Robotic Controllers
zbMATH Open document ID: 1498.93481
DOI: 10.1007/978-3-319-66845-1_2
author: Pedro Ribeiro
author: Alvaro Miyazawa
author: Wei Li
author: Ana Cavalcanti
author: Jon Timmis
published in: Lecture Notes in Computer Science
publication date: 2022-11-04T00:00:00Z
Mathematics Subject Classification ID: 93C85
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 7612666
zbMATH Keywords: semantics
zbMATH Keywords: refinement
zbMATH Keywords: process algebra
zbMATH Keywords: CSP
zbMATH Keywords: robotics
Wikidata QID: Q60473539
MaRDI profile type: MaRDI publication profile
full work available at URL: 978-3-319-66845-1 2
OpenAlex ID: W2749958572
Recommended article: Robust Controller Synthesis in Timed Automata
Recommended article: Q3161546
Recommended article: Q5101345
Recommended article: Time‐optimal control for robotic manipulators
Recommended article: Q4236333
Recommended article: Robust Model Checking of Timed Automata under Clock Drifts
Recommended article: Finite-time control of robotic manipulators
Recommended article: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Recommended article: Q3995984
description: scientific article; zbMATH DE number 7612666