Pages that link to "Item:Q673868"

The following pages link to The algorithmic analysis of hybrid systems (Q673868):

Displaying 50 items.

• Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems (Q3012936) (← links)
• Reachability analysis of rational eigenvalue linear systems (Q3072442) (← links)
• The Cayley-Hamilton Theorem for Noncommutative Semirings (Q3073632) (← links)
• Diagnosability of delay-deadline failures in fair real time discrete event models (Q3161644) (← links)
• Statistical Model Checking for Networks of Priced Timed Automata (Q3172845) (← links)
• Craig Interpolation in the Presence of Non-linear Constraints (Q3172854) (← links)
• Modeling for Verification (Q3176361) (← links)
• Hybrid Automata as Coalgebras (Q3179412) (← links)
• Rigorous Simulation-Based Analysis of Linear Hybrid Systems (Q3303914) (← links)
• Reachability and optimal control for linear hybrid automata: a quantifier elimination approach (Q3447004) (← links)
• Automated Reasoning for Hybrid Systems — Two Case Studies — (Q3498414) (← links)
• Approximating Continuous Systems by Timed Automata (Q3506869) (← links)
• Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space (Q3510811) (← links)
• Expressive power of hybrid systems with real variables, integer variables and arrays (Q3517258) (← links)
• STORMED Hybrid Systems (Q3519497) (← links)
• Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization (Q3523125) (← links)
• Modular Development of Hybrid Systems for Verification in Coq (Q3523148) (← links)
• Compositional Verification for Component-Based Systems and Application (Q3540064) (← links)
• Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets (Q3543289) (← links)
• Modelling of Complex Software Systems: A Reasoned Overview (Q3613056) (← links)
• Analysis of Linear Hybrid Systems in CLP (Q3617430) (← links)
• Interrupt Timed Automata (Q3617730) (← links)
• Falsification of LTL Safety Properties in Hybrid Systems (Q3617769) (← links)
• Applications of MetiTarski in the Verification of Control and Hybrid Systems (Q3624557) (← links)
• Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces (Q3624568) (← links)
• Finite Automata as Time-Inv Linear Systems Observability, Reachability and More (Q3624572) (← links)
• Periodically Controlled Hybrid Systems (Q3624588) (← links)
• Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata (Q3648829) (← links)
• Supervisory target control for hybrid systems (Q4459051) (← links)
• (Q4515282) (← links)
• Discrete-time control for rectangular hybrid automata (Q4571988) (← links)
• Hybrid automata with finite bisimulations (Q4645189) (← links)
• (Q4763590) (← links)
• Topologies, Continuity and Bisimulations (Q4943548) (← links)
• Wireless ventilation control for large‐scale systems: The mining industrial case (Q4981811) (← links)
• Timed network games with clocks (Q5005123) (← links)
• (Q5021008) (← links)
• Hybrid diagrams: A deductive-algorithmic approach to hybrid system verification (Q5047167) (← links)
• Efficient scaling-invariant checking of timed bisimulation (Q5047170) (← links)
• (Q5089282) (← links)
• Constructive Collisions (Q5170749) (← links)
• The Unmet Challenge of Timed Systems (Q5170750) (← links)
• A game approach to the parametric control of real-time systems (Q5231423) (← links)
• AutomationML as a Shared Model for Offline- and Realtime-Simulation of Production Plants and for Anomaly Detection (Q5245450) (← links)
• Differential Game Logic (Q5277902) (← links)
• Computer Aided Verification (Q5312908) (← links)
• Hybrid Automata in Systems Biology: How Far Can We Go? (Q5404076) (← links)
• Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp> (Q5408048) (← links)
• A Synthesis Algorithm for Hybrid Systems (Q5434512) (← links)
• Abstract Interpretation of the Physical Inputs of Embedded Programs (Q5452705) (← links)