Linear System Theory and Design
Linear System Theory and Design
Autonomous Continuous P/T Systems
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
On reachability in autonomous continuous Petri net systems
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Petri nets and integrality relaxations: A view of continuous Petri net models
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
On fluidization of discrete event models: observation and control of continuous Petri nets
Discrete Event Dynamic Systems
Feasibility of piecewise-constant control sequences for timed continuous Petri nets
Automatica (Journal of IFAC)
Hi-index | 0.00 |
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.