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 20 of 197 for “"Hybrid systems"”.
-
Computational Methods for Hybrid Systems
… for the analysis and synthesis of nonlinear systems. Each of these approaches is presented in a conference paper that describes parts of the theory and algorithms. Matlab commands implementing the algorithms have been developed and the manuals for these are included herein as well.
-
Global optimization of hybrid systems
Systems that exhibit both discrete state and continuous state dynamics are called hybrid systems. In most nontrivial cases, these two aspects of system behavior interact to such a significant extent that they cannot be decoupled effectively by any kind of abstraction and must be analyzed …
-
Testing hybrid systems with TTCN-3
… eingebettete Systeme jedoch weiterhin häufig hybride Echtzeitsysteme, die über Sensoren und Aktuatoren mit einer physikalischen Umgebung in Wechselwirkung treten. Sie müssen einerseits kontinuierliche Datenströme verarbeiten, die ihnen ein möglichst exaktes Abbild ihrer Umgebung vermitteln, …
-
Robust execution for stochastic hybrid systems
Unmanned systems, such as Autonomous Underwater Vehicles (AUVs), planetary rovers and space probes, have enormous potential in areas such as reconnaissance and space exploration. However the effectiveness and robustness of these systems is currently restricted by a lack of autonomy. Previous work …
-
A verification framework for hybrid systems
… state transitions with differential equations, Hybrid system models provide an expressive formalism for describing software systems that interact with a physical environment. Automatically checking properties, such as invariance and stability, is extremely hard for general hybrid models, and …
-
Sensitivity analysis of oscillating hybrid systems
Many models of physical systems oscillate periodically and exhibit both discrete-state and continuous-state dynamics. These systems are called oscillating hybrid systems and find applications in diverse areas of science and engineering, including robotics, power systems, systems biology, and so on. …
-
Constructive global analysis of hybrid systems
Many systems of interest are dynamic systems whose behavior is determined by the interaction of continuous and discrete dynamics. These systems typically contain variables or signals that take values from a continuous set and also variables that take values from a discrete, typically finite set. …
-
Decomposition of stability proofs for hybrid systems
Hybride Systeme dienen der Beschreibung der Interaktion von zeitkontinuierlichem und zeitdiskretem Verhalten, wie sie beispielsweise in eingebetteten Systemen stattfindet. Ein Beschreibungsmittel für solche Systeme sind hybride Automatenmodelle, endliche Automaten angereichert mit …
-
State Estimation for Distributed and Hybrid Systems
… distributed estimation and estimation for hybrid systems. In the first part, an approximate distributed Kalman filter is developed. Nodes update their state estimates by linearly combining local measurements and estimates from their neighbors. This scheme allows nodes to save energy, thus …
-
Formal verification of safety-critical hybrid systems
… computer science can be used for the analysis of hybrid systems [7,14,22,37] - systems involving both discrete and continuous behavior. The motivation behind such research lies in the inherent similarity of the hierarchical and decentralized control strategies of hybrid systems and the …
-
Service-oriented design and verification of hybrid systems
Nowadays, cyber-physical systems find application in many areas. These systems consist of multiple control components that interact with each other and with the physical environment. Model-driven development methods are used to handle their complexity and to ease their development. Furthermore, …
-
Verification of Hybrid Systems using Satisfiability Modulo Theories
Embedded systems are formed by hardware and software components that interact with the physical environment and thus may be modeled as Hybrid Systems. Due to the complexity the system,there is an increasing need of automatic techniques to support the design phase, ensuring that a system behaves as …
-
Computational Methods for Optimal Control of Hybrid Systems
… aims to find algorithms for optimal control of hybrid systems and explore them in sufficient detail to be able to implement the ideas in computational tools. By hybrid systems is meant systems with interacting continuous and discrete dynamics. Code for computations has been developed in parallel …
-
Studies in hybrid systems : modeling, analysis, and control
Thesis (Sc. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1995.
-
Differential dynamic logics - automated theorem proving for hybrid systems
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equations. With the goal of developing a theoretical and practical foundation for deductive verification of hybrid systems, …
-
Making Hybrid Systems Easier to Model, Simulate, and Visualize
Specifying the behavior desired of hybrid systems requires analytical modeling of physical phenomena. Similarly, testing them requires simulation of continuous systems. While numerous tools support later stages of developing simulation codes, there is still a large gap between analytical modeling …
-
Design, Fabrication and Applications of Organic-Inorganic Hybrid Systems
… of nano to micro scale organic-inorganic hybrid particles was demonstrated. A well known “template-assisted approach” was chosen for the preparation of these hybrid particles, in which the inorganic material of interest is templated against the template particles. A series of colloidal …
-
Automatic Parallelisation of Programs onto CPU+GPU Hybrid Systems
The advent of Graphics Processing Units being used in addition to the more traditional Central Processing Units has introduced a world of complexity into software development: not only is the core programming model drastically different, but what may be efficient on a CPU may be inefficient on a …
Page 1 of 10