Academic literature on the topic 'Hybrid dynamical system'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Hybrid dynamical system.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Hybrid dynamical system"

1

Mhamdi, Lotfi, Lobna Belkacem, Hedi Dhouibi, and Zineb Simeu Abazi. "Using Hybrid Automata for Diagnosis of Hybrid Dynamical Systems." International Journal of Electrical and Computer Engineering (IJECE) 5, no. 6 (December 1, 2015): 1396. http://dx.doi.org/10.11591/ijece.v5i6.pp1396-1406.

Full text
Abstract:
Physical systems can fail. For this reason the problem of identifying and reacting to faults has received a large attention in the control and computer science communities. In this paper we study the fault diagnosis problem and modeling of Hybrid Dynamical Systems (HDS). Generally speaking, HDS is a system mixing continuous and discrete behaviors that cannot be faithfully modeled neither by using formalism with continuous dynamics only nor by a formalism including only discrete dynamics. We use the well known framework of hybrid automata for modeling hybrid systems, because they combine the continous and discretes parts on the same structure. Hybrid automaton is a states-transitions graph, whose dynamic evolution is represented by discretes and continous steps alternations, also, continous evolution happens in the automaton apexes, while discrete evolution is realized by transitions crossing (arcs) of the graph. Their simulation presents many problems mainly the synchronisation between the two models. Stateflow, used to describe the discrete model, is co-ordinated with Matlab, used to describe the continuous model. This article is a description of a case study, which is a two tanks system.
APA, Harvard, Vancouver, ISO, and other styles
2

Runolfsson, Thordur. "Towards hybrid system modeling of uncertain complex dynamical systems." Nonlinear Analysis: Hybrid Systems 2, no. 2 (June 2008): 383–93. http://dx.doi.org/10.1016/j.nahs.2006.05.004.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Kositsky, M., A. Karniel, S. Alford, K. M. Fleming, and F. A. Mussa-Ivaldi. "Dynamical dimension of a hybrid neurorobotic system." IEEE Transactions on Neural Systems and Rehabilitation Engineering 11, no. 2 (June 2003): 155–59. http://dx.doi.org/10.1109/tnsre.2003.814444.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

ZHANG, GUOFENG, GUANRONG CHEN, TONGWEN CHEN, and MARÌA BELÉN D'AMICO. "DYNAMICAL ANALYSIS OF A NETWORKED CONTROL SYSTEM." International Journal of Bifurcation and Chaos 17, no. 01 (January 2007): 61–83. http://dx.doi.org/10.1142/s0218127407017173.

Full text
Abstract:
A new network data transmission strategy was proposed in [Zhang & Chen, 2005], where the resulting nonlinear system was analyzed and the effectiveness of the transmission strategy was demonstrated via simulations. In this paper, we further generalize the results of Zhang and Chen [2005] in the following ways: (1) Construct first-return maps of the nonlinear systems formulated in [Zhang & Chen, 2005] and derive several existence conditions of periodic orbits and study their properties. (2) Formulate the new system as a hybrid system, which will ease the succeeding analysis. (3) Prove that this type of hybrid systems is not structurally stable based on phase transition which can be applied to higher-dimensional cases effortlessly. (4) Simulate a higher-dimensional model with emphasis on their rich dynamics. (5) Study a class of continuous-time hybrid systems as the counterparts of the discrete-time systems discussed above. (6) Propose new controller design methods based on this network data transmission strategy to improve the performance of each individual system and the whole network. We hope that this research and the problems posed here will rouse the interest of researchers in such fields as control, dynamical systems and numerical analysis.
APA, Harvard, Vancouver, ISO, and other styles
5

Haddad, Wassim M., and Vijaysekhar Chellaboina. "Dissipativity theory and stability of feedback interconnections for hybrid dynamical systems." Mathematical Problems in Engineering 7, no. 4 (2001): 299–335. http://dx.doi.org/10.1155/s1024123x01001661.

Full text
Abstract:
In this paper we develop a unified dynamical systems framework for a general class of systems possessing left-continuous flows; that is, left-continuous dynamical systems. These systems are shown to generalize virtually all existing notions of dynamical systems and include hybrid, impulsive, and switching dynamical systems as special cases. Furthermore, we generalize dissipativity, passivity, and nonexpansivity theory to left-continuous dynamical systems. Specifically, the classical concepts of system storage functions and supply rates are extended to left-continuous dynamical systems providing a generalized hybrid system energy interpretation in terms of stored energy, dissipated energy over the continuous-time dynamics, and dissipated energy over the resetting events. Finally, the generalized dissipativity notions are used to develop general stability criteria for feedback interconnections of left-continuous dynamical systems. These results generalize the positivity and small gain theorems to the case of left-continuous, hybrid, and impulsive dynamical systems.
APA, Harvard, Vancouver, ISO, and other styles
6

