Pages that link to "Item:Q2012356"
From MaRDI portal
The following pages link to Formal methods for discrete-time dynamical systems (Q2012356):
Displayed 35 items.
- Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability (Q832033) (← links)
- A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata (Q1622234) (← links)
- Optimal multirate sampling in symbolic models for incrementally stable switched systems (Q1716572) (← links)
- Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems (Q1729092) (← links)
- A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
- On distributed symbolic control of interconnected systems under persistency specifications (Q2023566) (← links)
- Quadratic maximization of reachable values of affine systems with diagonalizable matrix (Q2032024) (← links)
- Lazy controller synthesis for monotone transition systems and directed safety specifications (Q2059378) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Robustly complete finite-state abstractions for verification of stochastic systems (Q2112105) (← links)
- Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications (Q2116657) (← links)
- Compositional construction of abstractions for infinite networks of discrete-time switched systems (Q2123412) (← links)
- Decentralized route-planning for multi-vehicle teams to satisfy a subclass of linear temporal logic specifications (Q2125520) (← links)
- Abstraction-based synthesis for stochastic systems with omega-regular objectives (Q2158881) (← links)
- Similarity quantification for linear stochastic systems: a coupling compensator approach (Q2165973) (← links)
- Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions (Q2178216) (← links)
- Compositional construction of infinite abstractions for networks of stochastic control systems (Q2280818) (← links)
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions (Q2303884) (← links)
- Computation of the maximal invariant set of discrete-time linear systems subject to a class of non-convex constraints (Q2663960) (← links)
- Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications (Q2664268) (← links)
- Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications (Q2665343) (← links)
- Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications (Q2665348) (← links)
- Formal controller synthesis from specifications given by discrete-time hybrid automata (Q2665407) (← links)
- Abstraction-based control synthesis using partial information (Q2667508) (← links)
- Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach (Q2677109) (← links)
- Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates (Q3297675) (← links)
- Digital Bifurcation Analysis of Internet Congestion Control Protocols (Q5138291) (← links)
- Safe learning-based model predictive control using the compatible models approach (Q6092457) (← links)
- Adaptive strategies for rLTL games (Q6120683) (← links)
- Robust stutter bisimulation for abstraction and controller synthesis with disturbance (Q6152513) (← links)
- Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges (Q6160737) (← links)
- Switching controller synthesis for delay hybrid systems under perturbations (Q6201580) (← links)
- Model-based reinforcement learning for approximate optimal control with temporal logic specifications (Q6201592) (← links)
- Distributionally Robust Strategy Synthesis for Switched Stochastic Systems (Q6202089) (← links)
- SySCoRe: Synthesis via Stochastic Coupling Relations (Q6202092) (← links)