Download:
|
by Bernard P. Zeigler, Jinwoo Kim
IEEE Trans. on Robotics and Automation
http://www-ais.ece.arizona.edu/REPORTS/PUBLICATIONS/real.ps.Z
Add To MetaCart
Abstract:
This article describes an implementation of real-time simulation and control in DEVS-Scheme, a knowledge-based, discrete event environment. We illustrate a methodology in which the plant, its actuators and sensors are described by discrete event models developed within the event-based control paradigm. A model of the controller is employed to validate its design in a plant/actuator/sensor experimental frame. The same model configuration is then employed for actual control operation by connecting the simulation executive, suitably modified, to a programmable controller that interfaces to the real plant/actuator/sensor system. We show how this methodology is supported by real-time interpretation of the DEVS (Discrete Event System Specification) formalism. A lower bound on the processing speed of a non-deterministic operating system relative to scheduled event times is derived which guarantees correct control timing. We show how the DEVS-based control can be distributed in a hierarchical manner to ensure that the required deadline time constraints are met. As an example, an intelligent controller is discussed for a prototype oxygen extraction system eventually intended to operate autonomously on Mars. We conclude that DEVS provides a flexible discrete event formalism for knowledge-based real-time control applications. 1
Citations
|
152
|
Multifaceted modeling and discrete event simulation
– Zeigler
- 1984
|
|
110
|
Real-time systems and their programming languages
– Burns, Wellings
- 1990
|
|
94
|
Structured Development for RealTime Systems
– Ward, Mellor
- 1985
|
|
81
|
BP: Object-oriented simulation with hierarchical, modular models
– Zeigler
|
|
21
|
W.: A Framework for Real-Time Discrete Event Control
– Ostroff, Wonham
- 1990
|
|
14
|
Towards Intelligent Autonomous Control Systems: Architecture and Fundamental Issues
– Antsaklis, Passino, et al.
- 1989
|
|
12
|
A Theory of Intelligent Systems
– Albus
- 1991
|
|
12
|
An Expert System for Real-time Control
– Wright, Green, et al.
- 1986
|
|
10
|
RT-ASLAN: A specification language for Real-Time Systems
– Auernheimer, Kemmerer
- 1986
|
|
8
|
Introduction to Real-Time Software Design
– Allworth
- 1981
|
|
7
|
The role of world modeling and value judgment in perception
– Albus
- 1990
|
|
5
|
An Architecture for Expert System Based Feedback Control
– Arzen
- 1989
|
|
5
|
Intelligent control: A sketch of the theory
– Meystel
- 1989
|
|
4
|
An attempt to confront asynchronous reality to synchronous modelization in the Esterel language
– Richard, Roux
- 1992
|
|
4
|
Knowledge Implementation: Structures of Intelligent Control Systems
– Saridis
- 1987
|
|
3
|
Hierarchical interaction between sensory processing and world modeling in intelligent systems
– Albus
- 1990
|
|
3
|
Recent Concepts in Missions to Mars: Extraterrestrial Processes
– Lawton, Ash
- 1989
|
|
2
|
Hierarchical Scheduling in Intelligent Environment Control Systems
– Kim
- 1990
|
|
1
|
G++, A Graphical Language Intended to Help the Development
– Fanard, Lobelle, et al.
- 1989
|
|
1
|
Programmable Controllers for Factory Automation
– Johson
- 1987
|
|
1
|
Real-Time Expert Systems for Diagnostics and Closed-loop Control
– Jones, Porter, et al.
- 1990
|
|
1
|
GRAFCET, A Functional Chart for Sequencial Processes
– Keller
- 1985
|
|
1
|
Extending DEVS-Scheme for Control of an Oxygen Production Test Bed
– Kim
- 1991
|
|
1
|
GRAFCET -- Graphical Function Chart Programming
– Lioyd
- 1985
|
|
1
|
A Real-Time Expert System for Process Control
– Moor
- 1984
|
|
1
|
The DEVS Formalism: Event-based Control for Intelligent Systems
– Zeigler
- 1989
|
|
1
|
Model-Based Task Planning System for a Space Laboratory Environment
– Zeigler, Cellier, et al.
|
|
1
|
Hierarchical Coordination
– Zhong, Wonham
- 1990
|