Mangan, N. M., T. Askham, S. L. Brunton, J. N. Kutz, and J. L. Proctor. "Model selection for hybrid dynamical systems via sparse regression." Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 475, no. 2223 (March 2019): 20180534. http://dx.doi.org/10.1098/rspa.2018.0534.

Full text
Abstract:
Hybrid systems are traditionally difficult to identify and analyse using classical dynamical systems theory. Moreover, recently developed model identification methodologies largely focus on identifying a single set of governing equations solely from measurement data. In this article, we develop a new methodology, Hybrid-Sparse Identification of Nonlinear Dynamics, which identifies separate nonlinear dynamical regimes, employs information theory to manage uncertainty and characterizes switching behaviour. Specifically, we use the nonlinear geometry of data collected from a complex system to construct a set of coordinates based on measurement data and augmented variables. Clustering the data in these measurement-based coordinates enables the identification of nonlinear hybrid systems. This methodology broadly empowers nonlinear system identification without constraining the data locally in time and has direct connections to hybrid systems theory. We demonstrate the success of this method on numerical examples including a mass–spring hopping model and an infectious disease model. Characterizing complex systems that switch between dynamic behaviours is integral to overcoming modern challenges such as eradication of infectious diseases, the design of efficient legged robots and the protection of cyber infrastructures.
APA, Harvard, Vancouver, ISO, and other styles
7

El Guezar, Fatima, and Hassane Bouzahir. "Chaotic Behavior in a Switched Dynamical System." Modelling and Simulation in Engineering 2008 (2008): 1–6. http://dx.doi.org/10.1155/2008/798395.

Full text
Abstract:
We present a numerical study of an example of piecewise linear systems that constitute a class of hybrid systems. Precisely, we study the chaotic dynamics of the voltage-mode controlled buck converter circuit in an open loop. By considering the voltage input as a bifurcation parameter, we observe that the obtained simulations show that the buck converter is prone to have subharmonic behavior and chaos. We also present the corresponding bifurcation diagram. Our modeling techniques are based on the new French native modeler and simulator for hybrid systems called Scicos (Scilab connected object simulator) which is a Scilab (scientific laboratory) package. The followed approach takes into account the hybrid nature of the circuit.
APA, Harvard, Vancouver, ISO, and other styles
8

Vošček, Dominik, Anna Jadlovská, and Dominik Grigl’ák. "Modelling, analysis and control design of hybrid dynamical systems." Journal of Electrical Engineering 70, no. 3 (June 1, 2019): 176–86. http://dx.doi.org/10.2478/jee-2019-0026.

Full text
Abstract:
Abstract This paper introduces a methodology for one of the challenges regarding cyber-physical systems, ie modelling and control design them as hybrid systems. The proposed methodology comprises modules with specific steps to accomplish the tasks. Specifically, the paper aims to utilize hybrid systems framework onto the chosen hydraulic hybrid system with complex dynamics to showcase different aspects of hybrid systems. The mathematical model was derived using hybrid automata framework and then transformed into the linear form either using Jacobi matrices or using linear approximations without Jacobi matrices. After that the system was validated and analysed and the control design utilizing piecewise linear-quadratic regulator optimal control was proposed. Furthermore, parameters of control algorithm were tuned using particle swarm optimization algorithm. The whole logic, system dynamics and constrains are implemented within MATLAB/Simulink simulation environment using s -functions. The proposed methodology can be implemented on the various types of cyber-physical systems as far as they can be described as hybrid systems.
APA, Harvard, Vancouver, ISO, and other styles
9

Peters, Karsten, and Ulrich Parlitz. "Hybrid Systems Forming Strange Billiards." International Journal of Bifurcation and Chaos 13, no. 09 (September 2003): 2575–88. http://dx.doi.org/10.1142/s0218127403008090.

Full text
Abstract:
Hybrid dynamical systems consist of piecewise defined continuous time evolution processes interfaced with some logical or decision making process. These switches between different evolutions are triggered if the continuous state of the system reaches thresholds in state space. In the present work we investigate hybrid systems forming a special type of dynamical systems, so-called strange billiards. They show a rich variety of dynamical behavior including some unusual bifurcations and chaos, even if the continuous part of the system evolution is just linear. By means of Poincaré map techniques we discuss different dynamical behaviors. Applications to the simulation of manufacturing systems and consequences for their dynamical behavior are outlined.
APA, Harvard, Vancouver, ISO, and other styles
10

Hui, Qing. "Hybrid consensus protocols: an impulsive dynamical system approach." International Journal of Control 83, no. 6 (May 19, 2010): 1107–16. http://dx.doi.org/10.1080/00207171003586922.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Hybrid dynamical system"

1

Gil, Gibin. "Hybrid Numerical Integration Scheme for Highly Oscillatory Dynamical Systems." Diss., The University of Arizona, 2013. http://hdl.handle.net/10150/306771.

