Formal methods for discrete-time dynamical systems

DOI10.1007/978-3-319-50763-7zbMath1409.93003OpenAlexW2594675090MaRDI QIDQ2012356

Ebru Aydin Gol, Calin Belta, Boyan Yordanov

Publication date: 31 July 2017

Published in: Studies in Systems, Decision and Control (Search for Journal in Brave)

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

zbMATH Keywords

controllinear systemsdynamical systemsautomataformal methodstemporal logicdiscrete time systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Discrete-time control/observation systems (93C55) Linear systems in control theory (93C05) Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (35)

Compositional construction of abstractions for infinite networks of discrete-time switched systems ⋮ Decentralized route-planning for multi-vehicle teams to satisfy a subclass of linear temporal logic specifications ⋮ A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata ⋮ Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability ⋮ Abstraction-based synthesis for stochastic systems with omega-regular objectives ⋮ Similarity quantification for linear stochastic systems: a coupling compensator approach ⋮ Computation of the maximal invariant set of discrete-time linear systems subject to a class of non-convex constraints ⋮ Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications ⋮ Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications ⋮ Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications ⋮ Formal controller synthesis from specifications given by discrete-time hybrid automata ⋮ Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions ⋮ Abstraction-based control synthesis using partial information ⋮ Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach ⋮ Safe learning-based model predictive control using the compatible models approach ⋮ Adaptive strategies for rLTL games ⋮ Robust stutter bisimulation for abstraction and controller synthesis with disturbance ⋮ Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges ⋮ Switching controller synthesis for delay hybrid systems under perturbations ⋮ Model-based reinforcement learning for approximate optimal control with temporal logic specifications ⋮ Distributionally Robust Strategy Synthesis for Switched Stochastic Systems ⋮ SySCoRe: Synthesis via Stochastic Coupling Relations ⋮ Optimal multirate sampling in symbolic models for incrementally stable switched systems ⋮ Digital Bifurcation Analysis of Internet Congestion Control Protocols ⋮ Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems ⋮ Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ On distributed symbolic control of interconnected systems under persistency specifications ⋮ Compositional construction of infinite abstractions for networks of stochastic control systems ⋮ Quadratic maximization of reachable values of affine systems with diagonalizable matrix ⋮ Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions ⋮ Lazy controller synthesis for monotone transition systems and directed safety specifications ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey ⋮ Robustly complete finite-state abstractions for verification of stochastic systems ⋮ Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications

This page was built for publication: Formal methods for discrete-time dynamical systems