Searching for "Real-Time Automata." – sorted by Relevance.
50 documents found, showing 1 through 10.
Next 10 →
-
PLC-Automata: A New Class of Implementable Real-Time Automata
- …PLC-Automata: A New Class of Implementable Real-Time Automata Henning Dierks ? University…
- Cited by 36 (10 self) – Add To MetaCart
-
From Timed Automata to Logic -- and Back
- … or at best unaccounted for in the setting of real--time automata and the corresponding real--time logics…
- Cited by 41 (4 self) – Add To MetaCart
-
Interactive And Compilative Simulation Of PLC-Automata
- … simulation. ABSTRACT In this paper we present an event-driven simulator for PLC-automata, a class of real-time…
- Cited by 6 (4 self) – Add To MetaCart
-
Moby/PLC - Graphical Development of PLC-Automata
- …, a special class of hierarchical real-time automata suitable for the description of distributed real-time…
- Cited by 4 (2 self) – Add To MetaCart
-
Modelling and Verifying of a "Cash-Point Service" using Moby/PLC
- … design tool for PLC-Automata, a special class of hierarchical real-time automata suitable…
- Cited by 1 (0 self) – Add To MetaCart
-
Implementing Hierarchical Graph-Structures
- … of real-time automata which is tailored towards a certain kind of hardware called PLC (Programmable Logic…
- Cited by 4 (1 self) – Add To MetaCart
-
Graphical Specification and Reasoning: Case Study Generalised Railroad Crossing
- …], a class of real-time automata suitable to describe the behaviour of Programmable Logic Controllers…
- Cited by 4 (2 self) – Add To MetaCart
-
Checking Linear Duration Invariants by Linear Programming
- … that by linear programming, a particular class of timed automata including the class of real-time automata as a…
- Cited by 12 (9 self) – Add To MetaCart
-
Operational and Logical Semantics for Polling Real-Time Systems
- … of Oldenburg, Germany Henning.Dierks@(email omitted); Abstract. PLC-Automata are a class of real-time…
- Cited by 19 (12 self) – Add To MetaCart
-
Verifying Hybrid Systems Modeled as Timed Automata: A Case Study
- …, originally developed to reason about deterministic real-time automata, to verify properties of hybrid systems…
- Cited by 18 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
