Controller synthesis made real: reach-avoid specifications and linear dynamics

DOI10.1007/978-3-319-96145-3_19MaRDI QIDQ6045012zbMATH OpenFDO

Authors Chuchu Fan, Umang Mathur, Sayan Mitra, Mahesh Viswanathan

Publication date 26 May 2023

Published in Computer Aided Verification (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-319-96145-3_19

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Synthesis problems (93B50)

Recommendations

• Controller Synthesis for Linear System With Reach-Avoid Specifications
• Controller synthesis with highly simplified linear constraints
• Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems With Reach-and-Stay Specifications
• On Synthesizing Controllers from Bounded-Response Properties
• scientific article; zbMATH DE number 1444367
• A Linear Programming Approach to the Synthesis of Fixed-Structure Controllers
• A System-Level Approach to Controller Synthesis
• A new approach to controller synthesis for nonlinear systems
• scientific article; zbMATH DE number 4211895
• Synthesizing efficient controllers

Cited in

(7)

• Deriving Real-Time Action Systems Controllers from Multiscale System Specifications
• scientific article; zbMATH DE number 1820093 (Why is no real title available?)
• A new simulation metric to determine safe environments and controllers for systems with unknown dynamics
• On Synthesizing Controllers from Bounded-Response Properties
• Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications
• Optimal mixed discrete-continuous planning for linear hybrid systems
• Compositional synthesis for linear systems via convex optimization of assume-guarantee contracts

This page was built for publication: Controller synthesis made real: reach-avoid specifications and linear dynamics

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