Optimal Control Synthesis of Timed Event Graphs With Interval Model Specifications

The purpose of this technical note is the optimal control synthesis of a timed event graph when the state and control trajectories should follow the specifications defined by an interval model. The problem is reformulated in the fixed point form and the spectral theory gives the conditions of existence of a solution.

[1]  A. Tarski A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .

[2]  Stéphane Gaubert,et al.  How to solve large scale deterministic games with mean payoff by policy iteration , 2006, valuetools '06.

[3]  W. Marsden I and J , 2012 .

[4]  Da-Zhong Zheng,et al.  Min–Max Inequalities and the Timing Verification Problem with Max and Linear Constraints , 2005, Discret. Event Dyn. Syst..

[5]  M. Hautus Controlled invariance in systems over rings , 1982 .

[6]  Ricardo Katz Max-Plus $(A,B)$-Invariant Spaces and Control of Timed Discrete-Event Systems , 2007, IEEE Transactions on Automatic Control.

[7]  Philippe Declerck,et al.  OPTIMAL CONTROL SYNTHESIS IN INTERVAL DESCRIPTOR SYSTEMS APPLICATION TO TIME STREAM EVENT GRAPHS , 2005 .

[8]  P. Dorato,et al.  Model-based networked control for nonlinear systems with stochastic packet dropout , 2005, Proceedings of the 2005, American Control Conference, 2005..

[9]  Geert Jan Olsder,et al.  Synchronization and Linearity: An Algebra for Discrete Event Systems , 1994 .

[10]  Bart De Schutter,et al.  Model predictive control for max-plus-linear discrete event systems , 2001, Autom..

[11]  P. Declerck,et al.  Extremal trajectories in P-time Event Graphs: application to control synthesis with specifications , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[12]  Jean-Pierre Courtiat,et al.  Formal models for the description of timed behaviors of multimedia and hypermedia distributed systems , 1996, Comput. Commun..

[13]  S. Gaubert,et al.  THE DUALITY THEOREM FOR MIN-MAX FUNCTIONS , 1997 .

[14]  Konrad Reif,et al.  Stochastic stability of the discrete-time extended Kalman filter , 1999, IEEE Trans. Autom. Control..

[15]  Philippe Declerck,et al.  Optimal Control synthesis in Interval Descriptor Systems , 2005 .

[16]  David L. Dill,et al.  Algorithms for interface timing verification , 1992, Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.

[17]  Zidong Wang,et al.  Robust filtering with stochastic nonlinearities and multiple missing measurements , 2009, Autom..

[18]  R. Murray,et al.  Optimal LQG Control Across a Packet-Dropping Link , 2004 .