Search for dissertations about: "finite state automata"
Showing result 1 - 5 of 24 swedish dissertations containing the words finite state automata.
-
1. On Supervisor Synthesis via Active Automata Learning
Abstract : 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. READ MORE
-
2. Automatic Detection of Grammar Errors in Primary School Children's Texts. A Finite State Approach
Abstract : This thesis concerns the analysis of grammar errors in Swedish texts written by primary school children and the development of a finite state system for finding such errors. Grammar errors are more frequent for this group of writers than for adults and the distribution of the error types is different in children's texts. READ MORE
-
3. A Seamless Framework for Control Function Generation
Abstract : As we progress in time, the dependence and inseparability of our daily lives to computer and software systems grow rapidly; some transparent to many of us. It is therefore crucial to have efficient design of correct and well-functioning computer and software systems. READ MORE
-
4. Translation as Linear Transduction : Models and Algorithms for Efficient Learning in Statistical Machine Translation
Abstract : Automatic translation has seen tremendous progress in recent years, mainly thanks to statistical methods applied to large parallel corpora. Transductions represent a principled approach to modeling translation, but existing transduction classes are either not expressive enough to capture structural regularities between natural languages or too complex to support efficient statistical induction on a large scale. READ MORE
-
5. Compositional Approaches in Supervisory Control with Application to Automatic Generation of Robot Interlocking Policies
Abstract : The work presented in this thesis concerns verification and synthesis in the Ramadge and Wonham supervisory control framework. Supervisory control constitutes a formal framework for the design of supervisors for discrete event systems. READ MORE