Sökning: "Extended finite automata"

Visar resultat 6 - 9 av 9 avhandlingar innehållade orden Extended finite automata.

  1. 6. On Symbolic Analysis of Discrete Event Systems Modeled as Automata with Variables

    Författare :Zhennan Fei; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Partitioning Techniques; Discrete Event Systems; Supervisory Control Theory; Extended Fi- nite Automata; Binary Decision Diagrams;

    Sammanfattning : In benefit of the current revolution in computer technology, nowadays, society is dependent on dedicated computer-aided systems more than ever to assist us in every aspect of daily life. Thereby, designing reliable control logic of those systems to avoid malfunctioning behavior is of importance. LÄS MER

  3. 7. Regular Model Checking

    Författare :Marcus Nilsson; Bengt Jonsson; Parosh Aziz Abdulla; Kim Larsen; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; formal methods; model checking; verification; regular sets; Computer science; Datavetenskap;

    Sammanfattning : A major current challenge in the area of program verification is to extend its applicability to infinite-state systems. A system can be infinite-state because it operates on unbounded data structures, such as queues, stacks, integers, etc., or because its description is parameterized by the number of components inside the system. LÄS MER

  4. 8. Using Formal Methods for Product and Production Development -- Industrial Applications for Boolean Satisfiability Solvers

    Författare :Alexey Voronov; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Formal Methods; Industrial Automation; Boolean Satisfiability; Product and Production Development;

    Sammanfattning : Highly customized products and frequent changes in the production systems pose high demands on engineers. The amount of data and the complexity of the relations within the data are high. Thus, it is both error-prone and time consuming to analyze the data without software support. LÄS MER

  5. 9. Partitioning and Control for Dynamical Systems Evolving on Manifolds

    Författare :Xiao Tan; Dimos V. Dimarogonas; James D. Biggs; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Partitioning and control; Transition system; Geometric control; Barrier functions; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : With the development and integration of cyber-physical and safety-critical systems, control systems are expected to achieve tasks that include logic rules, receptive decision-making, safety constraints, and so forth. For example, in a persistent surveillance application, an unmanned aerial vehicle might be required to "take photos of areas A and B infinitely often, always avoid unsafe region C, and return to the charging point when the battery level goes low. LÄS MER