Sökning: "Finite-state machines"

Visar resultat 1 - 5 av 13 avhandlingar innehållade orden Finite-state machines.

1. 1. On Supervisor Synthesis via Active Automata Learning

   Författare :Ashfaq Hussain Farooqui; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Supervisory control theory; Finite-state machines; Active learning; Model learning; Automata learning; Discrete-event systems;

   Sammanfattning : Our society's reliance on computer-controlled systems is rapidly growing. Such systems are found in various devices, ranging from simple light switches to safety-critical systems like autonomous vehicles. In the context of safety-critical systems, safety and correctness are of utmost importance. LÄS MER

3. 2. 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

4. 3. Complexity-aware Decision-making with Applications to Large-scale and Human-in-the-loop Systems

   Författare :Elis Stefansson; Karl H. Johansson; Henrik Sandberg; Iman Shames; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Complexity-aware Decision-making; Automata Theory; Automatic Control; Optimal Control; Kolmogorov Complexity; Hierarchical Finite State Machines; Large-scale Systems; Human-in-the-loop; Game Theory; Human Decision-making; Autonomous vehicles; Electrical Engineering; Elektro- och systemteknik;

   Sammanfattning : This thesis considers control systems governed by autonomous decision-makers and humans. We formalise and compute low-complex control policies with applications to large-scale systems, and propose human interaction models for controllers to compute interaction-aware decisions. LÄS MER

5. 4. Games and Probabilistic Infinite-State Systems

   Författare :Sven Sandberg; Parosh Abdulla; Luca de Alfaro; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; program verification; model checking; determinacy; strategy improvement; infinite games; parity games; mean payoff games; stochastic games; Büchi games; reachability games; limiting average; limiting behavior; Markov chains; infinite-state systems; lossy channel systems; vector addition systems; noisy Turing machines; Computer science; Datavetenskap;

   Sammanfattning : Computer programs keep finding their ways into new safety-critical applications, while at the same time growing more complex. This calls for new and better methods to verify the correctness of software. We focus on one approach to verifying systems, namely that of model checking. LÄS MER

7. 5. Designing a Functional Programming Architecture for the Internet of Things

   Författare :Jeremy Pope; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; High-Level Synthesis; internet of things; Hardware description languages; Architectures; Functional Programming;

   Sammanfattning : As the Internet of Things (IoT) grows, so too do security concerns: as well as typically having access to sensors and actuators, IoT devices are often programmed using bug-prone, low-level languages. Such a combination results in vulnerabilities that pose risks to privacy and safety. LÄS MER