Title :
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
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;
Conference_Titel :
Real-Time Systems Symposium, 1998. Proceedings., The 19th IEEE
Conference_Location :
Madrid
Print_ISBN :
0-8186-9212-X
DOI :
10.1109/REAL.1998.739747