PuRSUE -- from specification of robotic environments to synthesis of controllers

DOI10.1007/S00165-020-00509-0MaRDI QIDQ2198133zbMATH OpenOpenAlexWikidataFDO

Authors Marcello M. Bersani, Matteo Soldo, Claudio Menghi, Patrizio Pelliccione, Matteo Rossi

Publication date 9 September 2020

Published in Formal Aspects of Computing (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s00165-020-00509-0

zbMATH Keywords

controller synthesisformal methodsroboticssoftware engineering

Mathematics Subject Classification ID

Artificial intelligence for robotics (68T40) Synthesis problems (93B50) Automated systems (robots, etc.) in control theory (93C85)

Recommendations

• Automated generation of dynamics-based runtime certificates for high-level control
• Compositional synthesis with parametric reactive controllers
• Nonlinear controller synthesis and automatic workspace partitioning for reactive high-level behaviors
• Automatic behavior composition synthesis
• Constraint-based controller synthesis in non-deterministic and partially observable domains

Cites work

• A theory of timed automata
• A tool for deciding the satisfiability of continuous-time metric temporal logic
• Agent technology from a formal perspective.
• Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach
• CONCUR 2005 – Concurrency Theory
• Formal Methods for the Design of Real-Time Systems
• From regular expressions to deterministic automata
• Model-checking in dense real-time
• Model-checking timed temporal logics
• Multi-agent planning under local LTL specifications and event-based synchronization
• Multi-robot LTL planning under uncertainty
• NuSMV: A new symbolic model checker
• PRISM-games: a model checker for stochastic multi-player games
• Reachability analysis of dynamical systems having piecewise-constant derivatives
• Springer handbook of robotics
• Symbolic Models for Nonlinear Control Systems Without Stability Assumptions

Cited in

(2)

• Nonlinear controller synthesis and automatic workspace partitioning for reactive high-level behaviors
• PuRSUE

Describes a project that uses

Uses Software

• NuSMV
• PRISM
• UPPAAL TIGA
• Synthia
• PRISM-games
• LTLMoP
• ROS
• Uppaal
• GitHub

This page was built for publication: PuRSUE -- from specification of robotic environments to synthesis of controllers

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