Name
Abstract | ||
|---|---|---|
Heaps models are powerful models for concurrent timed discrete event systems. They admit linear description using dioid algebras. Inspired by supervisory control of logical discrete event systems we introduce parallel composition of heap models, called synchronous product, to formally describe the action of supervisor (represented by another heap model) on the system. This additional explicit concurrency for naturally concurrent heap models is useful for studying supervisory control in the algebraic framework of dioid algebras. Timing aspects of supervisory control, i.e. optimal timing of the controller, is studied based on residuation theory. |
Year | Venue | Keywords |
|---|---|---|
2007 | ICINCO 2007: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL ICSO: INTELLIGENT CONTROL SYSTEMS AND OPTIMIZATION | heap models, synchronous product, supervisory control, dioid algebra |
Field | DocType | Citations |
Supervisory control,Computer science,Control engineering,Heap (data structure) | Conference | 0 |
PageRank | References | Authors |
0.34 | 1 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jan Komenda | 1 | 147 | 21.85 |
| Jean-Louis Boimond | 2 | 152 | 20.21 |
| Sébastien Lahaye | 3 | 71 | 12.16 |