Statecharts: A visual formalism for complex systems
Science of Computer Programming
Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
On the development of reactive systems
Logics and models of concurrent systems
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
Model of the State of Operation for Automatized Systems
Proceedings of the IFIP TC5 / WG5.3 Eight International PROLAMAT Conference on Human Aspects in Computer Integrated Manufacturing
| Hi-index | 0.00 |
This paper deals with a new modeling approach for mode handling of flexible manufacturing systems (FMS). Based on a review of the modeling methods and the specification formalisms in the existing approaches, we show that the mutual benefit of functional modeling and synchronous languages is very convenient for mode handling problem. We start by introducing the context of our work and the basic concepts of the proposed modeling approach. Then we present the steps of functional modeling and we illustrate them through an example of a flexible manufacturing cell. Functional modeling is completed by generic behavioral specifications representing the states of a subsystem or the whole system. The specification method is modular, hierarchical and supports reuse concept. The established model is generic and well adapted to our control system context. Mode handling function role within the control system is then studied. This function enables a reactive update of the availability of the resources and functions and the transmission of high level control and reconfiguration orders.