Full text
Abstract:
Computational efficiency of solving the dynamics of highly oscillatory systems is an important issue due to the requirement of small step size of explicit numerical integration algorithms. A system is considered to be highly oscillatory if it contains a fast solution that varies regularly about a slow solution. As for multibody systems, stiff force elements and contacts between bodies can make a system highly oscillatory. Standard explicit numerical integration methods should take a very small step size to satisfy the absolute stability condition for all eigenvalues of the system and the computational cost is dictated by the fast solution. In this research, a new hybrid integration scheme is proposed, in which the local linearization method is combined with a conventional integration method such as the fourth-order Runge-Kutta. In this approach, the system is partitioned into fast and slow subsystems. Then, the two subsystems are transformed into a reduced and a boundary-layer system using the singular perturbation theory. The reduced system is solved by the fourth-order Runge-Kutta method while the boundary-layer system is solved by the local linearization method. This new hybrid scheme can handle the coupling between the fast and the slow subsystems efficiently. Unlike other multi-rate or multi-method schemes, extrapolation or interpolation process is not required to deal with the coupling between subsystems. Most of the coupling effect can be accounted for by the reduced (or quasi-steady-state) system while the minor transient effect is taken into consideration by averaging. In this research, the absolute stability region for this hybrid scheme is derived and it is shown that the absolute stability region is almost independent of the fast variables. Thus, the selection of the step size is not dictated by the fast solution when a highly oscillatory system is solved, in turn, the computational efficiency can be improved. The advantage of the proposed hybrid scheme is validated through several dynamic simulations of a vehicle system including a flexible tire model. The results reveal that the hybrid scheme can reduce the computation time of the vehicle dynamic simulation significantly while attaining comparable accuracy.
APA, Harvard, Vancouver, ISO, and other styles
2

Nersesov, Sergey G. "Nonlinear Impulsive and Hybrid Dynamical Systems." Diss., Georgia Institute of Technology, 2005. http://hdl.handle.net/1853/7147.

Full text
Abstract:
Modern complex dynamical systems typically possess a multiechelon hierarchical hybrid structure characterized by continuous-time dynamics at the lower-level units and logical decision-making units at the higher-level of hierarchy. Hybrid dynamical systems involve an interacting countable collection of dynamical systems defined on subregions of the partitioned state space. Thus, in addition to traditional control systems, hybrid control systems involve supervising controllers which serve to coordinate the (sometimes competing) actions of the lower-level controllers. A subclass of hybrid dynamical systems are impulsive dynamical systems which consist of three elements, namely, a continuous-time differential equation, a difference equation, and a criterion for determining when the states of the system are to be reset. One of the main topics of this dissertation is the development of stability analysis and control design for impulsive dynamical systems. Specifically, we generalize Poincare's theorem to dynamical systems possessing left-continuous flows to address the stability of limit cycles and periodic orbits of left-continuous, hybrid, and impulsive dynamical systems. For nonlinear impulsive dynamical systems, we present partial stability results, that is, stability with respect to part of the system's state. Furthermore, we develop adaptive control framework for general class of impulsive systems as well as energy-based control framework for hybrid port-controlled Hamiltonian systems. Extensions of stability theory for impulsive dynamical systems with respect to the nonnegative orthant of the state space are also addressed in this dissertation. Furthermore, we design optimal output feedback controllers for set-point regulation of linear nonnegative dynamical systems. Another main topic that has been addressed in this research is the stability analysis of large-scale dynamical systems. Specifically, we extend the theory of vector Lyapunov functions by constructing a generalized comparison system whose vector field can be a function of the comparison system states as well as the nonlinear dynamical system states. Furthermore, we present a generalized convergence result which, in the case of a scalar comparison system, specializes to the classical Krasovskii-LaSalle invariant set theorem. Moreover, we develop vector dissipativity theory for large-scale dynamical systems based on vector storage functions and vector supply rates. Finally, using a large-scale dynamical systems perspective, we develop a system-theoretic foundation for thermodynamics. Specifically, using compartmental dynamical system energy flow models, we place the universal energy conservation, energy equipartition, temperature equipartition, and entropy nonconservation laws of thermodynamics on a system-theoretic basis.
APA, Harvard, Vancouver, ISO, and other styles
3

Kawashima, Hiroaki. "Interval-Based Hybrid Dynamical System for Modeling Dynamic Events and Structures." 京都大学 (Kyoto University), 2007. http://hdl.handle.net/2433/68896.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Sobotka, Marion. "Hybrid dynamical system methods for legged robot locomotion with variable ground contact." [S.l.] : [s.n.], 2007. http://mediatum2.ub.tum.de/doc/619220/document.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Etienne, Lucien. "Eléments d'observation et d'estimation pour les systèmes contrôlés en réseaux." Thesis, Cergy-Pontoise, 2016. http://www.theses.fr/2016CERG0853/document.

