Analyzing non-deterministic real-time systems with (max,+) algebra

Author

Brat, Guillaume P. ; Garg, Vijay K.

Author_Institution

Dept. of Electr. & Comput. Eng., Texas Univ., Austin, TX, USA

fYear

1998

fDate

2-4 Dec 1998

Firstpage

210

Lastpage

219

Abstract

We describe a hierarchical technique that allows a class of non deterministic timed Petri nets to be analyzed using the (max,+) algebra (F. Baccelli et al., 1992; G. Brat and V.K. Garg, 1998) of periodic signals. We show that the timing and controllability analysis of such systems is possible via the use of sup- and inf-convolution operations within the (max,+) framework. We apply this technique to the verification of timing constraints in an intelligent structural control system and compare our technique to other modeling tools for real time systems

Keywords

Petri nets; algebra; discrete event systems; intelligent control; program verification; real-time systems; temporal logic; algebra; controllability analysis; hierarchical technique; inf-convolution operations; intelligent structural control system; modeling tools; non deterministic real time systems; non deterministic timed Petri nets; periodic signals; timing; timing constraints; verification; Algebra; Control system analysis; Control system synthesis; Controllability; Intelligent control; Intelligent structures; Intelligent systems; Petri nets; Real time systems; Timing;

fLanguage

English

Publisher

ieee

Conference_Titel

Real-Time Systems Symposium, 1998. Proceedings., The 19th IEEE

Conference_Location

Madrid

Print_ISBN

0-8186-9212-X

Type

conf

DOI

10.1109/REAL.1998.739747

Filename

739747