Pages that link to "Item:Q1367528"

The following pages link to Reachability analysis of dynamical systems having piecewise-constant derivatives (Q1367528):

Displaying 44 items.

• On the decidability and complexity of problems for restricted hierarchical hybrid systems (Q338386) (← links)
• Computation with perturbed dynamical systems (Q355515) (← links)
• Low dimensional hybrid systems -- decidable, undecidable, don't know (Q418141) (← links)
• Interrupt timed automata: verification and expressiveness (Q453513) (← links)
• Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques (Q547885) (← links)
• A supervisory control method for ensuring the conformance of real-time discrete event systems (Q816702) (← links)
• Complexity of reachability problems for finite discrete dynamical systems (Q856411) (← links)
• Hybridization methods for the analysis of nonlinear systems (Q868432) (← links)
• Timed discrete event control of parallel production lines with continuous outputs (Q939012) (← links)
• Perfect simulation of a class of stochastic hybrid systems with an application to peer to peer systems (Q939017) (← links)
• Span-reachability and observability of bilinear hybrid systems (Q987608) (← links)
• Computing reachable sets for uncertain nonlinear monotone systems (Q988783) (← links)
• What is a universal computing machine? (Q1036530) (← links)
• Computational bounds on polynomial differential equations (Q1036531) (← links)
• Achilles and the tortoise climbing up the hyper-arithmetical hierarchy (Q1274806) (← links)
• Closed-form analytic maps in one and two dimensions can simulate universal Turing machines (Q1274815) (← links)
• Regularizability of complex switched server queueing networks modelled as hybrid dynamical systems (Q1275557) (← links)
• On the computational power of dynamical systems and hybrid systems (Q1349871) (← links)
• A theory of complexity for continuous time systems (Q1599194) (← links)
• Supervisory control and reactive synthesis: a comparative introduction (Q1693819) (← links)
• Timed-automata abstraction of switched dynamical systems using control invariants (Q1699229) (← links)
• Decidable integration graphs. (Q1854273) (← links)
• Cyclic linear differential automata: A simple class of hybrid dynamical systems (Q1974006) (← links)
• A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
• Limit cycle analysis of a class of hybrid gene regulatory networks (Q2112156) (← links)
• PuRSUE -- from specification of robotic environments to synthesis of controllers (Q2198133) (← links)
• A decidable class of planar linear hybrid systems (Q2257303) (← links)
• Algorithmic analysis of polygonal hybrid systems. I: Reachability (Q2373713) (← links)
• How much can analog and hybrid systems be proved (super-)Turing (Q2497875) (← links)
• Discrete-time hybrid modeling and verification of the batch evaporator process benchmark (Q2512159) (← links)
• Continuity and computability of reachable sets (Q2566008) (← links)
• On the complexity of bounded time and precision reachability for piecewise affine systems (Q2636516) (← links)
• Polynomial interrupt timed automata: verification and expressiveness (Q2662502) (← links)
• An RNA-based theory of natural universal computation (Q2670144) (← links)
• Some decidable results on reachability of solvable systems (Q2871582) (← links)
• Computability and Dynamical Systems (Q2908425) (← links)
• Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels (Q2945582) (← links)
• Deciding Concurrent Planar Monotonic Linear Hybrid Systems (Q2945600) (← links)
• The Transitivity Problem of Turing Machines (Q2946339) (← links)
• Reachability analysis of rational eigenvalue linear systems (Q3072442) (← links)
• Verification of Hybrid Systems (Q3176388) (← links)
• Reachability Problems for One-Dimensional Piecewise Affine Maps (Q3177337) (← links)
• (Q3384178) (← links)
• Boundedness of the Domain of Definition is Undecidable for Polynomial ODEs (Q4918029) (← links)