Full text
Abstract:
Les systèmes de contrôle en réseau sont un champ actif de recherche, où les différentes composantes du réseau sont spatialement distribué et tentent d'atteindre un objectif global. Ils apparaissent naturellement lors l'interaction d'un système piloté par ordinateur avec le monde physique.Avec les systèmes de contrôle en réseau une classe connexe des systèmes est décrit par les systèmes Cyber-physique, où les capacités de calcul embarqué peuvent interagir avec le monde physique.Dans ce travail, nous allons considérer la tâche classique d'observation et d'estimation et étudier les cas où les contraintes induite par le réseau nécessite une adaptation des mécanismes classique d'observation et d'estimation.Dans les système de contrôle en raison de limitation des capteurs (pour des raisons pratiques telles que la réduction des coûts) certains états ou paramètre du système ne sont pas connus. Dans ce contexte, la notion classique d'observabilitéexprime la capacité de déduire de la mesure les valeurs d'intérêt.Premièrement nous considérons le problème de la réduction de l'échantillonnage par l'utilisation de échantillonnage événementiel et ce pour plusieurs classes de systèmes. Ensuite, une procédure d'estimation et de contrôle sera proposé pour résoudre le problème du consensus dans un système multi-agent.Considérant enfin une dynamique de véhicule plus complexe, nous nous concentrons sur l'estimation du coefficient de frottement de la route pour résoudre un problème de suivi
Network control systems is an active field of study where interacting component spatially distributed try to achieve a global goal. They naturally emerge from the interaction of computer driven mechanism and the physical world.Along with network control system a related class of systems is described by the so called: Cyber-physical systems, where integrated physical computational capabilities can interact.In this work we will consider the classical task of observation and estimation and investigate cases where network induced constraint calls for adapted observation and estimation scheme.In control system due to limitation in sensors ( for practical reason such as cost reduction) all the value of interest (whether the some unmeasured state or unknown parameter)are unknown. The classical notion of observabilityaccount for the ability to deduce from measurement those value of interest.First sampling reduction by use of event trigger will be studied for several class of systems. Then an estimation and control scheme will be establish to solve the problem of consensus in a multi agents system.Finally considering a more complex vehicle dynamic we focus on the estimation of tire road friction coefficient to solve a tracking problem
APA, Harvard, Vancouver, ISO, and other styles
6

OKUMA, Shigeru, Tatsuya SUZUKI, and Eiji KONAKA. "Safety Verification of Material Handling Systems Driven by Programmable Logic Controller : Consideration of Physical Behavior of Plants." Institute of Electronics, Information and Communication Engineers, 2004. http://hdl.handle.net/2237/14987.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Hashemi, Nastaran. "Exploring the Nonlinear Dynamics of Tapping Mode Atomic Force Microscopy with Capillary Layer Interactions." Diss., Virginia Tech, 2008. http://hdl.handle.net/10919/28112.

Full text
Abstract:
Central to tapping mode atomic force microscopy is an oscillating cantilever whose tip interacts with a sample surface. The tip-surface interactions are strongly nonlinear, rapidly changing, and hysteretic. We explore numerically a lumped-mass model that includes attractive, adhesive, and repulsive contributions as well as the interaction of the capillary fluid layers that cover both tip and sample in the ambient conditions common in experiment. To accomplish this, we have developed and used numerical techniques specifically tailored for discontinuous, nonlinear, and hysteretic dynamical systems. In particular, we use forward-time simulation with event handling and the numerical pseudo-arclength continuation of periodic solutions. We first use these numerical approaches to explore the nonlinear dynamics of the cantilever. We find the coexistence of three steady state oscillating solutions: (i) periodic with low-amplitude, (ii) periodic with high-amplitude, and (iii) high-periodic or irregular behavior. Furthermore, the branches of periodic solutions are found to end precisely where the cantilever comes into grazing contact with event surfaces in state space corresponding to the onset of capillary interactions and the onset of repulsive forces associated with surface contact. Also, the branches of periodic solutions are found to be separated by windows of irregular dynamics. These windows coexist with the periodic branches of solutions and exist beyond the termination of the periodic solution. We also explore the power dissipated through the interaction of the capillary fluid layers. The source of this dissipation is the hysteresis in the conservative capillary force interaction. We relate the power dissipation with the fraction of oscillations that break the fluid meniscus. Using forward-time simulation with event handling, this is done exactly and we explore the dissipated power over a range of experimentally relevant conditions. It is found that the dissipated power as a function of the equilibrium cantilever-surface separation has a characteristic shape that we directly relate to the cantilever dynamics. We also find that despite the highly irregular cantilever dynamics, the fraction of oscillations breaking the meniscus behaves in a fairly simple manner. We have also performed a large number of forward-time simulations over a wide range of initial conditions to approximate the basins of attraction of steady oscillating solutions. Overall, the simulations show a complex pattern of high and low amplitude periodic solutions over the range of initial conditions explored. We find that for large equilibrium separations, the basin of attraction is dominated by the low-amplitude periodic solution and for the small equilibrium separations by the high-amplitude periodic solution.
Ph. D.
APA, Harvard, Vancouver, ISO, and other styles
8

