Sökning: "formal control systems"

Visar resultat 21 - 25 av 140 avhandlingar innehållade orden formal control systems.

  1. 21. Enhancing Temporal Logic Falsification of Cyber-Physical Systems using multiple objective functions and a new optimization method

    Författare :Zahra Ramezani; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Testing; Falsification; Cyber-Physical Systems;

    Sammanfattning : Cyber-physical systems (CPSs) are engineering systems that bridge the cyber-world of communications and computing with the physical world. These systems are usually safety-critical and exhibit both discrete and continuous dynamics that may have complex behavior. Typically, these systems have to satisfy given specifications, i.e. LÄS MER

  3. 22. Control Synthesis for Batch Processes

    Författare :Michael Tittus; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; batch control; hybrid systems; modeling; control synthesis; supervisory control; object-orientation; resource allocation;

    Sammanfattning : Batch applications form an important application class within the field of process industries. In this thesis we propose multiple models, frameworks and design concepts in order to apply formal methods to the control synthesis in batch control. The thes is can be divided into two main parts. LÄS MER

  4. 23. A study of symbolic tools in automatic control

    Författare :Arash Vahidi Mazinani; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; binary decision diagrams; state explosion problem; supervisory control synthesis; deadlock avoidance; discrete event systems; symbolic model checking; formal methods;

    Sammanfattning : .... LÄS MER

  5. 24. Symbolic Supervisory Control of Resource Allocation Systems

    Författare :Zhennan Fei; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Resource Allocation System; Binary Decision Diagram.; Discrete Event System; Supervisory Control Theory;

    Sammanfattning : Supervisory control theory (SCT) is a formal model-based methodology for verification and synthesis of supervisors for discrete event systems (DES). The main goal is to guarantee that the closed-loop system fulfills given specifications. SCT has great promise to assist engineers with the generation of reliable control functions. LÄS MER

  7. 25. Development and Verification of Dependable Software of Cyber-Physical Systems using Time-aware Computations

    Författare :Dmitrii Drozdov; Valeriy Vyatkin; Sandeep Patil; Andrei Lobov; Luleå tekniska universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Abstract state machines; CPS; formal semantics; formal verification; IEC 61499; time-aware computations; Dependable Communication and Computation Systems; Kommunikations- och beräkningssystem;

    Sammanfattning : Wired and wireless networking is becoming a necessary part of industrial control systems’ design and is one of the reasons that required a new cyber-physical approach to modelling. The phenomenon observed in cyber-physical systems (CPS) is a variety of cross-dependencies and influences between physical processes, computational devices and communications, which needs to be taken into account at the design and verification stage. LÄS MER