Formal synthesis of controllers for safety|critical autonomous systems

Controller synthesis for safety critical planning - Istc-Cnr

Safety critical planning and execution is a crucial issue in autonomous systems. ... formal modeling and the UPPAAL-TIGA model checker for controllers synthesis.

Shared control in autonomous driving - University of York

This approach to controller synthesis provides formal guarantees that the autonomous system complies with key safety and performance requirements despite using ...

Automated Formal Synthesis of Digital Controllers for State-Space ...

... controller that stabilizes the system but that may not be safe for all initial conditions. Safety is then verified either via BMC or ...

pFaces: An Acceleration Ecosystem for Formal Methods in Control

... safety-critical applications such as autonomous vehicles is ... automated synthesis of correct-by-construction controllers for such critical systems.

Formal Synthesis of Safety Controllers for Unknown Systems Using ...

Formal Synthesis of Safety Controllers for Unknown Systems Using Gaussian Process Transfer Learning Journal Article uri icon. Overview; Other Profiles ...

Collaborative models for autonomous systems controller synthesis

Formal verification offers hope in this direction having been used both for controller synthesis and for verifying the reliability and safety of autonomous ...

Formal Synthesis of Safety Controller Code for Distributed ...

Modern control systems in manufacturing are characterized by rising complexity in size and functionality. They are highl...

NSF Award Search: Award # 2144489 - CAREER: Toward Lifelong ...

CAREER: Toward Lifelong Safety of Autonomous Systems in Uncertain and Interactive Environments ... Control by Safety Index Synthesis and Convex Semi ...

Complete Test of Synthesised Safety Supervisors for Robots and ...

... synthesis for robots and autonomous systems has to be accompanied by rigorous testing. In general, standards and regulations for safety-critical systems ...

Synthesizing least-limiting guidelines for safety of semi-autonomous ...

In [11] control synthesis for nondeterministic systems from temporal logic specifications was developed. Loosely speaking, these works achieve provable ...

Formal Methods for Autonomous Vehicles - IEEE Computer Society

... autonomous systems since they use software to make decisions without human control. ... Britton, “Regulating safety-critical autonomous systems: Past, present, ...

Holistic Synthesis and Verification for Safe and Secure Autonomous ...

... safety of the system. Hence, the co-design and verification of safe and secure AD controllers are an urgent need for the automotive industry. However, there ...

Formal Synthesis of Controllers for Safety-Critical Autonomous ...

In recent years, formal methods have been extensively used in the design of autonomous systems. By employing mathematically rigorous ...

Research Summary

... control synthesis for safety-critical cyber-physical systems. By combining ideas from automata theory, formal logics, hybrid systems and control, we develop ...

Annual Reviews in Control | Scholars Portal Journals

Formal synthesis of controllers for safety-critical autonomous systems: Developments and challenges. Authors. Xiang Yin · ORCID ID · Bingzhao Gao · Xiao Yu ...

Foundations of Autonomous Systems (CSCI 5854)

Formal analysis: Lyapunov theory. Reachability analysis. Barrier certificate. Model checking. Formal synthesis: Stabilizing feedback controllers. Abstraction ...

Complete Test of Synthesised Safety Supervisors for Robots and ...

Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems ... Verified controller synthesis uses world models that ...

Synthesis of Barrier Certificate-Based Controllers for Safe Robotic ...

Safety critical control applications are ubiquitous, and hence synthesizing control algorithms with formal guarantees on safety and task satisfaction is of ...

Verification and Synthesis of Autonomous Systems - Class Central

Through captivating examples, we will demonstrate the importance of formal verification, especially in safety-critical and life-critical applications. This ...

in the Intersection of Controls, Learning and Formal Methods

Autonomous systems are nobody's comfort zone: We need hybrid solutions ... safely? Correct-by-construction synthesis of hierarchical control protocols. • formal ...