Searching for "Real-Time Automata." – sorted by Relevance.
-
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

