Formal methods for discrete-time dynamical systems
From MaRDI portal
Publication:2012356
DOI10.1007/978-3-319-50763-7zbMATH Open1409.93003OpenAlexW2594675090MaRDI QIDQ2012356FDOQ2012356
Authors: Calin Belta, Boyan Yordanov, Ebru Aydin Gol 
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
Recommendations
- scientific article; zbMATH DE number 1192216
- Formal methods for analysis of discrete systems using a specification language
- scientific article; zbMATH DE number 1273683
- Formal Verification and Synthesis for Discrete-Time Stochastic Systems
- scientific article; zbMATH DE number 1059170
- A mechanism for the formal description of dynamic systems
- scientific article; zbMATH DE number 1614646
- Formal Analysis of Discrete-Time Piecewise Affine Systems
- Formal Methods for Control of Nonlinear Systems
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Linear systems in control theory (93C05) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Discrete-time control/observation systems (93C55) Temporal logic (03B44) Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02)
Cited In (46)
- Data-driven abstraction-based control synthesis
- Abstraction-based synthesis for stochastic systems with omega-regular objectives
- Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability
- Robustly complete finite-state abstractions for verification of stochastic systems
- A mobile robot controller using reinforcement learning under scLTL specifications with uncertainties
- Robust stutter bisimulation for abstraction and controller synthesis with disturbance
- Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
- Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
- 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
- Multiple tasks control of nonlinear systems under signal temporal logic and its application to mobile robots
- Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- On distributed symbolic control of interconnected systems under persistency specifications
- Quadratic maximization of reachable values of affine systems with diagonalizable matrix
- Title not available (Why is that?)
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
- 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
- Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications
- Formal controller synthesis from specifications given by discrete-time hybrid automata
- Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications
- Similarity quantification for linear stochastic systems: a coupling compensator approach
- Abstraction-based control synthesis using partial information
- Model-based reinforcement learning for approximate optimal control with temporal logic specifications
- Switching controller synthesis for delay hybrid systems under perturbations
- Distributionally Robust Strategy Synthesis for Switched Stochastic Systems
- SySCoRe: Synthesis via Stochastic Coupling Relations
- Lazy controller synthesis for monotone transition systems and directed safety specifications
- Safe learning-based model predictive control using the compatible models approach
- Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions
- Compositional construction of infinite abstractions for networks of stochastic control systems
- Dynamic event-triggered prescribed performance control for nonlinear systems with signal temporal logic
- Digital bifurcation analysis of Internet congestion control protocols
- Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges
- A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata
- A direct symbolic algorithm for solving stochastic Rabin games
- Synthesizing permissive winning strategy templates for parity games
- Data-driven verification and synthesis of stochastic systems via barrier certificates
- Time minimization and online synchronization for multi-agent systems under collaborative temporal logic tasks
- Adaptive strategies for rLTL games
- Linear temporal logic satisfaction in adversarial environments using secure control barrier certificates
- Formal controller synthesis for Markov jump linear systems with uncertain dynamics
- Formal Methods for Control of Nonlinear Systems
- Optimal multirate sampling in symbolic models for incrementally stable switched systems
This page was built for publication: Formal methods for discrete-time dynamical systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2012356)
