Abstract
Continuous Petri Nets is a subclass of hybrid models representing relaxed views of discrete events systems, in which timing may adopt different semantics. Even if no semantics is strictly superior, we proved in [1] that for an important subclass of models infinite server semantics provides always a better approximation of the underlying discrete model than finite server. This paper then concentrates on controllability under this semantics. First we propose a notion of controllability over subsets of the reachable polytope, and provide a necessary and sufficient condition for markings with no null elements (interior points); later the transformation of an arbitrary initial marking into an interior one is done. The technically more involved part of the paper is the extension of those results to the case in which some transitions are non controllable. An interesting point is that all characterizations depend only on the structure and firing speeds of the timed continuous net.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Alla, H., David, R.: Continuous and hybrid Petri nets. Journal of Circuits, Systems, and Computers 8(1), 159–188 (1998)
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)
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)
Sun, Z., Zheng, D.: On stabilization of switched linear control systems. IEEE Trans. on Automatic Control 46(2), 291–295 (2001)
Xie, G., Wang, L.: Controllability and stabilization of switched linear systems. Systems and Control Letters 48(2), 135–155 (2002)
Sontag, E.: An algebraic approach to bounded controllability of linear systems. Int. Journal of Control 39, 181–188 (1984)
Brammer, R.: Controllability in linear autonomous systems with positive controllers. SIAM J. Control 10(2), 329–353 (1972)
Camlibel, M.: Popov-belevitch-hautus type controllability for linear complementary systems. IEEE Trans. on Software Engineering 56(5), 381–387 (2007)
Seatzu, C., Corona, D., Giua, A., Bemporad, A.: Optimal control of continuous-time switched affine systems. IEEE Trans. on Automatic Control 51(5), 726–741 (2006)
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)
Jiménez, E., Júlvez, 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)
Chen, C.: Linear system theory and design. Oxford University Press, USA (1984)
Júlvez, 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)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Vázquez, C.R., Ramírez, A., Recalde, L., Silva, M. (2008). On Controllability of Timed Continuous Petri Nets. In: Egerstedt, M., Mishra, B. (eds) Hybrid Systems: Computation and Control. HSCC 2008. Lecture Notes in Computer Science, vol 4981. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78929-1_38
Download citation
DOI: https://doi.org/10.1007/978-3-540-78929-1_38
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78928-4
Online ISBN: 978-3-540-78929-1
eBook Packages: Computer ScienceComputer Science (R0)