Decidability results in First-Order Hybrid Petri Nets

Discrete Event Dynamic Systems: Theory and Applications

Volumn 11, Issue 1-2, 2001, Pages 41-57

  Balduzzi, Fabio ^a   Di Febbraro, Angela ^a   Giua, Alessandro ^b   Seatzu, Carla ^b  

^a POLITECNICO DI TORINO   (Italy)

^b UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTABILITY AND DECIDABILITY; COMPUTATIONAL COMPLEXITY; HIERARCHICAL SYSTEMS; MATHEMATICAL MODELS; PETRI NETS; PROBLEM SOLVING;

FIRST-ORDER HYBRID PETRI NETS; TIMED AUTOMATA;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0035137541     PISSN: 09246703     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008383031624     Document Type: Article

References (19)

1. Alur, R., Courcoubetis, C., Henzinger, T.A., and Ho, P.-H. 1993. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. Hybrid Systems I, Lecture Notes in Computer Science 736. Springer-Verlag, pp. 209-229.
2. Alur, R., and Dill, D.L. 1994. A theory of timed automata. Theoretical Computer Science 126, pp. 183-235.
3. Alur, R., Henzinger, T.A., and Wong-Toi, H. 1997. Symbolic analysis of hybrid systems. Proc. 36th Conf. on Decision and Control. San Diego, California, pp. 702-707.
4. Antsaklis, P. J., Kohn, W., Lemmon, M., Nerode, A., and Sastry, S. (eds.). 1998. Symbolic analysis of hybrid systems. Hybrid Systems V, Lecture Notes in Computer Science. Springer-Verlag.
5. Antsaklis, P. J., and Nerode, A. (eds.). 1998. Special issue on "Hybrid control systems". IEEE Trans. on Automatic Control 43.
6. Antsaklis, P. J., and Lemmon, M. (eds.). 1998. Special issue on "Hybrid systems". J. of Discrete Event Dynamical Systems 8.
7. Balduzzi, F., Di Febbraro, A., Giua, A., and Seatzu, C. 1999. Decidability of single-rate hybrid Petri nets. 38th IEEE Conf. on Decision and Control. Phoenix, Arizona, pp. 2263-2268.
8. Balduzzi, F., Di Febbraro, A., Giua, A., and Seatzu, C. 2000a. Timed automata and Petri nets. Proc. 3rd IMACS Symp. on Mathematical Modelling MATHMOD. Vienna, Austria, pp. 461-465.
9. Balduzzi, F., Giua, A., and Menga, G. 2000b. First-order hybrid Petri nets: A model for optimization and control. IEEE Trans. on Robotics and Automation 16(4), pp. 382-399.
10. Branicky, M. S., Borkar, VS., and Mitter, S.K. 1994. A unified framework for hybrid control. Proc. 33rd IEEE Conf. on Decision and Control. Lake Buena Vista, Florida, pp. 4228-4234.
11. David, R., and Alla, H. 1992. Autonomous and timed continuous Petri nets. Advances in Petri Nets 1993, LNCS 674, G. Rozenberg (ed.). Springer-Verlag, pp. 71-90.
12. David, R. 1997. Modeling of hybrid systems using continuous and hybrid Petri nets. Proc. 6th Int. Work. Petri Nets and Performance Models, PNPM97. St-Malo, France, pp. 47-57.
13. Gribaudo, M., Sereno, M., and Bobbio, A. 1999. Fluid stochastic Petri nets: An extended formalism to include non-Markovian models. Proc. 7th Int. Work. Petri Nets and Performance Models, PNPM99. Zaragoza, Spain.
14. Kesten, Y., Pnueli, A., Sifakis, J., and Yovine, S. 1993. Integration graphs: A class of decidable hybrid systems. Hybrid Systems, LNCS 736. Springer, pp. 179-208.
15. Kopke, P. W., Henzinger, T.A, Puri, A., and Varaiya, P. 1995. What's decidable about hybrid automata? 27-th Annual ACM Symposioum on Theory of Computing (STOCS), pp. 372-382.
16. Murata, T. 1989. Petri nets: Properties, analysis and applications. Proceedings IEEE 77(4), pp. 541-580.
17. Nicollin, X., Olivero, A., Sifakis, J., and Yovine, S. 1993. An approach to the description and analysis of hybrid systems. Hybrid Systems, LNCS 736. Springer-Verlag.
18. Puri, A., and Varaiya, P. 1996. Decidable hybrid systems. Computer and Mathematical Modeling 23(11/12), pp. 191-202.
19. Reutenauer, C. 1990. The Mathematics of Petri Nets, Prentice-Hall Intern.