scientific article; zbMATH DE number 177824
From MaRDI portal
Publication:4038702
Recommendations
Cited in
(only showing first 100 items - show all)- Network invariants for real-time systems
- Bounded model checking for knowledge and real time
- Investigating the usability of real-time scheduling theory with the Cheddar project
- Computational bounds on polynomial differential equations
- Timed automata and recognizability
- Sooner is safer than later
- Using mappings to prove timing properties
- Verifying automata specification of distributed probabilistic real-time systems
- Information system design of manufacturing environments
- A theory of timed automata
- A logic for reasoning about time and reliability
- An iterative approach to verification of real-time systems
- A process algebra of communicating shared resources with dense time and priorities
- Timed automata and additive clock constraints
- The Verus language: Representing time efficiently with BDDs
- Consistent approximations of the Zeno behaviour in affine-type switched dynamic systems
- Controller synthesis for dynamic hierarchical real-time plants using timed automata
- Process algebra for hybrid systems
- On decidability of recursive weighted logics
- On a class of timer hybrid systems reducible to finite state automata
- A logical characterization of data languages.
- Automated verification of an audio-control protocol using UPPAAL
- Linear parametric model checking of timed automata
- Updatable timed automata
- Decidable hybrid systems
- On the regularization of Zeno hybrid automata
- Incremental methods for checking real-time consistency
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates
- Zone-based verification of timed automata: extrapolations, simulations and what next?
- Protocol scheduling
- Model-checking precision agriculture logistics: the case of the differential harvest
- Complete proof systems for weighted modal logic
- Continuity controlled hybrid automata
- CTL* model checking for time Petri nets
- Timed substitutions for regular signal-event languages
- A brief account of runtime verification
- Verification of gap-order constraint abstractions of counter systems
- Contracts for cross-organizational workflows as timed dynamic condition response graphs
- Nonblocking supervisory control of timed discrete event systems under communication delays: the existence conditions
- TCTL-preserving translations from timed-arc Petri nets to networks of timed automata
- WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model
- Optimal reachability for multi-priced timed automata
- Optimal infinite scheduling for multi-priced timed automata
- Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties
- Grid automata and supervisory control of dense real-time discrete event systems
- Fuzzy regular languages over finite and infinite words
- Theorem of abstraction for equivalent controllers in hybrid systems
- Zeno hybrid systems
- Formalized timed automata
- Contraction of the ITCPN state space
- Exact acceleration of real-time model checking
- Interval duration logic: expressiveness and decidability
- Verification of gap-order constraint abstractions of counter systems
- Language preservation problems in parametric timed automata
- Model-based verification, optimization, synthesis and performance evaluation of real-time systems
- Computing with polynomial ordinary differential equations
- Verification of Timed-Arc Petri Nets
- A proof-based method for modelling timed systems
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
- Computation with perturbed dynamical systems
- A survey of timed automata for the development of real-time systems
- Reachability analysis for timed automata using max-plus algebra
- A method for the modular synthesis of controllers for timed discrete-event systems
- Modeling objects moving in a complex environment with world automata
- Deciding properties of integral relational automata
- On some relations between dynamical systems and transition systems
- scientific article; zbMATH DE number 1870546 (Why is no real title available?)
- scientific article; zbMATH DE number 795181 (Why is no real title available?)
- A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets
- Boundedness of the domain of definition is undecidable for polynomial ODEs
- Model-checking timed temporal logics
- Dynamic exploration of multi-agent systems with periodic timed tasks
- A Survey on Analog Models of Computation
- Removing -transitions in timed automata
- On the Modeling of Sequential Reactive Systems by Means of Real Time Automata
- Symbolic timing devices
- A menagerie of timed automata
- Discount-optimal infinite runs in priced timed automata
- Formal language properties of hybrid systems with strong resets
- What good are digital clocks?
- Language preservation problems in parametric timed automata
- Parametric verification of weighted systems
- An introduction to timed automata
- Compositional design of stochastic timed automata
- Time abstracted bisimulation: Implicit specifications and decidability
- Hybrid Systems: Computation and Control
- A real-time interval logic and its decision procedure
- Discussion on: ``Formal specification method for systems automation
- Alternation-free weighted mu-calculus: decidability and completeness
- Elimination of detached regions in dependency graph verification
- Simulation relations and applications in formal methods
- Validation and verification of web services choreographies by using timed automata
- Equivalence checking 40 years after: a review of bisimulation tools
- Symbolic state estimation in bounded timed labeled Petri nets
- Minimum and maximum delay problems in realtime systems
- Formal verification of speed-dependent asynchronous circuits using symbolic model checking of Branching Time Regular Temporal Logic
- Deciding properties of regular real timed processes
- A unified model for real-time systems: symbolic techniques and implementation
- Interval logics and their decision procedures. II: A real-time interval logic
- Minimum and maximum delay problems in real-time systems
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)
