Search for dissertations about: "hugo flordal"

Found 2 swedish dissertations containing the words hugo flordal.

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

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

   Abstract : 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. READ MORE

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

   Author : Hugo Flordal; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Abstract : .... READ MORE