scientific article; zbMATH DE number 177824
From MaRDI portal
Publication:4038702
zbMATH Open0765.68150MaRDI QIDQ4038702FDOQ4038702
Authors: Rajeev Alur, David L. Dill 
Publication date: 18 May 1993
Title of this publication is not available (Why is that?)
Recommendations
decision problemsclosure propertiesconcurrent systemsqualitative temporal reasoningdeterministic timed Muller automatatimed Büchi automatafinite-state asynchronous real- time systems
Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)
Cited In (only showing first 100 items - show all)
- A survey of timed automata for the development of real-time systems
- Deciding properties of integral relational automata
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
- On some relations between dynamical systems and transition systems
- Specification and automatic verification of self-timed queues
- Fuzzy regular languages over finite and infinite words
- Validation and verification of web services choreographies by using timed automata
- What good are digital clocks?
- Exact acceleration of real-time model checking
- Minimum and maximum delay problems in real-time systems
- Discount-optimal infinite runs in priced timed automata
- Quantitative analysis of weighted transition systems
- On using priced timed automata to achieve optimal scheduling
- A method for the modular synthesis of controllers for timed discrete-event systems
- On-the-fly \(TCTL\) model checking for time Petri nets
- Reachability solution characterization of parametric real-time systems
- A Survey on Analog Models of Computation
- A proof-based method for modelling timed systems
- Bounded model checking for knowledge and real time
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates
- Computational bounds on polynomial differential equations
- Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
- Timed automata and additive clock constraints
- Optimal infinite scheduling for multi-priced timed automata
- Verifying automata specification of distributed probabilistic real-time systems
- Linear parametric model checking of timed automata
- Language preservation problems in parametric timed automata
- Interval duration logic: expressiveness and decidability
- Title not available (Why is that?)
- Information system design of manufacturing environments
- Timed automata and recognizability
- Removing \(\epsilon \)-transitions in timed automata
- Using mappings to prove timing properties
- On a class of timer hybrid systems reducible to finite state automata
- A process algebra of communicating shared resources with dense time and priorities
- A logic for reasoning about time and reliability
- Reachability analysis for timed automata using max-plus algebra
- Computing with polynomial ordinary differential equations
- Process algebra for hybrid systems
- On the regularization of Zeno hybrid automata
- Boundedness of the domain of definition is undecidable for polynomial ODEs
- Updatable timed automata
- An engineering process for the verification of real-time systems
- Optimal reachability for multi-priced timed automata
- Concurrent weighted logic
- Network invariants for real-time systems
- Decidable hybrid systems
- Zeno hybrid systems
- Symbolic timing devices
- Time abstracted bisimulation: Implicit specifications and decidability
- A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets
- Hybrid Systems: Computation and Control
- A brief account of runtime verification
- On decidability of recursive weighted logics
- Theorem of abstraction for equivalent controllers in hybrid systems
- Investigating the usability of real-time scheduling theory with the Cheddar project
- Computation with perturbed dynamical systems
- An iterative approach to verification of real-time systems
- Model-checking precision agriculture logistics: the case of the differential harvest
- CTL* model checking for time Petri nets
- Complete proof systems for weighted modal logic
- Grid automata and supervisory control of dense real-time discrete event systems
- WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model
- Simulation relations and applications in formal methods
- A logical characterization of data languages.
- Interval logics and their decision procedures. II: A real-time interval logic
- Sooner is safer than later
- Automated verification of an audio-control protocol using UPPAAL
- The Verus language: Representing time efficiently with BDDs
- Model-checking timed temporal logics
- Model-based verification, optimization, synthesis and performance evaluation of real-time systems
- Compositional design of stochastic timed automata
- Alternation-free weighted mu-calculus: decidability and completeness
- Zone-based verification of timed automata: extrapolations, simulations and what next?
- Incremental methods for checking real-time consistency
- Verification of gap-order constraint abstractions of counter systems
- TCTL-preserving translations from timed-arc Petri nets to networks of timed automata
- Modeling objects moving in a complex environment with world automata
- Equivalence checking 40 years after: a review of bisimulation tools
- Language preservation problems in parametric timed automata
- Elimination of detached regions in dependency graph verification
- Verification of gap-order constraint abstractions of counter systems
- Discussion on: ``Formal specification method for systems automation
- Formalized timed automata
- Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties
- Verification of Timed-Arc Petri Nets
- Protocol scheduling
- Symbolic state estimation in bounded timed labeled Petri nets
- Consistent approximations of the Zeno behaviour in affine-type switched dynamic systems
- Contraction of the ITCPN state space
- Timed substitutions for regular signal-event languages
- Parametric Verification of Weighted Systems
- Continuity controlled hybrid automata
- Dynamic exploration of multi-agent systems with periodic timed tasks
- Title not available (Why is that?)
- Nonblocking supervisory control of timed discrete event systems under communication delays: the existence conditions
- Deciding properties of regular real timed processes
- Formal verification of speed-dependent asynchronous circuits using symbolic model checking of Branching Time Regular Temporal Logic
- Minimum and maximum delay problems in realtime systems
- A menagerie of timed automata
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4038702)
