Sökning: "Hugo Flordal"

Hittade 2 avhandlingar innehållade orden Hugo Flordal.

1. 1. Compositional Approaches in Supervisory Control with Application to Automatic Generation of Robot Interlocking Policies

   Författare :Hugo Flordal; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; nonblocking; finite state automata; verification; controllability; Discrete event systems; model reduction; synthesis; interlocking; supervisory control;

   Sammanfattning : The work presented in this thesis concerns verification and synthesis in the Ramadge and Wonham supervisory control framework. Supervisory control constitutes a formal framework for the design of supervisors for discrete event systems. LÄS MER

3. 2. Modular verification and synthesis of discrete event systems : with application to coordination of industrial robots

   Författare :Hugo Flordal; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Sammanfattning : .... LÄS MER