Sökning: "formal control systems"

Visar resultat 6 - 10 av 140 avhandlingar innehållade orden formal control systems.

  1. 6. Cyber-Physical Engineering of Distributed Automation Systems in Energy Domain

    Författare :Chen-Wei Yang; Valeriy Vyatkin; Evgeny Osipov; Nirmal Nair; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Dependable Communication and Computation Systems; Kommunikations- och beräkningssystem;

    Sammanfattning : The main focus of this thesis is in the domain of Energy Systems, specifically in the engi-neering of modern Smart Grid (SG) automation systems. The SG has been categorizedas a Cyber-Physical System (CPS), a complex system which exhibits tight integration between the cyber and the physical processes and their interactions in a networked envi-ronment. LÄS MER

  3. 7. Correct-by-Construction Tactical Planners for Automated Cars

    Författare :Jonas Krook; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Reactive Synthesis; tactical planning; formal verification; formal synthesis; Formal methods; Model Checking; Supervisory Control Theory.; automated cars;

    Sammanfattning : One goal of developing automated cars is to completely free people from driving tasks. Automated cars that require no human driver need to handle all traffic situations that a human driver is expected to handle, and possibly more. LÄS MER

  4. 8. Control of Dynamical Systems subject to Spatio-Temporal Constraints

    Författare :Maria Charitidou; Dimos V. Dimarogonas; Christian Ebenbauer; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Signal Temporal Logic; formal methods; control barrier functions; autonomous systems; model predictive control; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : Over the last decades, autonomous robots have been considered in a variety of applications such  as persistent monitoring, package delivery and cooperative transportation. These applications often require the satisfaction of a set of complex tasks that need to be possibly performed in a timely manner. LÄS MER

  5. 9. Incremental and Hierarchical Deadlock-Free Control of Discrete Event Systems with Variables: A Symbolic and Inductive Approach

    Författare :Mohammad Reza Shoaei; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Discrete event systems; IC3; large-scale systems; model checking; incremental control; supervisory control; hierarchical control; maximal permissiveness;

    Sammanfattning : Today's industry trend towards agile product development cycles and the ambition to shorten the time-to-market, represents an extremely competitive marketplace. This has driven the industry to use very complex and highly flexible manufacturing systems. LÄS MER

  7. 10. Design and Implementation of Object-Oriented Model Libraries using Modelica

    Författare :Hubertus Tummescheit; Institutionen för reglerteknik; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; modeling languages; thermo-fluid systems; process modeling; process control; control systems; thermo-hydraulic systems; non-linear models; model library design; object-oriented; modeling; simulation; Automation; robotics; control engineering; Automatiska system; robotteknik; reglerteknik;

    Sammanfattning : This thesis describes basic models for thermo-fluid systems and the implementation of the models using a flexible object-oriented structure in the ThermoFluid library. Model libraries provide an excellent way to package engineering knowledge of systems to be reused by non-experts. LÄS MER