Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,226,548 papers from all fields of science
Search
Sign In
Create Free Account
Timed automaton
In automata theory, a timed automaton is a finite automaton extended with a finite set of real-valued clocks. During a run of a timed automaton…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
13 relations
Automata theory
Automated planning and scheduling
DREAM (software)
Event segment
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Simple Bounded MTL Model Checking for Discrete Timed Automata (extended abstract)
A. Zbrzezny
,
A. Zbrzezny
International Workshop on Concurrency…
2016
Corpus ID: 12432411
We present a new translation of Metric Temporal Logic to the Linear Temporal Logic with a new set of the atomic propositions. We…
Expand
2015
2015
Abstraction Trees for Closed-Loop Model Checking of Medical Devices (cid:63)
Zhihao Jiang
,
Houssam Abbas
,
P. Mosterman
,
Rahul Mangharam
2015
Corpus ID: 2711398
. This paper proposes a methodology for closed-loop model checking of medical devices, and illustrates it with a case study on…
Expand
2012
2012
Automatic Generation of Inductive Invariants by SUP(LA) 1
Arnaud Fietzke
,
E. Kruglov
,
Christoph Weidenbach
2012
Corpus ID: 208107001
The hierarchic combination of linear arithmetic and first-order logic with free function symbols, FOL(LA), results in a strictly…
Expand
Review
2010
Review
2010
0 Wireless sensor networks : modeling and simulation
S. Madani
,
J. Kazmi
,
S. Mahlknecht
2010
Corpus ID: 35384406
Although different modeling techniques have been proposed during the last 300 years, the differential equation formalism proposed…
Expand
2007
2007
Cover - A Real-Time Test Case Generation Tool
A. Hessel
,
P. Pettersson
2007
Corpus ID: 9232537
Testing is the dominant verification technique used in the software industry today. The use of automatic test case execution…
Expand
2007
2007
PROBABILISTIC TIMED AUTOMATA FOR MODELING NETWORKED AUTOMATION SYSTEMS
J. Greifeneder
,
Georg Frey
2007
Corpus ID: 56690969
Abstract For the formal analysis of dependability of Networked Automation Systems (NAS) it is necessary to model the whole system…
Expand
2005
2005
Passive mid-stream monitoring of real-time properties
A. Netravali
,
Krishan K. Sabnani
,
R. Viswanathan
International Conference on Embedded Software
2005
Corpus ID: 8648249
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their…
Expand
1997
1997
Synchronization Overhead Reduction in Timed Cosimulation
승준 유
1997
Corpus ID: 59191613
1996
1996
Specification and Verification of Hybrid Dynamic Systems with Timed forall-Automata
Y. Zhang
,
Alan K. Mackworth
Hybrid Systems
1996
Corpus ID: 26419685
The advent of computer-controlled embedded systems coupled to physical environments requires the development of new theories of…
Expand
1990
1990
The Input Output Timed Automaton - A model for real-time parallel computation
Azer Bestavros
1990
Corpus ID: 12219069
In this paper we present the Input Output Timed Automaton IOTA model for the speci ca tion and veri cation of parallel real time…
Expand