Algebraic Techniques for Timed Systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1466, Issue , 1998, Pages 373-388

  Benveniste, Albert ^a   Jard, Claude ^a   Gaubert, Stéphane ^b  

^a CAMPUS DE BEAULIEU   (France)

^b INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; AUTOMATA THEORY; ENCODING (SYMBOLS); INTERACTIVE COMPUTER SYSTEMS; TIME SHARING SYSTEMS;

ABSTRACT MODELS; ALGEBRAIC TECHNIQUES; COMPLEX REAL-TIME SYSTEMS; DISTRIBUTED ARCHITECTURE; PARTIAL ORDER; REAL-TIME COMPUTATIONS; SYNCHRONOUS PROGRAM; TIMED EVENT GRAPHS;

REAL TIME SYSTEMS;

EID: 84945909838     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0055636     Document Type: Conference Paper

References (19)

1. F. Baccelli, G. Cohen, G.J. Olsder, and J.P. Quadrat. Synchronization and Linearity. Wiley, 1992.
2. A. Benveniste, G. Berry. Real-Time systems design and programming. Another look at real-time programming, special section of Proc. of the IEEE, 9(9):1270-1282, sep 1991.
3. A. Benveniste, S. Gaubert, and C. Jard. Algebraic techniques for timed systems: Monotone rational series and max-plus models Rapport de recherche, INRIA, July 1998. In preparation.
4. J. Berstel. Transductions and context-free languages, Teubner, 1979.
5. J. Berstel, C. Reutenauer. Les séries rationnelles et leurs langages, Etudes et recherches en informatique, Masson, Paris, 1984.
6. G. Cohen, P. Moiler, J-P. Quadrat, and M. Viot. Algebraic Tools for the Performance Evaluation of Discrete Event Systems. Proc. of the IEEE, 1989.
7. S. Gaubert. Performance evaluation of (max,+) automata. IEEE Trans. on Automatic Control, 40(12), Dec 1995.
8. S. Gaubert. Resource optimization and (rain,+) spectral theory. IEEE Trans. on Automatic Control, 40(11), Nov. 1995.
9. S. Gaubert and J. Mairesse. Task resource systems and (max,+) automata. In J. Gunawardena, editor, Idempotency, Publications of the Newton Institute. Cambridge University Press, 1996.
10. S. Gaubert, J. Mairesse. Modelling and Analysis of Timed Petri Nets using Heaps of Pieces, Submitted. Abridged version in the proc. of the ECC’97, Bruxelles, 1997.
11. S. Gaubert and Max Plus. Methods and applications of (max,+) linear algebra. Rapport de recherche 3088, INRIA, Jan 1997.
12. Alain Girault, Bilung Lee, and E. A. Lee, A Preliminary Study of Hierarchical Finite State Machines with Multiple Concurrency Models, Memorandum UCB/ERL M97/57, Electronics ResearchLaboratory, U. C. Berkeley, August 1997.
13. N. Halbwachs. Synchronous programming of reactive systems,. Kluwer Academic Pub., 1993.
14. N. Halbwachs, Y.E. Proy and P. Roumanoff. Verification of real-time systems using linear relation analysis. Formal Methods in System Design, 11(2): 157-185, Aug 1997.
15. F. Maraninchi, Y. Rémond Mode-Automata: About Modes and States in Reactive Systems. Research Report, Verimag, 1997.
16. F. Baccelli, S. Foss and B. Gaujal, Free-choice Petri Nets -- an algebraic approach, IEEE Trans. on Automatic Control, vol AC-41, No12, Dec 1996, 1751-1778.
17. J. Sifakis and S. Yovine, Compositional specification of timed systems. In 13th annual symposium on Theoretical Aspects of Computer Science, STACS’96, 347-359. LNCS 1046, Springer-Verlag, 1996.
18. S. Bornot and J. Sifakis, Relating time progress and deadlines in hybrid systems. In Int. Workshop HART’97, 286-300, Grenoble, France, March 1997. LNCS 1201, Springer-Verlag.
19. Handbook of TCS. Jan Van Leeuwen, editor. Volume B. Formal models and semantics. Chap. 3. Formal languages and power series, by A. Salomaa.