The following pages link to A theory of timed automata (Q1322162):
Displayed 50 items.
- Execution information rate for some classes of automata (Q899317) (← links)
- Accelerating worst case execution time analysis of timed automata models with cyclic behaviour (Q903501) (← links)
- Synthesizing bounded-time 2-phase fault recovery (Q903518) (← links)
- Timed discrete event control of parallel production lines with continuous outputs (Q939012) (← links)
- Model checking duration calculus: a practical approach (Q939170) (← links)
- When are timed automata weakly timed bisimilar to time Petri nets? (Q944375) (← links)
- Automatic generation of path conditions for concurrent timed systems (Q947796) (← links)
- Models and formal verification of multiprocessor system-on-chips (Q953526) (← links)
- Verification of qualitative \(\mathbb Z\) constraints (Q959820) (← links)
- A process algebraic framework for specification and validation of real-time systems (Q968306) (← links)
- Detecting synchronisation of biological oscillators by model checking (Q969176) (← links)
- Hybrid automata, reachability, and systems biology (Q969180) (← links)
- Model checking memoryful linear-time logics over one-counter automata (Q974117) (← links)
- Model checking mobile stochastic logic (Q995465) (← links)
- Inclusion dynamics hybrid automata (Q999262) (← links)
- An algebra of hybrid systems (Q1001892) (← links)
- Approximately bisimilar symbolic models for nonlinear control systems (Q1004115) (← links)
- Towards a real-time distributed computing model (Q1004326) (← links)
- M-nets: a survey (Q1006339) (← links)
- Network invariants for real-time systems (Q1019007) (← links)
- On minimal elements of upward-closed sets (Q1019726) (← links)
- Post and pre-initialized stopwatch Petri nets: formal semantics and state space computation (Q1026394) (← links)
- Robust safety of timed automata (Q1028728) (← links)
- Timed verification of the generic architecture of a memory circuit using parametric timed automata (Q1028737) (← links)
- \(\varepsilon\)-transitions in concurrent timed automata (Q1029035) (← links)
- A Kleene theorem for splitable signals (Q1029089) (← links)
- On the complexities of selected satisfiability and equivalence queries over Boolean formulas and inclusion queries over hulls (Q1040040) (← links)
- Decision problems for lower/upper bound parametric timed automata (Q1041291) (← links)
- A quadratic-time DBM-based successor algorithm for checking timed automata (Q1044715) (← links)
- Timed automata and recognizability (Q1129268) (← links)
- What's decidable about hybrid automata? (Q1273866) (← links)
- Event-clock automata: a determinizable class of timed automata (Q1274452) (← links)
- Straightening out rectangular differential inclusions (Q1274877) (← links)
- Time-abstracted bisimulation: Implicit specifications and decidability (Q1363777) (← links)
- Reachability analysis of dynamical systems having piecewise-constant derivatives (Q1367528) (← links)
- On the rational behaviors of concurrent timers (Q1389687) (← links)
- Finite automata on timed \(\omega\)-trees (Q1395427) (← links)
- An algebraic approach to data languages and timed languages (Q1398367) (← links)
- Approximating labelled Markov processes (Q1398379) (← links)
- Automata over continuous time (Q1399970) (← links)
- The power of reachability testing for timed automata (Q1399974) (← links)
- Verification in loosely synchronous queue-connected discrete timed automata. (Q1401187) (← links)
- Generalized discrete timed automata: Decidable approximations for safety verification. (Q1401259) (← links)
- Pushdown timed automata: A binary reachability characterization and safety verification. (Q1401320) (← links)
- System theory for system identification. (Q1421324) (← links)
- Past pushdown timed automata and safety verification. (Q1426159) (← links)
- Scheduling hard sporadic tasks with regular languages and generating functions. (Q1426168) (← links)
- Hybrid I/O automata. (Q1427865) (← links)
- Checking temporal duration properties of timed automata. (Q1433946) (← links)
- Timed automata and additive clock constraints (Q1583056) (← links)