Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"Supervisory Control Theory"”.
-
Towards Provably Correct Services: Automated Service Composition Via Supervisory Control Synthesis
… dissertation is to leverage the existing work on supervisory control to solve the problem of automated service composition with a focus on control and correctness. Therefore, in this dissertation, we develop a novel formal framework for modeling Web service compositions based on Supervisory …
-
Simulatore di interfaccia uomo-macchina per i controllo di UAV
… a relevant issue is to design a display/controls architecture which allows the efficient interaction between the operator and the remote vehicle and to develop a level of automation which allows the vehicle the decision about change in mission. The research presented in this paper focuses …
-
Control and diagnosis of real-time systems under finite-precision measurement of time
… asynchronous hardware, robotics, etc.</p> <p>Supervisory control theory for DESs studies the existence and synthesis of the supervisory controllers, namely, supervisors that restrict the system behaviors by dynamically disabling certain controllable events so that the controlled close-loop …