Approved: ____________________________________ Thesis Supervisor ____________________________________ Title and Department ____________________________________ Date ____________________________________ Thesis Supervisor ____________________________________ Title and Department ____________________________________ Date

The theory of Well Structured Transition Systems, (WSTS) allows the automatical verification of safety properties of infinite-state systems, such that parts of reachability sets can be finitely represented [7, 11, 10]. Termination, boundedness and coverability are decidable for WSTS [4, 5, 9]. As Petri nets are WSTS, the previous properties are decidable. For complete WSTS [10], the Karp and Mi...

Inspired by the well known motto of Henry David Thoreau that government is best which governs least we prove that in a general discrete event system whose behavior is described by strings of discrete events a supervisor or controller that supervises less that is gives more freedom to the system is indeed better in the sense that the system will evolve faster that is events will occur earlier if...

Will reading habit influence your life? Many say yes. Reading so you want to be a supervisor is a good habit; you can develop this habit to be such interesting way. Yeah, reading habit will not only make you have any favourite activity. It will be one of guidance of your life. When reading has become a habit, you will not make it as disturbing activities or as boring activity. You can gain many...

When supervisory control theory is applied to industrial problems the need for a more expressive modeling formalism than plain event based automata is crucial. The models are typically built in a bottom-up structure where multiple sub-plant and sub-specifications together compose the full plant and specification, respectively. Typically, the enabling of an event in a sub-model may depend on the...