A Control Synthesis Tool for Time Discrete Event Systems

Author

Leahu, Joana ; Sava, Alexandre ; Achour, Zied ; Rezg, Nidhal

Author_Institution

Univ. "Al. I. Cuza", Iasi

Volume

1

fYear

2006

fDate

4-6 Oct. 2006

Firstpage

919

Lastpage

926

Abstract

This paper presents a control synthesis software tool for manufacturing systems with a driven dynamic event. This tool is based on an original control synthesis algorithm which solves the forbidden state problem (FSP) under the following hypothesis: 1) each event may occur at time instants specified by an interval or a union of intervals; 2) two types of events are considered: controllable and uncontrollable events and 3) the evolution of time is discrete. This tool generates a live and maximally permissive controller which can 1) act on the arriving date of controllable events or 2) completely forbid some controllable events. The aim is to guaranty the respect of the given specifications

Keywords

control system CAD; discrete event systems; manufacturing systems; control synthesis software; control synthesis tool; driven dynamic event; forbidden state problem; manufacturing systems; time discrete event systems; Automatic control; Control system synthesis; Discrete event systems; Logic; Petri nets; Software tools; State-space methods; System recovery; Systems engineering and theory; Time factors; Forbidden state problem; Petri nets; control synthesis; time constraints;

fLanguage

English

Publisher

ieee

Conference_Titel

Computational Engineering in Systems Applications, IMACS Multiconference on

Conference_Location

Beijing

Print_ISBN

7-302-13922-9

Electronic_ISBN

7-900718-14-1

Type

conf

DOI

10.1109/CESA.2006.4281782

Filename

4281782