Real-time simulation for decision support in continuous flow manufacturing systems
WSC '92 Proceedings of the 24th conference on Winter simulation
A logic-based foundation of discrete event modeling and simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Discrete event simulation for shop floor control
WSC '94 Proceedings of the 26th conference on Winter simulation
Simulation as a planning and scheduling tool for flexible manufacturing systems
WSC '95 Proceedings of the 27th conference on Winter simulation
An introduction to Kolmogorov complexity and its applications (2nd ed.)
An introduction to Kolmogorov complexity and its applications (2nd ed.)
Approximation Algorithms for PSPACE-Hard Hierarchically and Periodically Specified Problems
SIAM Journal on Computing
Real-time control of a manufacturing cell using knowledge-based simulation
WSC '91 Proceedings of the 23rd conference on Winter simulation
Simulation and scheduling (panel)
WSC '91 Proceedings of the 23rd conference on Winter simulation
A new formalism for discrete event simulation
WSC '87 Proceedings of the 19th conference on Winter simulation
On Communicating Finite-State Machines
Journal of the ACM (JACM)
Elements of a theory of simulation II: sequential dynamical systems
Applied Mathematics and Computation
A multi-pass simulation-based, real-time scheduling and shop floor control system
Transactions of the Society for Computer Simulation International - modeling and simulation in manufacturing
Theory of Modeling and Simulation
Theory of Modeling and Simulation
DEVS Formalism: A Framework for Hierarchical Model Development
IEEE Transactions on Software Engineering
Reachability problems for sequential dynamical systems with threshold functions
Theoretical Computer Science - Mathematical foundations of computer science
Automatic generation of control software in computer-integrated manufacturing
Automatic generation of control software in computer-integrated manufacturing
| Hi-index | 0.00 |
We initiate a study of mathematical models for specifying (discrete) simulation-based control systems. It is desirable to specify simulation-based control systems using a model that is intuitive, succinct, expressive, and whose state space properties are relatively easy computationally. We compare automata-based models for specifying control systems and find that all systems that are currently used (such as finite state machines, communicating hierarchical finite state machines (FSM), communicating finite state machines, and Turing machines) lack at least one of the abovementioned features. We propose using sequential dynamical systems (SDS)---a formalism for representing discrete simulations---to specify simulation-based control systems. We show how to adapt the standard SDS model to specify cell-level controllers for a generic cell. For reasonable flexible manufacturing cells, the SDS-based specification has size polynomial in the size of the cell, while in the worst case the FSM-based specification has size exponential in the size of the cell.