On controllability of timed continuous petri nets

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

Volumn 4981 LNCS, Issue , 2008, Pages 528-541

  Vázquez, C Renato ^a   Ramírez, Antonio ^b   Recalde, Laura ^a   Silva, Manuel ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

^b UNIDAD GUADALAJARA   (Mexico)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS; SEMANTICS;

CONTINUOUS PETRI NET; DISCRETE MODELING; DISCRETE-EVENTS SYSTEMS; HYBRID MODEL; INITIAL MARKING; INTERESTING POINTS; INTERIOR POINT; TIMED CONTINUOUS PETRI NETS;

PETRI NETS;

EID: 70350026901     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78929-1_38     Document Type: Conference Paper

References (14)

1. Mahulea, C., Recalde, L., Silva, M.: On performance monotonicity and basic servers semantics of continuous Petri nets. In: 8th Int. Workshop on Discrete Event Systems WODES 2006, Ann Arbor, USA, pp. 345-351. IEEE Computer Society Press, Los Alamitos (2006)
2. Alla, H., David, R.: Continuous and hybrid Petri nets. Journal of Circuits, Systems, and Computers 8(1), 159-188 (1998)
3. Recalde, L., Teruel, E., Silva, M.: Autonomous continuous P/T systems. In: Donatelli, S., Kleijn, J. (eds.) ICATPN 1999. LNCS, vol.1639, pp. 107-126. Springer, Heidelberg (1999)
4. Silva, M., Recalde, L.: Petri nets and integrality relaxations: A view of continuous Petri nets. IEEE Trans. on Systems, Man, and Cybernetics 32(4), 314-327 (2002)
5. Sun, Z., Zheng, D.: On stabilization of switched linear control systems. IEEE Trans. on Automatic Control 46(2), 291-295 (2001)
6. Xie, G., Wang, L.: Controllability and stabilization of switched linear systems. Systems and Control Letters 48(2), 135-155 (2002)
7. Sontag, E.: An algebraic approach to bounded controllability of linear systems. Int. Journal of Control 39, 181-188 (1984)
8. Brammer, R.: Controllability in linear autonomous systems with positive controllers. SIAM J. Control 10(2), 329-353 (1972)
9. Camlibel, M.: Popov-belevitch-hautus type controllability for linear complementary systems. IEEE Trans. on Software Engineering 56(5), 381-387 (2007) (Pubitemid 46435732)
10. Seatzu, C., Corona, D., Giua, A., Bemporad, A.: Optimal control of continuoustime switched a.ne systems. IEEE Trans. on Automatic Control 51(5), 726-741 (2006) (Pubitemid 43792635)
11. Mahulea, C., Ramirez-Trevino, A., Recalde, L., Silva, M.: Steady state control reference and token conservation laws in continuous Petri net systems. IEEE Trans. on Automation Science and Engineering (to appear, 2007)
12. Jiḿenez, E., J́ulvez, J., Recalde, L., Silva, M.: On controllability of timed continuous Petri net systems: the join free case. In: Proc. of the 44th IEEE Conf. on Decision and Control (Joint CDC-ECC), Seville, Spain, pp. 7645-7650 (2005)
13. Chen, C.: Linear system theory and design. Oxford University Press, USA (1984)
14. J́ulvez, J., Recalde, L., Silva, M.: On reachability in autonomous continuous Petri net systems. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.2679, pp. 221-240. Springer, Heidelberg (2003)