Results 11 to 20 of about 8,430 (314)
Identifying an automaton model for timed data
, 2006 A model for discrete event systems (DES) can be learned from observations. We propose a simple type of timed automaton to model DES where the timing of the events is important. Learning such an automaton is proven to be NP-complete by a reduction from the problem of learning deterministic finite state automata (DFA) without time.
Verwer, S.E. (author) +2 more
openaire +2 more sources
Safety Verification of a Train Interlocking Timed Automaton Model
IFAC-PapersOnLine, 2019 Abstract This paper presents an application of formal methods based on model checking techniques for safety verification of a railway interlocking system. The proposed model checking techniques are implemented on a timed automaton model of the considered interlocking systems and with respect to safety operational specification that are expressed as ...
Yul Y. Nazaruddin +4 more
openaire +2 more sources
Determinisability of register and timed automata [PDF]
Logical Methods in Computer Science, 2022 The deterministic membership problem for timed automata asks whether the timed language given by a nondeterministic timed automaton can be recognised by a deterministic timed automaton.
Lorenzo Clemente +2 more
doaj +1 more source
Higher-Dimensional Timed and Hybrid Automata [PDF]
Leibniz Transactions on Embedded Systems, 2022 We introduce a new formalism of higher-dimensional timed automata, based on Pratt and van Glabbeek’s higher-dimensional automata and Alur and Dill’s timed automata.
Fahrenberg, Uli
doaj +1 more source
Hard Real-Time Microcontroller Code Generation from Timed Automaton Specifications
, 2008 Title: Hard Real-Time Microcontroller Code Generation from Timed Automaton Specifications, Author: Victor Bandur, Location ...
Victor Bandur, Boris Eng
openaire +2 more sources
Detectability of Timed Discrete Event Systems
IEEE Access, 2023 This paper introduces T-detectability, which extends detectability to timed discrete event systems within the context of communication networks. We propose network T-detectability to address the challenges posed by observation delays and losses in ...
Chengshi Miao
doaj +1 more source
Optimal controller synthesis for timed systems [PDF]
Logical Methods in Computer Science, 2023 Weighted timed games are zero-sum games played by two players on a timed automaton equipped with weights, where one player wants to minimise the cumulative weight while reaching a target.
Damien Busatto-Gaston +2 more
doaj +1 more source
Conformance Checking on Timed Automaton Process Models
Proceedings of the 26th International Conference on Enterprise Information SystemsSohei Ito, Kento Hamae
openaire +2 more sources
Stochastic Timed Automata [PDF]
Logical Methods in Computer Science, 2014 A stochastic timed automaton is a purely stochastic process defined on a timed automaton, in which both delays and discrete choices are made randomly.
Nathalie Bertrand +6 more
doaj +1 more source
Parametric updates in parametric timed automata [PDF]
Logical Methods in Computer Science, 2021 We introduce a new class of Parametric Timed Automata (PTAs) where we allow clocks to be compared to parameters in guards, as in classic PTAs, but also to be updated to parameters.
Étienne André +2 more
doaj +1 more source