[HTML][HTML] Specification, stochastic modeling and analysis of interactive service robotic applications
L Lestingi, D Zerla, MM Bersani, M Rossi - Robotics and Autonomous …, 2023 - Elsevier
Assistive robotic systems are quickly becoming a core technology for the service sector as
they are understood capable of supporting people in need of assistance in a wide variety of …
they are understood capable of supporting people in need of assistance in a wide variety of …
Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool
W Li, P Ribeiro, A Miyazawa, R Redpath… - Autonomous …, 2024 - Springer
Current practice in simulation and implementation of robot controllers is usually undertaken
with guidance from high-level design diagrams and pseudocode. Thus, no rigorous …
with guidance from high-level design diagrams and pseudocode. Thus, no rigorous …
[HTML][HTML] Safety assurance of an industrial robotic control system using hardware/software co-verification
As a general trend in industrial robotics, an increasing number of safety functions are being
developed or re-engineered to be handled in software rather than by physical hardware …
developed or re-engineered to be handled in software rather than by physical hardware …
Formally verified animation for RoboChart using interaction trees
RoboChart is a core notation in the RoboStar framework. It is a timed and probabilistic
domain-specific and state machine based language for robotics. RoboChart supports …
domain-specific and state machine based language for robotics. RoboChart supports …
ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems
Robotics systems are complex, safety-critical systems that can consist of hundreds of
software components that interact with each other dynamically during run time. Software …
software components that interact with each other dynamically during run time. Software …
Architectural modelling for robotics: RoboArch and the CorteX example
W Barnett, A Cavalcanti, A Miyazawa - Frontiers in Robotics and AI, 2022 - frontiersin.org
The need for robotic systems to be verified grows as robots are increasingly used in complex
applications with safety implications. Model-driven engineering and domain-specific …
applications with safety implications. Model-driven engineering and domain-specific …
Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment
Continued adoption of agricultural robots postulates the farmer's trust in the reliability,
robustness and safety of the new technology. This motivates our work on safety assurance of …
robustness and safety of the new technology. This motivates our work on safety assurance of …
RoboCert: property specification in robotics
M Windsor, A Cavalcanti - International Conference on Formal …, 2022 - Springer
RoboStar is a toolkit for model-based development using a domain-specific notation,
RoboChart, with enriched UML-like state machines and a custom component model. We …
RoboChart, with enriched UML-like state machines and a custom component model. We …
[HTML][HTML] Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: Semantics and automated reasoning with theorem proving
Probabilistic programming combines general computer programming, statistical inference,
and formal semantics to help systems make decisions when facing uncertainty. Probabilistic …
and formal semantics to help systems make decisions when facing uncertainty. Probabilistic …
Safety verification of multiple industrial robot manipulators with path conflicts using model checking
Software development for robotic systems is traditionally performed based on simulations,
manual code implementation, and testing. However, this software development approach …
manual code implementation, and testing. However, this software development approach …