The following pages link to (Q4038702):
Displayed 39 items.
- 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)
- What good are digital clocks? (Q5204346) (← links)
- (Q5208876) (← links)
- Parametric Verification of Weighted Systems (Q5240155) (← links)
- An Introduction to Timed Automata (Q5496927) (← links)
- Compositional Design of Stochastic Timed Automata (Q5740181) (← links)
- Time abstracted bisimulation: Implicit specifications and decidability (Q5890046) (← links)
- A real-time interval logic and its decision procedure (Q5955786) (← links)
- Discussion on: ``Formal specification method for systems automation'' (Q5971345) (← links)
- Alternation-free weighted mu-calculus: decidability and completeness (Q5971405) (← links)
- Elimination of detached regions in dependency graph verification (Q6049047) (← links)
- Simulation relations and applications in formal methods (Q6113980) (← links)
- Equivalence checking 40 years after: a review of bisimulation tools (Q6163887) (← links)
- Symbolic state estimation in bounded timed labeled Petri nets (Q6192943) (← links)