The following pages link to A theory of timed automata (Q1322162):
Displayed 50 items.
- 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)
- Refinement of time (Q1589580) (← links)
- Deductive verification of real-time systems using STeP (Q1589585) (← links)
- PLC-automata: A new class of implementable real-time automata (Q1589587) (← links)
- Automatic verification of real-time systems with discrete probability distributions. (Q1603709) (← links)
- Bisimulation indexes and their applications (Q1606119) (← links)
- Decidable verification for reducible timed automata specified in a first order logic with time (Q1606131) (← links)
- Efficiency of asynchronous systems, read arcs, and the MUTEX-problem (Q1607225) (← links)
- Specification of real-time and hybrid systems in rewriting logic (Q1608921) (← links)
- Unifying behavioral equivalences of timed transition systems (Q1758671) (← links)
- Synthesis of distinguishing test cases for timed finite state machines (Q1758682) (← links)
- Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks (Q1761679) (← links)
- Abstract state machines: a unifying view of models of computation and of system design frameworks (Q1772776) (← links)
- Process algebra for hybrid systems (Q1781998) (← links)
- Action transducers and timed automata (Q1816917) (← links)