Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 14 of 14 for “"Timed automata"”.
-
From Scenarios to Optimally Allocated Timed Automata
… systems during some time interval. We propose Timed Event Sequences to formally express scenarios. Given a set of scenarios as Timed Event Sequences, along with a mode graph, we propose a method to automatically construct a minimal, acyclic, and deterministic timed automaton that models the …
-
Virtual stationary timed automata for mobile networks
… mobile networks called the Virtual Stationary Automata programming layer, consisting of real mobile clients, virtual timed I/O automata called virtual stationary automata (VSAs), and a communication service connecting VSAs and client nodes. The VSAs are located at prespecified regions that tile …
-
Performance analysis of real-time task systems using timed automata
Contains fulltext : 102351.pdf (Publisher’s version ) (Open Access)
-
The VAT tool : automatic transformation of VHDL to timed automata
Embedded systems have become an integral part of the systems we use today. These types of systems are constrained by both stringent time requirements and limited resource availability. Traditionally, high-integrity embedded systems operated on well understood hardware platforms. The emergence of …
-
A flight software development and simulation framework for advanced space systems
… of these services has been verified with General Timed Automata modelling and extensive run-time testing. Several example applications illustrate the use of GRRDE to support advanced flight software development. Two technology-focused studies examine automatic code generation and autonomous fault …
-
Opacity Verification and Fault Diagnosis in the Framework of Switching Output Automata
… semantics, while dense-time formalisms such as timed automata face undecidability or prohibitive complexity for verification tasks involving both timing constraints and partial observability. This dissertation introduces the Switching Output Automaton (SOA) framework to address this gap. SOA …
-
Data-Driven Pipeline for Learning Discrete behavioural Models of Cyber-Physical Systems
… discrete-event behavioural models called automata, while minimizing the need for ground truth about the data or the system that generated the logs. The pipeline consists of two recurring steps. In the discretization stage, high-dimensional time series data are converted into event traces …
-
Safe, intelligent and explainable self-adaptive systems
… rule- and distance-based adaptation process in timed automata. We have implemented our framework and evaluated its applicability and performance on three case studies from different domains, namely a smart temperature control system, an autonomous drone delivery system and a self-organizing …
-
Remedies for building reliable cyber-physical systems
… the safety requirements of these systems. Hybrid automata is the main modeling language for cyber-physical systems. However, verifying safety properties is undecidable for all but very restricted known classes of these automata. Our first result introduces a new subclass of hybrid automata for …
-
Improved Symbolic Model Checking of Real-Time Systems
… general and have been applied to encode closed timed automata and Stateful Timed CSP modeling languages. With regard to model checking algorithms, interesting problems are reachability analysis and emptiness checking. In the second part of the thesis, we aim to improve the current …
-
Towards Developing an Integrated Microscopic Traffic Simulation Model for Large Road Networks
… for ITS. Based on identified research gaps a Timed Automata-based particle hopping model is developed. The two main tools to achieve the outlined objectives are literature reviews, data analysis and computer simulations. To construct the classification scheme, existing genealogies and …
-
Protecting critical infrastructure systems using cyber, physical, and socio-technical models
… system safety. To do so, we use networks of timed automata to model the cyber-physical control feedback loop that drives system service. We develop a set of transformations on state automata that represent combinations of cyber actions of a human actor. Then, we perform model checking to …
-
Toward predictable control of software-defined networks
Traditional computer networks require manual configuration of potentially hundreds of forwarding devices. To ease this configuration burden, software-defined networking (SDN) provides centralized, programmatic control of switch data planes in the form of applications, or control modules. This …
-
Výpočetní model a analýza samočinně řízeného vozidla
Diplomová práce se zabývá samočinně řízenými vozidly. Nejprve obsahuje popis současného vývoje těchto vozidel, tedy z čeho se skládají, jak fungují, a je nastíněn jejich další možný vývoj. Dále se zde nachází popis možných nástrojů použitelných pro modelování. Práce obsahuje návrh, popis vývoje a …