powered by:
MagicWare, s.r.o.

Optimal Control synthesis in Interval Descriptor Systems Application to Time Stream Event Graphs

Authors:Declerck Philippe, LISA FRE 2656, ISTIA, University of Angers, France
Didi Alaoui Mohamed Khalid, LISA FRE 2656, ISTIA, University of Angers, France
Topic:1.3 Discrete Event and Hybrid Systems
Session:Analysis and Control of Discrete Event Systems
Keywords: (min,max,+) functions, cycle-time vector, fixed point, P-time Petri Nets, Time Stream Petri Nets

Abstract

This paper presents a new class of model in the field of topical algebra whose time evolution belongs tointervals. The lower and upper bounds depend on the maximization, minimization and addition operations,simultaneously. A motivation for the current study is the modelling of Time Petrinets like Time Stream Petri Nets and P-time Petri nets which extend Timed Petri Nets and generalize the semanticof its synchronization. The final objective is to make optimal control synthesis on this new model and togeneralize the classical ''backward'' equations applied to Timed Event Graphs.