A study of current logic design practices in the automotive manufacturing industry
International Journal of Human-Computer Studies
Qualitative Diagnosis of Condition Systems
Discrete Event Dynamic Systems
An Equivalent CTL Formulation for Condition Sequences
Discrete Event Dynamic Systems
State observability and condition observability for a class of interacting discrete event systems
Mathematics and Computers in Simulation - Special issue: Computational engineering in systems applications (CESA 2003)
Petri nets and programming: a survey
ACC'09 Proceedings of the 2009 conference on American Control Conference
State observability and condition observability for a class of interacting discrete event systems
Mathematics and Computers in Simulation
Conceptual Design of Discrete-Event Systems Using Templates
Discrete Event Dynamic Systems
Logic control law design for automated manufacturing systems
Engineering Applications of Artificial Intelligence
Hi-index | 0.00 |
Automated control synthesis methods for discrete-event systems promise to reduce the time required to develop, debug, and modify control software. Such methods must be able to translate high-level control goals into detailed sequences of actuation and sensing signals. In this paper, we present such a technique. It relies on analysis of a system model, defined as a set of interacting components, each represented as a form of condition system Petri net. Control logic modules, called taskblocks, are synthesized from these individual models. These then interact hierarchically and sequentially to drive the system through specified control goals. The resulting controller is automatically converted to executable control code. The paper concludes with a discussion of a set of software tools developed to demonstrate the techniques on a small manufacturing system