Pages that link to "Item:Q2012356"

The following pages link to Formal methods for discrete-time dynamical systems (Q2012356):

Displaying 40 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)
• (Q4353480) (← links)
• Digital Bifurcation Analysis of Internet Congestion Control Protocols (Q5138291) (← links)
• Safe learning-based model predictive control using the compatible models approach (Q6092457) (← 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)
• Dynamic event-triggered prescribed performance control for nonlinear systems with signal temporal logic (Q6496264) (← links)
• A direct symbolic algorithm for solving stochastic Rabin games (Q6535608) (← links)
• Synthesizing permissive winning strategy templates for parity games (Q6535644) (← links)
• Data-driven verification and synthesis of stochastic systems via barrier certificates (Q6537278) (← links)
• Time minimization and online synchronization for multi-agent systems under collaborative temporal logic tasks (Q6537337) (← links)
• Formal controller synthesis for Markov jump linear systems with uncertain dynamics (Q6546444) (← links)
• Data-driven abstraction-based control synthesis (Q6551651) (← links)
• A mobile robot controller using reinforcement learning under scLTL specifications with uncertainties (Q6578998) (← links)
• Multiple tasks control of nonlinear systems under signal temporal logic and its application to mobile robots (Q6591191) (← links)