Modular synthesis of efficient schedules in a timed discrete event plant

Proceedings of the IEEE Conference on Decision and Control

Volumn 1, Issue , 2000, Pages 16-21

  Boel, R K ^a   Montoya, F J ^b  

^a GHENT UNIVERSITY   (Belgium)

^b UNIVERSITY OF MURCIA   (Spain)

Author keywords

Scheduling; Supervisory control; Timed discrete event systems; Timed Petri nets

Indexed keywords

CONSTRAINT THEORY; HEURISTIC METHODS; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; OPTIMAL CONTROL SYSTEMS; PETRI NETS; SCADA SYSTEMS; SCHEDULING;

MODULAR SYNTHESIS; SUPERVISORY CONTROL; TIMED DISCRETE EVENT SYSTEMS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0034439245     PISSN: 01912216     EISSN: None     Source Type: Journal    
DOI: 10.1109/CDC.2000.912725     Document Type: Article

References (6)

1. A theory of timed automata
2. As soon as possible: Time optimal control of timed automata
3. Synchronization and linearity - an algebra for discrete event systems
4. Controlled timed petri nets: Equivalnce relations, model reduction
5. Worst-case analysis of concurrent systems with duration interval petri nets
6. Supervisory control of a class of dicrete-event systems