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 “"hybrid automata"”.
-
Specifications for Decidable Hybrid Automata and Games
Examples are provided to give justification of the subclass constraints and better understanding of the implications of the proven results.
-
Model-based estimation of probabilistic hybrid automata
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2002.
-
Translation of Simulink-Stateflow models to hybrid automata
… a useful subclass of SLSF diagrams to hybrid automata. In the absence of official semantics, there are two possible interpretations of these diagrams: one is based on the ideal mathematical interpretation obtained from the syntax of the building blocks and the other is based on the …
-
Fast, approximate state estimation of concurrent probabilistic hybrid automata
… and discrete variables. Unfortunately, hybrid estimation is typically intractable due to the large space of possible assignments to the discrete variables. In this thesis, we investigate how to incorporate conflict directed techniques from the consistency-based, model-based diagnosis …
-
Uniform verification of safety for parameterized networks of hybrid automata
… systems naturally to be modeled as networks of hybrid automata. Hybrid automata are finite-state machines with additional real-valued continuous variables whose dynamics may vary in different states. These networks are naturally parameterized on the number of participants---processes, robots, …
-
Stochastic Learning Feedback Hybrid Automata for Dynamic Power Management in Embedded Systems
… Firstly, we formulate the DPM problem as a hybrid automaton control problem. We model a timed hybrid automaton to mathematically analyze various opportunities in optimizing energy in a given system model. Secondly, stochastic control is added to the automata model, whose control strategy is …
-
Provably safe design of driver-assist systems through hybrid automata with hidden modes
… the driver assist system is taken, employing a hybrid automaton model. This model has hidden modes, which arise from the driver making decisions about whether or not to follow the provided warnings. As a consequence, the driver assist system design is formulated as a safety control problem for a …
-
Remedies for building reliable cyber-physical systems
… for 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 …
-
Predictive Warning System for a Class of Shared-Control Vehicular CPS via Dynamic Information Flow Tracking.
… which nominal operation can be encoded using the hybrid automata framework with human inputs. Trajectory prediction methods are used to identify possible conflicts, coded as the avoid set of the system. Using Dynamic Information Flow Tracking (DIFT), human inputs and their effect over time are …
-
Controller synthesis for reactive systems in distributed, real-time and hybrid settings
… synthesis in distributed, real-time and hybrid settings. In distributed setting, we prove that the monadic second order theory of the event structure unfolding of every system of connectedly communicating processes (CCP) is decidable. With this, we show that the distributed controller …
-
Model-Based Learning and Planning for Intelligent Manipulation Using Probabilistic Hybrid Models
… Our algorithm learns deep probabilistic hybrid automata (DPHA), a novel graphical model that learns to predict both low-level state evolution as well as high-level transitions among distinct modalities. We also show that the discrete modes that naturally arise when learning DPHA models …
-
Parametric heart modelling and in silico closed-loop validation of implantable devices
… electrophysiology and paths are modelled with hybrid automata (HA). The HA-based model can capture continuous non-linear electrophysiological dynamics while retaining computational efficiency with the possibility of formal analysis. The hierarchy of pacemaker functions is incorporated to …
-
Dynamic analysis of Cyber-Physical Systems
… verification. This thesis uses the framework of hybrid input output automata for modeling CPS. Formal verification of hybrid automata is undecidable in general. Because of the undecidability result, no algorithm is guaranteed to terminate for all models. This thesis focuses on developing …
-
Safe Controller Design for Intelligent Transportation System Applications using Reachability Analysis
… without further verification. First of all, hybrid systems, a class of modeling frameworks which form the foundation for a mathematical approach to Cyber-Physical Systems will be introduced. Then the reachability analysis techniques are developed to compute the exact reachable sets which will …