Branching processes of Petri nets
Acta Informatica
Theoretical Computer Science
Analysis of a hybrid system using symbolic dynamics and Petri nets
Automatica (Journal of IFAC)
Feedback control of Petri nets based on place invariants
Automatica (Journal of IFAC)
An invariant based approach to the design of hybrid control systems containing clocks
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Control Using Logic-Based Switching
Control Using Logic-Based Switching
Advanced Control System Design
Advanced Control System Design
Nonlinear Control Systems
A Survey of Petri Net Methods for Controlled Discrete EventSystems
Discrete Event Dynamic Systems
Automatic Symbolic Verification of Embedded Systems
IEEE Transactions on Software Engineering
Hybrid Systems
Hybrid Systems II
Hybrid Systems IV
TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
An Improvement of McMillan's Unfolding Algorithm
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Interface and Controller Design for Hybrid Control Systems
Hybrid Systems II
HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
Use of Petri Nets for Performance Evaluation
Proceedings of the Third International Symposium on Measuring, Modelling and Evaluating Computer Systems
Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits
CAV '92 Proceedings of the Fourth International Workshop on Computer Aided Verification
Decidability of Hybrid Systems with Rectangular Differential Inclusion
CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
Petri net supervisors for discrete event systems
Petri net supervisors for discrete event systems
A logical DES approach to the design of hybrid control systems
Mathematical and Computer Modelling: An International Journal
Using Sum of Squares Decomposition for Stability of Hybrid Systems
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Distributed monitoring of hybrid systems: a model-directed approach
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Robotics and Autonomous Systems
A Novel Formalism for Partially Defined Asynchronous Feedback Digital Circuits
Journal of Electronic Testing: Theory and Applications
Hi-index | 0.00 |
In this paper, timed Petri nets are used to model andcontrol hybrid systems. Petri nets are used instead of finiteautomata primarily because of the advantages they offer in dealingwith concurrency and complexity issues. A brief overview of existingresults on hybrid systems that are based on Petri nets is firstpresented. A class of timed Petri nets named programmable timedPetri nets (PTPN) is then used to model hybrid systems. Usingthe PTPN, the stability and supervisory control of hybrid systemsare addressed and efficient algorithms are introduced. In particular,we present sufficient conditions for the uniform ultimate boundnessof hybrid systems composed of multiple linear time invariantplants which are switched between using a logical rule describedby a Petri net. This paper also examines the supervisory controlof a hybrid system in which the continuous state is transferedto a region of the state space in a way that respects safetyspecifications on the plant‘s discrete and continuous dynamics.