Collaborative models for autonomous systems controller synthesis

DOI10.1007/S00165-020-00508-1MaRDI QIDQ2198131zbMATH OpenOpenAlexFDO

Authors Douglas Fraser, Ruben Giaquinta, Ruth Hoffmann, Murray Ireland, Gethin Norman, Alice Miller

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-00508-1

zbMATH Keywords

autonomous systemsformal verificationprobabilistic model checkingstrategy synthesis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence for robotics (68T40) Multi-agent systems (93A16) Synthesis problems (93B50) Automated systems (robots, etc.) in control theory (93C85)

Recommendations

• scientific article; zbMATH DE number 1895496
• Cooperative Control of Dynamical Systems
• Cooperative Control of Dynamical Systems With Application to Autonomous Vehicles

Cites work

• A game-based abstraction-refinement framework for Markov decision processes
• Automated verification and strategy synthesis for probabilistic systems
• Controller synthesis for reward collecting Markov processes in continuous space
• Finite-horizon bisimulation minimisation for probabilistic systems
• Formal Verification and Synthesis for Discrete-Time Stochastic Systems
• scientific article; zbMATH DE number 3543391 (Why is no real title available?)
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• scientific article; zbMATH DE number 2102731 (Why is no real title available?)
• Multi-Objective Model Checking of Markov Decision Processes
• Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints
• Partial-observation stochastic games, how to win when belief fails
• Permissive controller synthesis for probabilistic systems
• Quantitative multi-objective verification for probabilistic systems
• Semantic translation of Simulink/Stateflow models to hybrid automata using graph transformations
• Stochastic Games
• Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
• Temporal logic motion planning using POMDPs with parity objectives
• Uppaal in a nutshell
• Verification and control of partially observable probabilistic systems
• Verification of logic controllers for continuous plants using timed condition/event-system models

Cited in

(2)

• Interdisciplinary Modeling of Autonomous Systems Deployed in Uncertain Dynamic Environments
• Model Checking for Safe Navigation Among Humans

Describes a project that uses

Uses Software

• DiVinE
• Uppaal
• iFEST
• NuSMV
• PRISM
• Simulink
• LUSTRE
• UPPAAL TIGA
• PRISM-games

This page was built for publication: Collaborative models for autonomous systems controller synthesis

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