timed systems
PyEcdar: Towards Open Source Implementation for Timed Systems
... Fig. 1: Specifications of timed systems able to 1. decide whether an implementation (e.g. Fig. 1b ) conforms to a given specifi- cation (e.g. Fig. 1a ), decide whether a specification can be implemented ...
5
A framework for the rigorous design of highly adaptive timed systems
... Abstract—Adaptive systems can be regarded as a set of static programs and transitions between these ...dynamic systems is cumbersome, as these may go through a large number of ...adaptive systems as ...
10
Incremental Verification of Component-Based Timed Systems
... with timed aspects. As in the untimed case, this relation, called timed τ -simulation, preserves safety ...(DS) timed τ ...the timed τ -simulation is appropriate with the classic operator ...
20
Modeling Timed Systems
... distributed systems rely on a common notion of ...to systems (particularly indoor systems), and it is vulnerable to spoofing and ...such systems, where the source of the clock becomes a single ...
40
An Automatic Technique for Checking the Simulation of Timed Systems
... The technique is based on the idea of composing the analyzed systems with observers and then model check their result using a µ-calculus property which captures the timed weak simulation[r] ...
17
An Automatic Technique for Checking the Simulation of Timed Systems
... The technique is based on the idea of composing the analyzed systems with observers and then model check their result using a µ-calculus property which captures the timed weak simulation[r] ...
18
A Forward On-The-Fly Approach for Safety and Reachability Controller Synthesis of Timed Systems
... until when its clocks overpasses 2. This in turns means that its firing interval should be ]2, 4]. 3.4 On-the-fly algorithm for safety controller synthesis In this section, we propose an efficient forward on-the-fly ...
140
Synthesis of Non-Interferent Timed Systems
... This paper is a follow-up of our previous work [8] about non-interference control problems for untimed systems. In [8], we assumed that the security domains coincided with the controllable and uncontrollable ...
16
Heterogeneous Timed Machines
... 2 ∩ Act O 1 and δ ′ , and (d) both M 1 and M 2 are δ ′ -cooperative in relation to Act 1 ∩ Act 2 , then M 1 k δ M 2 is feasible in relation to J \ Act O 2 and δ ′ 1 . 5 Related Work Several researchers have recently ...
19
When are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?
... automata. Timed Automata (TA), introduced in the seminal paper [4] have yielded a significant breakthrough in the theory of modelling and analysis of timed ...
33
When are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?
... automata. Timed Automata (TA), introduced in the seminal paper [4] have yielded a significant breakthrough in the theory of modelling and analysis of timed ...
34
Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences
... Classically, TdPN s use quite general resets, whereas TA use only resets to 0. We have thus studied the expressive power of these general resets, compared with resets to 0. We have shown that they don’t add any ...
12
Timed Petri nets and timed automata: On the discriminating power of zeno sequences
... The three other results complete the picture of known results about general resets in TA [5]. Item 2. was already partially proved in the above-mentioned paper, and we provide here a new proof of this result. Items 5. ...
12
Timed Unfoldings for Networks of Timed Automata
... LAMSADE, CNRS & Universit´e Paris-Dauphine, France { bouyer,reynier } @lsv.ens-cachan.fr , [email protected] Abstract. Whereas partial order methods have proved their efficiency for the analysis of ...
15
Automatic Test Generation for Data-Flow Reactive Systems Modeled by Variable Driven Timed Automata
... for timed systems. [11] defines new conformance relations on Timed Extended Finite State Machines (TEFSM), a timed extension of ...a timed extension of the ioco relation (tioco) which ...
24
Modal Logics for Timed Control
... the timed µ-calculus that can be used for specifying timed safety properties of closed timed ...specify timed control objectives as well because we can use existential and universal ...
25
A timed extension for AltaRica
... analysing timed systems to do some computation on continuous time domains; we only perform syntactical rewriting; • we do not want to constrain the discrete variables to be in a finite domain before doing ...
43
Quantifying Fidelity for Timed Transition Systems
... for timed systems through state classes (Berthomieu and Diaz, ...for systems modeled in Discrete EVent Specification (DEVS) formalism, (un)timed classical automata and untimed interface ...
10
Blending Timed Formal Models with Clock Transition Systems
... Abstract. Networks of Timed Automata (NTA) and Time Petri Nets (TPNs) are well-established formalisms used to model, analyze and control industrial real-time systems. The underlying theories are usually ...
16
Timed Automata with Parametric Updates
... concurrent timed systems with uncertainty: U2P-TA for which we proved that the EF-emptiness problem is undecidable, even for bounded parameters, and U2iP-TA for which we proved that the EF-emptiness problem ...
10