Sökning: "Supervisory control theory"

Visar resultat 16 - 20 av 35 avhandlingar innehållade orden Supervisory control theory.

1. 16. Hierarchical Control and Restart of Flexible Manufacturing Systems

   Författare :Kristin Andersson; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Restart; Flexible manufacturing; Finite state automata; Petri nets; Supervisory control theory; Process algebra; Discrete event systems; Hierarchical control; Supervisor synthesis;

   Sammanfattning : Product life-cycles are constantly shortening, and the amount of new product types increases, for example in the automotive industry. Growing demands on flexibility and ability to decrease time to market has made it increasingly important to find methods for fast and accurate development of control programs for flexible manufacturing cells. LÄS MER

3. 17. On Formal Methods in Development of Control Logic Using IEC 61499

   Författare :Goran Cengic; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Modeling; Synthesis; Verification; Formal Methods; Supervisory Control Theory; IEC 61499; Control Logic Development;

   Sammanfattning : In the present global economy the manufacturing industry is faced with the challenges that need to be overcome in order to remain competitive and avoid outsourcing. One of the challenges is the efficient development of the control logicfor the distributed control systems that are often used to control the manufacturing equipment in the industry. LÄS MER

4. 18. Miljöbrott, myndighet och marknad : En studie om miljöstraffrätt och allmänprevention

   Författare :Helena du Rées; Janne Flyghed; Kimmo Nuotio; Jonas Ebbesson; Stockholms universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Environmental crime; corporate crime; environmental penal law; environmentally hazardous activities; general prevention; control theory; techniques of neutralisation; Criminal law; Straffrätt;

   Sammanfattning : Penal law has long been of central interest to the political debate on environmental regulation. The objective of this dissertation is to examine the role of penal law as a means of controlling environmentally hazardous economic activities. The focus of the work is directed at the general preventive effects of the threat of penal sanctioning. LÄS MER

5. 19. Methods and Tools in Supervisory Control Theory: Operator Aspects, Computational Efficiency, and Applications

   Författare :Knut Åkesson; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Sammanfattning : This thesis presents a tool together with efficient algorithms for verification and synthesis of discrete-event supervisors that might share responsibilities with human operators. It is also shown how the supervisory control theory can be used to solve resource allocation problems for flexible manufacturing systems. LÄS MER

7. 20. On Compositional Approaches for Discrete Event Systems Verification and Synthesis

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

   Sammanfattning : Over the past decades, human dependability on technical devices has rapidly increased.Many activities of such devices can be described by sequences of events,where the occurrence of an event causes the system to go from one state to another.This is elegantly modelled by state machines. LÄS MER