Sökning: "Automata Learning"

Visar resultat 1 - 5 av 15 avhandlingar innehållade orden Automata Learning.

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. Learning of Timed Systems

   Författare :Olga Grinchtein; Bengt Jonsson; Oded Maler; Uppsala universitet; []
   Nyckelord :learning regular languages; timed systems; event-recording automata;

   Sammanfattning : Regular inference is a research direction in machine learning. The goal of regular inference is to construct a representation of a regular language in the form of deterministic finite automaton (DFA) based on the set of positive and negative examples. LÄS MER

4. 3. Learning Component Behavior from Tests : Theory and Algorithms for Automata with Data

   Författare :Sofia Cassel; Bengt Jonsson; Frits Vaandrager; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science;

   Sammanfattning : Formal models are often used to describe the behavior of a computer program or component. Behavioral models have many different usages, e.g., in model-based techniques for software development and verification,such as model checking and model based testing. LÄS MER

5. 4. On Reinforcement Learning and Digital Twins for Intelligent Automation

   Författare :Constantin Cronrath; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Digital Twins; Intelligent Automation; Reinforcement Learning; manufacturing;

   Sammanfattning : Current trends, such as the fourth industrial revolution and sustainable manufacturing, enable and necessitate manufacturing automation to become more intelligent to meet ever new design requirements in terms of flexibility, speed, quality, and cost. Two distinct research streams towards intelligent manufacturing exist in the scientific literature: the model-based digital twin approach and the data-driven learning approach. LÄS MER

7. 5. Data-Driven Methods for Contact-Rich Manipulation: Control Stability and Data-Efficiency

   Författare :Shahbaz Abdul Khader; Danica Kragic; Ludovic Righetti; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Robotic; Skill Learning; Reinforcement Learning; Contact-Rich Manipulation; Computer Science; Datalogi;

   Sammanfattning : Autonomous robots are expected to make a greater presence in the homes and workplaces of human beings. Unlike their industrial counterparts, autonomous robots have to deal with a great deal of uncertainty and lack of structure in their environment. LÄS MER