The following pages link to (Q4038702):
Displayed 50 items.
- Automated verification of an audio-control protocol using UPPAAL (Q1858445) (← links)
- Linear parametric model checking of timed automata (Q1858447) (← links)
- Updatable timed automata (Q1885906) (← links)
- Decidable hybrid systems (Q1922203) (← links)
- On the regularization of Zeno hybrid automata (Q1978482) (← links)
- Incremental methods for checking real-time consistency (Q1996034) (← links)
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
- Zone-based verification of timed automata: extrapolations, simulations and what next? (Q2112098) (← links)
- Protocol scheduling (Q2145259) (← links)
- Model-checking precision agriculture logistics: the case of the differential harvest (Q2220343) (← links)
- Complete proof systems for weighted modal logic (Q2253184) (← links)
- Continuity controlled hybrid automata (Q2368692) (← links)
- CTL* model checking for time Petri nets (Q2368992) (← links)
- Timed substitutions for regular signal-event languages (Q2385194) (← links)
- A brief account of runtime verification (Q2390027) (← links)
- Verification of gap-order constraint abstractions of counter systems (Q2435309) (← links)
- Contracts for cross-organizational workflows as timed dynamic condition response graphs (Q2436452) (← links)
- Nonblocking supervisory control of timed discrete event systems under communication delays: the existence conditions (Q2440686) (← links)
- TCTL-preserving translations from timed-arc Petri nets to networks of timed automata (Q2453531) (← links)
- WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model (Q2464934) (← links)
- Optimal reachability for multi-priced timed automata (Q2474054) (← links)
- Optimal infinite scheduling for multi-priced timed automata (Q2475633) (← links)
- Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties (Q2481211) (← links)
- Grid automata and supervisory control of dense real-time discrete event systems (Q2489622) (← links)
- Fuzzy regular languages over finite and infinite words (Q2493980) (← links)
- Theorem of abstraction for equivalent controllers in hybrid systems (Q2568275) (← links)
- Zeno hybrid systems (Q2716782) (← links)
- Formalized Timed Automata (Q2829277) (← links)
- Contraction of the ITCPN state space (Q2842567) (← links)
- Exact Acceleration of Real-Time Model Checking (Q2842578) (← links)
- Interval Duration Logic (Q2842590) (← links)
- Verification of Gap-Order Constraint Abstractions of Counter Systems (Q2891403) (← links)
- Language Preservation Problems in Parametric Timed Automata (Q2945580) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Verification of Timed-Arc Petri Nets (Q3075507) (← links)
- A Proof-Based Method for Modelling Timed Systems (Q3455067) (← links)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285) (← links)
- A method for the modular synthesis of controllers for timed discrete-event systems (Q4460523) (← links)
- Modeling Objects Moving in a Complex Environment with World Automata (Q4560622) (← links)
- Deciding properties of integral relational automata (Q4632414) (← links)
- On some relations between dynamical systems and transition systems (Q4632416) (← links)
- Boundedness of the Domain of Definition is Undecidable for Polynomial ODEs (Q4918029) (← links)
- Model-checking Timed Temporal Logics (Q4982129) (← links)
- Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks (Q4988953) (← links)
- A Survey on Analog Models of Computation (Q5024572) (← links)
- Removing ε-transitions in timed automata (Q5048956) (← links)
- Symbolic timing devices (Q5096403) (← links)
- A menagerie of timed automata (Q5176174) (← links)
- Discount-Optimal Infinite Runs in Priced Timed Automata (Q5179061) (← links)
- Formal language properties of hybrid systems with strong resets (Q5190079) (← links)