6140

METHODS FOR THE SUPERVISORY CONTROL OF CONCURRENT SYSTEMS BASED ON PETRI NET ABSTRACTIONS

Panos J. Antsaklis استاد راهنما

University Of Norte dame

دكتري

Doctor of Philosophy )Electrical Engineering(

0

2003

deadlock prevention , liveness enforcement , supervisory control , decentralized control , controlled invariants , Petri Nets , hybrid systems , Discrete Event Systems , concurrency

01

انگليسي