A control synthesis approach for time discrete event systems

Authors:
Alexandru Tiberiu Sava;Hassane Alla
Affiliations:
Laboratoire de Génie Industriel et Production Mécanique, ENIM-Ile du Saulcy, Metz, France;Laboratoire d'Automatique de Grenoble (INPG-CNRS-UJF), Domaine Universitaire, France
Venue:
Mathematics and Computers in Simulation - Special issue: Computational engineering in systems applications (CESA 2003)
Year:
2006

Citing 8
Cited 0

Supervisory control of a class of discrete event processes

SIAM Journal on Control and Optimization
Modeling and Verification of Time Dependent Systems Using Time Petri Nets

IEEE Transactions on Software Engineering
Supervisory synthesis techniques for discrete event dynamical systems

Supervisory synthesis techniques for discrete event dynamical systems
A theory of timed automata

Theoretical Computer Science
Decidability of Hybrid Systems with Rectangular Differential Inclusion

CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
Model Checking Timed Automata

Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems
HYTECH: the next generation

RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
A Framework for Scheduler Synthesis

RTSS '99 Proceedings of the 20th IEEE Real-Time Systems Symposium

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we introduce a control synthesis method for discrete event systems whose behavior is dependent on explicit values of time. Our goal is to control the occurrence dates of the controllable events so that the functioning of the system respects given specifications. The system to be controlled is modeled by a time Petri net. In a previous work we proposed a systematic method to build the timed automaton which models the exact behavior of a time Petri net. Furthermore, the forbidden behaviors of the system are modeled by forbidden timed automaton locations. This paper focuses on the control synthesis method, which consists in computing new firing conditions for the timed automaton transitions so that the forbidden locations are no longer reachable.