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 8 of 8 for “"hybrid automaton"”.
-
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 …
-
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 …
-
Applied fast maneuvering using a hybrid controller
… model of the vehicle dynamics to build a hybrid automaton. By creating a set of stable trim states and building a library of maneuvers, the on-line optimization problem was made significantly simpler. The implementation of the control methodology for an autonomous helicopter was expanded …
-
Computation of safety control for hybrid system with applications to intersection collision avoidance system
… the driver to guarantee safety if necessary. A hybrid automaton model with hidden modes is used to solve the problem. A disturbance estimator is used to estimate the driver's reaction to the warning. Then, with the help of a mode estimator, the hybrid system with hidden modes is translated to a …
-
Adaptive consensus based formation control of unmanned vehicles
… and communication. In the second paper, a hybrid automaton is proposed to control the nonholonomic mobile robots in two discrete modes: a regulation mode and a formation keeping mode in order to overcome well-known stabilization problem. The third paper presents the design of a distributed …
-
Many-core architectures with time predictable execution Support for hard real-time applications
Hybrid control systems are a growing domain of application. They are pervasive and their complexity is increasing rapidly. Distributed control systems for future "Intelligent Grid" and renewable energy generation systems are demanding high-performance, hard real-time computation, and more …
-
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, …
-
Verifiable COTS-based cyber-physical systems
Cyber-physical systems (CPS) use networked control software to interact with and manipulate the physical world. Examples of cyber-physical systems include smart buildings, power distribution networks, and fleets of autonomous agriculture vehicles. These types of systems are increasingly of interest …