Sökning: "formal control systems"

Visar resultat 11 - 15 av 140 avhandlingar innehållade orden formal control systems.

1. 11. On Falsification of Large-Scale Cyber-Physical Systems

   Författare :Johan Lidén Eddeland; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Test Coverage; Testing; Optimization; Simulation-Based Verification; Formal Requirements; Cyber-Physical Systems; Falsification;

   Sammanfattning : In the development of modern Cyber-Physical Systems, Model-Based Testing of the closed-loop system is an approach for finding potential faults and increasing quality of developed products. Testing is done on many different abstraction levels, and for large-scale industrial systems, there are several challenges. LÄS MER

3. 12. Planning and Control of Uncertain Cooperative Mobile Manipulator-Endowed Systems under Temporal Logic Tasks

   Författare :Christos Verginis; Dimos Dimarogonas; Magnus Egerstedt; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; multi-agent systems; cooperative manipulation; formation control; temporal logic; motion planning; adaptive control; funnel control; navigation; Electrical Engineering; Elektro- och systemteknik;

   Sammanfattning : Control and planning of multi-agent systems is an active and increasingly studied topic of research, with many practical applications such as rescue missions, security, surveillance, and transportation. This thesis addresses the planning and control of multi-agent systems under temporal logic tasks. LÄS MER

4. 13. Coordination, Consensus and Communication in Multi-robot Control Systems

   Författare :Alberto Speranzon; Karl Henrik Johansson; George J. Pappas; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Multi-robot Coordination; Intelligent Control; Control under Communication Constraints; Automatic control; Reglerteknik;

   Sammanfattning : Analysis, design and implementation of cooperative control strategies for multi-robot systems under communication constraints is the topic of this thesis. Motivated by a rapidly growing number of applications with networked robots and other vehicles, fundamental limits on the achievable collaborative behavior are studied for large teams of autonomous agents. LÄS MER

5. 14. Planning and Control of Cooperative Multi-Agent Manipulator-Endowed Systems

   Författare :Christos Verginis; Dimos V. Dimarogonas; Pedro Lima; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Multi-agent systems; Temporal logics; Cooperative manipulation; Motion planning; Control; Navigation; Action planning; Electrical Engineering; Elektro- och systemteknik;

   Sammanfattning : Multi-agent planning and control is an active and increasingly studied topic of research, with many practical applications, such as rescue missions, security, surveillance, and transportation. More specifically, cases that involve complex manipulator-endowed systems  deserve extra attention due to potential complex cooperative manipulation tasks and their interaction with the environment. LÄS MER

7. 15. 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