Loading...
Please wait, while we are loading the content...
Similar Documents
Hybrid Control Systems Using Timed Petri Nets: Supervisory Control Design Based on Invariant Properties (1999)
| Content Provider | CiteSeerX |
|---|---|
| Author | Koutsoukos, Xenofon D. Antsaklis, Panos J. |
| Description | Hybrid Systems V, Lecture Notes in Computer Science . In this paper, a class of timed Petri nets named programmable timed Petri nets is used for supervisory control of hybrid systems. 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 specifications 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 i... |
| File Format | |
| Language | English |
| Publisher | Springer |
| Publisher Date | 1999-01-01 |
| Access Restriction | Open |
| Subject Keyword | Supervisory Control Safety Specification Desired Target Equilibrium Hybrid System Switch Timed Petri Net Programmable Timed Petri Net Switching Policy Continuous State First Order Discrete Specification Linear Constraint Place Invariant Supervisory Control Algorithm State Space Continuous Dynamic Hybrid System Invariant Manifold Underlying Petri Net Structure Invariant Property Marking Vector Supervisory Control Design Petri Net |
| Content Type | Text |
| Resource Type | Article |
