The following pages link to A theory of timed automata (Q1322162):
Displayed 50 items.
- 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)
- Timed-pNets: a communication behavioural semantic model for distributed systems (Q1633067) (← links)
- When are stochastic transition systems tameable? (Q1648646) (← links)
- On clock-aware LTL parameter synthesis of timed automata (Q1648651) (← links)
- Event algebra for transition systems composition application to timed automata (Q1656550) (← links)
- Passive testing with asynchronous communications and timestamps (Q1656880) (← links)
- Wireless protocol validation under uncertainty (Q1667647) (← links)
- \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics (Q1683708) (← links)
- Probabilistic timed automata with clock-dependent probabilities (Q1685793) (← links)
- Controller synthesis for dynamic hierarchical real-time plants using timed automata (Q1693828) (← links)
- Bounded determinization of timed automata with silent transitions (Q1699228) (← links)
- Timed-automata abstraction of switched dynamical systems using control invariants (Q1699229) (← links)
- Verification and control of partially observable probabilistic systems (Q1699230) (← links)
- Generalizing input-driven languages: theoretical and practical benefits (Q1706605) (← links)
- On the timed temporal logic planning of coupled multi-agent systems (Q1716548) (← links)
- Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications (Q1737742) (← links)
- Refinement to imperative HOL (Q1739909) (← links)
- The language preservation problem is undecidable for parametric event-recording automata (Q1751409) (← 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)
- Weighted register automata and weighted logic on data words (Q1786559) (← links)
- An abstract model for proving safety of autonomous urban traffic (Q1786569) (← links)
- Toward an algebraic theory of systems (Q1786609) (← links)
- A hierarchical consistency framework for real-time supervisory control (Q1790660) (← links)
- Action transducers and timed automata (Q1816917) (← links)