Ibrahim, Faisal. "Vers un outil de simulation de la commande d'un processus dynamique hybride." Vandoeuvre-les-Nancy, INPL, 1993. http://www.theses.fr/1993INPL121N.

Full text
Abstract:
Cette thèse présente une étude de faisabilité de la validation, par simulation de l'ensemble (processus, commande), du cahier des charges du système de commande d'un processus dynamique hybride, après sa formalisation. Elle détaille le problème de la précision de détection des événements, propose une solution et donne les résultats obtenus
APA, Harvard, Vancouver, ISO, and other styles
9

Dreossi, Tommaso. "Calcul d'atteignabilité et synthèse de paramètres pour systèmes dynamiques polynomiaux." Thesis, Université Grenoble Alpes (ComUE), 2016. http://www.theses.fr/2016GREAM096.

Full text
Abstract:
Les systèmes dynamiques sont des importants modèles mathématiques utilisés pour décrire l'évolution temporelle des systèmes.Souvent, les systèmes dynamiques sont équipées avec des paramètres qui permettent les modèles de mieux saisir les caractéristiques des phénomènes abstraits. Une question importante autour des systèmes dynamiques est de déterminer formellement si un modèle (sollicité par ses paramètres) se comporte bien.Dans cette thèse, nous traitons deux questions principales concernant les systèmes dynamiques polynomiaux en temps discret:1) problème de calcul de la d'atteignabilité, i.e., étant donné un ensemble de conditions initiales et un ensemble deparamètres, calculer l'ensemble des états atteignable par le système dans un horizon de temps borné;2) le problème de la synthèse de paramètre, i.e., étant donné un ensemble de conditions initiales,un ensemble de paramètres, et une spécification, trouver l'ensemble de paramètres le plus grandtels que tous les comportements du système fixes de l'ensemble de conditions initiales satisfont la spécification.Le problème de calcul d'atteignabilité pour les systèmes dynamiques non linéaires est bien connu pour être non triviale.Des difficultés surgissent dans le traitement et la représentation des ensembles générés par les transformations non linéaires.Dans cette thèse, nous adoptons une technique courante qui consistede rapprocher les ensembles atteignable avec des ensembles complexes qui sont faciles à manipuler.Le défi est de déterminer précis sur-approximations.Nous proposons des méthodes pour rapprocher finement les images des ensembles utilisant des boîtes,parallelotopes, et une nouvelle structure appelé parallelotope bundle (ce sont des collections de parallelotopes dont les intersections représentent symboliquement polytopes). Ces techniques d'approximation sont les étapes de base de notre algorithme d'accessibilité.La synthèse des paramètres vise à déterminer les valeursdes paramètres tels que le système se comporte comme prévu. Cette fonctionnalité peut êtreutilisé, par exemple, pour régler un modèle qu'il imite la modéliséphénomène avec un niveau suffisant de précision. Les contributions de cettethèse sur le problème de synthèse de paramètres sont de deux ordres. Premièrement,nous définissons une nouvelle sémantique pour le signal logique temporelle (STL) que nous permetde formaliser une spécification et de raisonner sur des ensembles de paramètres et des flux de comportements.Deuxièmement, nous définissons un algorithme pour calculer la sémantique de synthèsed'une formule à l'encontre d'un système dynamique à temps discret. Le résultat de l'algorithmeconstitue une solution conservatrice du problème de la synthèse de paramètre.Les méthodes développées exploitent et améliorent le calcul des coefficients de Bernstein.Les techniques définies dans cette thèse ont été mises en œuvreun tool appelé Sapo. L'efficacité de notre méthode est validéepar l'application de notre tool pour plusieurs systèmes dynamiques polynomiaux
Dynamical systems are important mathematical models used to describe the temporal evolution of systems.Often dynamical systems are equipped with parameters that allow the models to better capture the characteristicsof the abstracted phenomena. An important question around dynamical systems isto formally determine whether a model (biased by its parameters) behaves well.In this thesis we deal with two main questions concerning discrete-time polynomial dynamical systems:1) the reachability computation problem, i.e, given a set of initial conditions and a set ofparameters, compute the set of states reachable by the system in a bounded time horizon;2) the parameter synthesis problem, i.e., given a set of initial conditions,a set of parameters, and a specification, find the largestset of parameters such that all the behaviors of the system staring from the set ofinitial conditions satisfy the specification.The reachability computation problem for nonlinear dynamical systems is well known for being nontrivial.Difficulties arise in handling and representing sets generated by nonlinear transformations.In this thesis we adopt a common technique that consistsin over-approximating the complex reachable sets with sets that are easy to manipulate.The challenge is to determine accurate over-approximations.We propose methods to finely over-approximate the images of sets using boxes,parallelotopes, and a new data structure called parallelotope bundles (that are collections of parallelotopeswhose intersections symbolically represent polytopes). These approximation techniquesare the basic steps of our reachability algorithm.The synthesis of parameters aims at determining the valuesof the parameters such that the system behaves as expected. This feature can beused, for instance, to tune a model so that it imitates the modeledphenomenon with a sufficient level of precision. The contributions of thisthesis concerning the parameter synthesis problem are twofold. Firstly,we define a new semantics for the Signal Temporal Logic (STL) that allows oneto formalize a specification and reason on sets of parameters and flows of behaviors.Secondly, we define an algorithm to compute the synthesis semanticsof a formula against a discrete-time dynamical system. The result of the algorithmconstitutes a conservative solution of the parameter synthesis problem.The developed methods for both reachability computation and parameter synthesisexploit and improve Bernstein coefficients computation.The techniques defined in this thesis have been implemented ina tool called Sapo. The effectiveness of our methods is validatedby the application of our tool to several polynomial dynamical systems
APA, Harvard, Vancouver, ISO, and other styles
10

