Skip to search formSkip to main contentSkip to account menu

Timed event system

The General System has been described in [Zeigler76] and [ZPK00] with the stand points to define (1) the time base, (2) the admissible input segments… 
Wikipedia (opens in a new tab)

Related topics

Related topics

2 relations
Behavior of DEVSDEVS

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Nested Timed Automata with Frozen Clocks
A nested timed automaton (NeTA) is a pushdown system whose control locations and stack alphabet are timed automata (TAs). A… 
2013
2013
Using equivalence classes for testing programs for safety instrumented systems
The reliability on Safety Instrumented Systems (SIS) is critical for the safe operation of many industrial applications. In… 
2013
2013
Introducing AMV (Animal Movement Visualizer), a visualization tool for animal movement data from satellite collars and radiotelemetry
2007
2007
Dealing with Dual Anxieties
Focusing on time as an issue, research was done to examine the concept of timed examinations as a possible reason for low scores… 
2006
2006
Discrete-event system modeling and supervisory control for under-load tap-changing transformers
Discrete-event systems (DES) can be found as essential integrated subsystems in electrical power systems. The continuous… 
2002
2002
Rule Formats for Timed Processes
  • Marco Kick
  • Categorical Methods for Concurrency, Interaction…
  • 2002
  • Corpus ID: 38294934
Highly Cited
1997
Highly Cited
1997
Symbolic model checking for a discrete clocked temporal logic with intervals
In this paper we present a new model checking algorithm for interval based timed structures and temporal logic formulas. Besides… 
1994
1994
The Timing and Probability Workbench: A Tool for Analysing Timed Processes
We describe the implementation of a tool for analysing systems described in the TPCCS process algebra (CCS extended with time and… 
1988
1988
Timed Acceptances: A Model of Time Dependent Processes
Timed Acceptances is a process model for describing and reasoning about processes with explicit t iming constraints (real-time… 
1975
1975
Reactive hyperaemia of the human lower limb. A comparison between systolic pressure at the ankle after timed circulatory arrest and after exercise in controls and in patients with lower limb…
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)