inria-00098485, version 1
Synthesis of Sequential Controllers in the presence of Conflicts and Free Choices
IEEE Transactions on Robotics & Automation 14, 3 (1998) 488-492
Abstract: In an earlier paper, the authors developed a technique called "Relative Temporal Analysis" to study the performance of timed Petri nets, where depending on the temporal constraints imposed on the transitions, conflict was possible between the processes modeled by the Petri net. The essence of the technique focused on the transformation of the real time trajectory of the processes into a time domain where only their relative shifts were considered. Within this domain the shifts are limited to a bounded and well defined region. Here, we extend this technique to more complex systems where structural conflict is also possible. Within a regenerative cycle of the system, each and every path should be followed according to a set of prespecified frequencies. We use the relative temporal technique to synthesize an optimal sequential controller to schedule these paths.
- a – INPL
- b – RUTGERS UNIVERSITY
- 1:
- INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Ecole normale supérieure de Paris - ENS Paris – Institut National Polytechnique de Lorraine (INPL)
- Domain : Computer Science/Other
- Keywords : controller synthesis – conflict resolution – free choice – cyclic scheduling || contrôleur superviseur – ordonnancement cyclique
- Internal note : 98-R-324 || alpan98a
- Comment : Article dans revue scientifique avec comité de lecture.
- inria-00098485, version 1
- http://hal.inria.fr/inria-00098485
- oai:hal.inria.fr:inria-00098485
- From:
- Submitted on: Monday, 25 September 2006 17:01:59
- Updated on: Thursday, 28 September 2006 15:22:44
Export