Hage-Packhäuser, Sebastian [Verfasser], Michael [Akademischer Betreuer] Dellnitz, and Peter [Akademischer Betreuer] Ashwin. "Structural treatment of time-varying dynamical system networks in the light of hybrid symmetries / Sebastian Hage-Packhäuser. Betreuer: Michael Dellnitz ; Peter Ashwin." Paderborn : Universitätsbibliothek, 2012. http://d-nb.info/1036892042/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Hybrid dynamical system"

1

Matveev, Alexy S. Qualitative theory of hybrid dynamical systems. Boston: Birkhäuser, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Goebel, Rafal. Hybrid dynamical systems: Modeling, stability, and robustness. Princeton, N.J: Princeton University Press, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Savkin, Andrey V., and Robin J. Evans. Hybrid Dynamical Systems. Boston, MA: Birkhäuser Boston, 2002. http://dx.doi.org/10.1007/978-1-4612-0107-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Djemai, Mohamed, and Michael Defoort, eds. Hybrid Dynamical Systems. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-10795-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

A. J. van der Schaft. An introduction to hybrid dynamical systems. London: Springer, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Matveev, Alexey S., and Andrey V. Savkin. Qualitative Theory of Hybrid Dynamical Systems. Boston, MA: Birkhäuser Boston, 2000. http://dx.doi.org/10.1007/978-1-4612-1364-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

van der Schaft, Arjan, and Hans Schumacher. An introduction to hybrid dynamical systems. London: Springer London, 2000. http://dx.doi.org/10.1007/bfb0109998.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Leonov, Gennadiĭ Alekseevich. Dynamics and control of hybrid mechanical systems. Singapore: World Scientific, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

