Theoretical Computer Science
Analysis of a hybrid system using symbolic dynamics and Petri nets
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
Hybrid Systems I
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Timed Petri Nets in Hybrid Systems: Stability and SupervisoryControl
Discrete Event Dynamic Systems
Automatic Symbolic Verification of Embedded Systems
IEEE Transactions on Software Engineering
Hybrid Systems II
Hybrid Systems IV
Interface and Controller Design for Hybrid Control Systems
Hybrid Systems II
Petri net supervisors for discrete event systems
Petri net supervisors for discrete event systems
Hi-index | 0.00 |
In this paper, a class of timed petri nets named programmable timed petri nets is used for supervisory control of hybird system. In particular, the transfer of the continuous state to a region of the state space under safety specifications on the discrete and continuous dynamics is addressed. The switching policy is embedded in the dynamics of the underlying Petri net structure and the supervisors are described by Petri nets. The discrete specific ations are expressed in terms of linear constraints on the marking vector and are satisfied by applying supervisory control of Petri nets based on place invariants. The hybrid system switches from a subsystem to another, in a way that the state gradually progresses from one equilibrium to another towards the desired target equilibrium. The supervisory control algorithm is designed to allow switchings to occur only on the intersection of the invariant manifolds. Finally, in the case when the continuous dynamics are described by first order integrators, the design algorithm is formulated as a linear programming problem.