Hybrid Modelling in Discrete-Event Control System Design
نویسنده
چکیده
Simulation-based testing of discrete-event control systems can be advantageous. There is, however, a considerable difference between languages for real-time control and simulation languages. The χ language, presented in this paper, is suited to specification and simulation of realtime control systems. The hybrid nature of the language makes it also suited to modelling of controlled machines. By connecting such models to models of control systems, simulation-based testing is possible. The language integrates a small number of orthogonal continuous-time and discrete-event concepts. The continuous-time part of χ is based on DAEs; the discrete-event part is based on a CSPlike concurrent programming language. A case study is presented of a conveyor control system. The example illustrates the suitability of the language for discrete-event control system specification as well as for simulation-based testing of control systems.
منابع مشابه
Multi - domain modelling , simulation , and control
For the design of large industrial systems, usually many different modelling languages are required. Currently, different projects aim at the development of standards that enable interaction between simulation models written in different languages. The Chi project aims at providing one language suited to modelling, simulation and control of systems from different application domains. Models may...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملDetermination of optimum of production rate of network failure prone manufacturing systems with perishable items using discrete event simulation and Taguchi design of experiment
This paper, considers Network Failure Manufacturing System (NFPMS) and production control policy of unreliable multi-machines, multi-products with perishable items. The production control policy is based on the Hedging Point Policy (HPP). The important point in the simulation of this system is assumed that the customers who receive perishable item are placed in priority queue of the customers w...
متن کاملCruise Control in Hybrid Event-B
A case study on automotive cruise control originally done in (conventional, discrete) Event-B is reexamined in Hybrid Event-B (an extension of Event-B that includes provision for continuously varying behaviour as well as the usual discrete changes of state). A significant case study such as this has various benefits. It can confirm that the Hybrid Event-B design allows appropriately fluent appl...
متن کاملDEVS Framework for Modelling, Simulation, Analysis, and Design of Hybrid Systems
We make the case that Discrete Event System Speci cation (DEVS) is a universal formalism for discrete event dynamical systems (DEDS). DEVS o ers an expressive framework for modelling, design, analysis and simulation of autonomous and hybrid systems. We review some known features of DEVS and its extensions. We then focus on the use of DEVS to formulate and synthesize supervisory level controllers.
متن کامل