J, Evans Robin, ed. Hybrid dynamical systems: Controller and sensor switching problems. Boston: Birkhäuser, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Germany) International Conference on Automation of Mixed Processes (4th 2000 Dortmund. ADPM 2000 conference proceedings: The 4th International Conference on Automation of Mixed Processes : hybrid dynamic systems. Edited by Engell S. (Sebastian), Kowalewski S. (Stefan), Zaytoon J, and Universität Dortmund. Lehrstuhl für Anlagensteuerungstechnik. Aachen: Shaker, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Hybrid dynamical system"

1

Laleg-Kirati, Taous Meriem, Zehor Belkhatir, and Fernando Diaz Ledezma. "Application of Hybrid Dynamical Theory to the Cardiovascular System." In Hybrid Dynamical Systems, 315–28. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10795-0_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Manamanni, Noureddine, Mohamed Djemai, and Jean Pierre Barbot. "On the Observation Analysis and Observer Design for a Class of Hybrid Continuous-Discrete Dynamic System." In Hybrid Dynamical Systems, 129–49. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10795-0_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Neller, Todd W. "Heuristic Optimization and Dynamical System Safety Verification." In Hybrid Systems V, 251–61. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-49163-5_14.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Neller, Todd W. "Information-based optimization approaches to dynamical system safety verification." In Hybrid Systems: Computation and Control, 346–59. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-64358-3_50.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Aaron, Eric. "Hybrid System Reachability-Based Analysis of Dynamical Agents." In Innovative Concepts for Autonomic and Agent-Based Systems, 233–44. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11964995_21.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Lin, Hai, and Panos J. Antsaklis. "Robust Regulation of Polytopic Uncertain Linear Hybrid Systems with Networked Control System Applications." In Stability and Control of Dynamical Systems with Applications, 71–96. Boston, MA: Birkhäuser Boston, 2003. http://dx.doi.org/10.1007/978-1-4612-0037-6_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Hiruko, Kurumi, and Shinya Okabe. "Dynamical Aspects of a Hybrid System Describing Intermittent Androgen Suppression Therapy of Prostate Cancer." In Geometric Properties for Parabolic and Elliptic PDE's, 191–230. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-41538-3_12.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Herde, Christian. "Hybrid Dynamical Systems." In Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure, 15–35. Wiesbaden: Vieweg+Teubner, 2011. http://dx.doi.org/10.1007/978-3-8348-9949-1_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Hoffmann, Ingo, and Karsten-Ulrich Klatt. "Modeling hybrid dynamical systems." In Hybrid Systems III, 401–12. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/bfb0020963.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Petreczky, Mihaly, Aneel Tanwani, and Stephan Trenn. "Observability of Switched Linear Systems." In Hybrid Dynamical Systems, 205–40. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10795-0_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Hybrid dynamical system"

1

Hui, Qing. "Hybrid consensus protocols: An impulsive dynamical system approach." In 2009 Joint 48th IEEE Conference on Decision and Control (CDC) and 28th Chinese Control Conference (CCC). IEEE, 2009. http://dx.doi.org/10.1109/cdc.2009.5399617.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Rajaoarisoa, Lala H., and Nacer K. M'Sirdi. "Observability to the identifiability of hybrid dynamical system." In 2011 International Conference on Communications, Computing and Control Applications (CCCA). IEEE, 2011. http://dx.doi.org/10.1109/ccca.2011.6031513.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Pedersen, Niels H., Per Johansen, and Torben O. Andersen. "Four Quadrant Hybrid Control Oriented Dynamical System Model of Digital Displacement® Units." In BATH/ASME 2018 Symposium on Fluid Power and Motion Control. American Society of Mechanical Engineers, 2018. http://dx.doi.org/10.1115/fpmc2018-8874.

Full text
Abstract:
Proper feedback control of dynamical systems requires models that enables stability analysis, from where control laws may be established. Development of control oriented models for digital displacement (DD) fluid power units is complicated by the non-smooth behavior, which is considered the core reason for the greatly simplified state of the art control strategies for these machines. The DD unit comprises numerous pressure chambers in a modular construction, such that the power throughput is determined by the sequence of activated pressure chambers. The dynamics of each pressure chamber is governed by non-linear differential equations, while the binary input (active or inactive) is updated discretely as function of the shaft angle. Simple dynamical approximations based on continuous or discrete system theory is often inaccurate and is not applicable for such system when it is to operate in all four quadrants. Therefore, a method of applying hybrid dynamical system theory, comprising both continuous and discrete elements is proposed in this paper. The paper presents a physical oriented hybrid model accurately describing the machine dynamics. Since development of stabilizing control laws for hybrid dynamical systems is a complicated task, a simpler hybrid model only including the fundamental machine characteristics is beneficial. Therefore, a discussion and several proposals are made on how a simpler DD hybrid model may be established and used for feedback control development.
APA, Harvard, Vancouver, ISO, and other styles
4

Banvait, Harpreetsingh, Jianghai Hu, and Yaobin Chen. "Supervisory control of Plug-in Hybrid Electric Vehicle with hybrid dynamical system." In 2012 IEEE International Electric Vehicle Conference (IEVC). IEEE, 2012. http://dx.doi.org/10.1109/ievc.2012.6183215.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Liu, Weiyi, and Inseok Hwang. "Dynamical filtering equations for Stochastic Hybrid System state estimation." In 2012 IEEE 51st Annual Conference on Decision and Control (CDC). IEEE, 2012. http://dx.doi.org/10.1109/cdc.2012.6426843.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Kang, Wonmo, Bryan Wilcox, Harry Dankowicz, and Phanikrishna Thota. "Bifurcation Analysis of a Microactuator Using a New Toolbox for Continuation of Hybrid System Trajectories." In ASME 2007 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2007. http://dx.doi.org/10.1115/detc2007-34441.

Full text
Abstract:
This paper presents the application of a newly developed computational toolbox, TC-HAT (TCˆ), for bifurcation analysis of systems in which continuous-in-time dynamics are interrupted by discrete-in-time events, here referred to as hybrid dynamical systems. In particular, new results pertaining to the dynamic behavior of an example hybrid dynamical system, an impact microactuator, are obtained using this software program. Here, periodic trajectories of the actuator with single or multiple impacts per period and associated saddle-node, perioddoubling, and grazing bifurcation curves are documented. The analysis confirms previous analytical results regarding the presence of co-dimension-two grazing bifurcation points from which saddle-node and period-doubling bifurcation curves emanate.
APA, Harvard, Vancouver, ISO, and other styles
7

Susuki, Yoshihiko, Yu Takatsuji, and Takashi Hikihara. "Hybrid dynamical system as model for cascading outage in a power system." In 2008 40th North American Power Symposium (NAPS). IEEE, 2008. http://dx.doi.org/10.1109/naps.2008.5307356.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Saida, Mejri, Dhahri Slim, and Anis Sellami. "Actuator faults reconstruction for a class of dynamical hybrid system." In 2017 International Conference on Control, Automation and Diagnosis (ICCAD). IEEE, 2017. http://dx.doi.org/10.1109/cadiag.2017.8075664.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Eddoukali, Youssef, Elmostafa El Adel, Abdellah Benzaouia, and Mustapha Ouladsine. "Fault detection for hybrid dynamical system application to winding machine." In 2016 5th International Conference on Systems and Control (ICSC). IEEE, 2016. http://dx.doi.org/10.1109/icosc.2016.7507025.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Aghasadeghi, Navid, Andrew Long, and Timothy Bretl. "Inverse optimal control for a hybrid dynamical system with impacts." In 2012 IEEE International Conference on Robotics and Automation (ICRA). IEEE, 2012. http://dx.doi.org/10.1109/icra.2012.6225259.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Hybrid dynamical system"

1

Teel, Andrew R. Complex Dynamical Behavior in Hybrid Systems. Fort Belvoir, VA: Defense Technical Information Center, September 2012. http://dx.doi.org/10.21236/ada567122.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Perdigão, Rui A. P. Earth System Dynamic Intelligence - ESDI. Meteoceanics, April 2021. http://dx.doi.org/10.46337/esdi.210414.

Full text
Abstract:
Earth System Dynamic Intelligence (ESDI) entails developing and making innovative use of emerging concepts and pathways in mathematical geophysics, Earth System Dynamics, and information technologies to sense, monitor, harness, analyze, model and fundamentally unveil dynamic understanding across the natural, social and technical geosciences, including the associated manifold multiscale multidomain processes, interactions and complexity, along with the associated predictability and uncertainty dynamics. The ESDI Flagship initiative ignites the development, discussion and cross-fertilization of novel theoretical insights, methodological developments and geophysical applications across interdisciplinary mathematical, geophysical and information technological approaches towards a cross-cutting, mathematically sound, physically consistent, socially conscious and operationally effective Earth System Dynamic Intelligence. Going beyond the well established stochastic-dynamic, information-theoretic, artificial intelligence, mechanistic and hybrid techniques, ESDI paves the way to exploratory and disruptive developments along emerging information physical intelligence pathways, and bridges fundamental and operational complex problem solving across frontier natural, social and technical geosciences. Overall, the ESDI Flagship breeds a nascent field and community where methodological ingenuity and natural process understanding come together to shed light onto fundamental theoretical aspects to build innovative methodologies, products and services to tackle real-world challenges facing our planet.
APA, Harvard, Vancouver, ISO, and other styles
3

Teel, Andrew R., and Joao P. Hespanha. A Robust Stability and Control Theory for Hybrid Dynamical Systems. Fort Belvoir, VA: Defense Technical Information Center, September 2006. http://dx.doi.org/10.21236/ada470821.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Piyush Sabharwall, Nolan Anderson, Haihua Zhao, Shannon Bragg-Sitton, and George Mesina. Nuclear Hybrid Energy System Modeling: RELAP5 Dynamic Coupling Capabilities. Office of Scientific and Technical Information (OSTI), September 2012. http://dx.doi.org/10.2172/1058092.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Platzer, Andre. Quantified Differential Dynamic Logic for Distributed Hybrid Systems. Fort Belvoir, VA: Defense Technical Information Center, May 2010. http://dx.doi.org/10.21236/ada543550.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Park, Joon. Dynamic Hybrid Component Test for Mission-Critical Distributed Systems. Fort Belvoir, VA: Defense Technical Information Center, June 2007. http://dx.doi.org/10.21236/ada470104.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Ralph, Daniel C., David D. Awschalom, Robert A. Buhrman, Ramamoorthy Ramesh, Darrell G. Schlom, Lu J. Sham, and Stuart A. Wolf. Electrical Control of Magnetic Dynamics in Hybrid Metal-Semiconductor Systems. Fort Belvoir, VA: Defense Technical Information Center, July 2014. http://dx.doi.org/10.21236/ada610862.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Ho, Yu-Chi. Optimization and Application of Discrete Event and Hybrid Dynamic Systems. Fort Belvoir, VA: Defense Technical Information Center, August 2000. http://dx.doi.org/10.21236/ada397753.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Ho, Yu-Chi. Optimization and Applications of Discrete Event and Hybrid Dynamic Systems. Fort Belvoir, VA: Defense Technical Information Center, January 1998. http://dx.doi.org/10.21236/ada387490.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Jiang, Yuxiang. Unsettled Technology Areas in Electric Propulsion Systems. SAE International, May 2021. http://dx.doi.org/10.4271/epr2021012.

Full text
Abstract:
Electric vehicle (EV) transmission technology—crucial for battery electric vehicles (BEVs) and hybrid electric vehicles (HEVs)—is developing quickly and customers want good performance at a low cost. Single-speed gearboxes are popular in electric drive systems due to their simple and cost-effective configuration. However, multispeed gearboxes are being taken to market due to their higher low-speed torque, dynamic performance, and energy efficiency. Unsettled Technology Areas in Electric Propulsion Systems reviews the economic drivers, existing techniques, and current challenges of EV transmission technology—including torque interruption during shifting; thermal and sealing issues; and noise, vibration, and harshness (NVH). This report discusses the pros and cons for both single-speed and multispeed gearboxes with numerical analysis.
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography