A survey of modeling and control of hybrid systems

Labinaz, G.; Bayoumi, M.M.; Rudie, Karen

doi:10.1016/s1367-5788(97)00019-9

Cited by 87 publications

(6 citation statements)

References 25 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Switching between discrete modes can be random, timed, or guarded by some state-based condition. Hybrid systems have a range of uses; therefore, there are several different ways to model them [28]. Two of the most common ways depend on the more interesting control interface for the system; hybrid automata are focused on the discrete mode switching whereas other hybrid systems, sometimes called ODE models, are focused on the continuous dynamics in the discrete modes.…”

Section: Linear Hybrid Automatamentioning

confidence: 99%

Bisimulation conversion and verification procedure for goal-based control systems

Braman

Murray

2010

Form Methods Syst Des

View full text Add to dashboard Cite

Fault tolerance and safety verification of control systems are essential for the success of autonomous robotic systems. A control architecture called Mission Data System (MDS), developed at the Jet Propulsion Laboratory, addresses these needs with a goal-based control approach. In this paper, a software algorithm for converting goal network control systems into linear hybrid systems is described. The conversion process is a bisimulation; the resulting linear hybrid system can be verified for safety in the presence of failures using existing symbolic model checkers, and thus the original goal network is verified. A moderately complex example goal network control system is converted to a linear hybrid system using the automatic conversion software that is based on the bisimulation and then is verified.

show abstract

Section: Linear Hybrid Automatamentioning

confidence: 99%

Bisimulation conversion and verification procedure for goal-based control systems

Braman

Murray

2010

Form Methods Syst Des

View full text Add to dashboard Cite

show abstract

“…For example, an assembly process involves time-driven dynamics and event-driven transitions such as control of robots and occurrence of collisions. Due to the significance in theory and application, the area of hybrid systems involves a number of disciplines, including engineering, computer science and mathematics (Labinaz et al 1997).…”

Section: Introductionmentioning

confidence: 99%

A framework of fuzzy hybrid systems for modelling and control

Cheng

Dong

Pedrycz

2010

International Journal of General Systems

View full text Add to dashboard Cite

This paper presents a new approach to modelling and control of hybrid systems with both continuous variables and discrete events. Applying the fuzzy set theory, a hierarchical fuzzy hybrid structure consisting of a fuzzy discrete event dynamic system and a continuous variable dynamic system is constructed, which not only captures the hybrid continuous/discrete dynamics but also handles the uncertainties in states and state transitions. The identification of continuous and discrete components is developed, and the hybrid control is then synthesised by fuzzy IF -THEN rules embedded in the fuzzy interface. An example of the optimisation of a production line in manufacturing shows the efficacy of the proposed approach.

show abstract

“…Dynamical systems are usually treated as continuous-time systems different from systems described by discrete events [6]. Nevertheless the need of involving both behaviors to fully capture the dynamic evolution of highly non-linear systems [4][5] [7] has led in the past two decades the study (e.g.…”

Section: Introductionmentioning

confidence: 99%

Mathematical modelling on Hybrid Dynamical Systems: An application to the bouncing ball and a two-tanks system

Manrique

Patino

2010

2010 Ieee Andescon

View full text Add to dashboard Cite

Mathematical modeling of Hybrid Dynamical Systems (HDS) aims for describing in a more complete formulation those behaviors composed by discrete and continuous dynamics. This article develops a detailed mathematical description of two systems which exhibit a hybrid behavior through two different models widely known in the HDS theory: The Switched systems and the Hybrid automaton. In addition, some differences and similarities between them are highlighted.Keywords-hybrid dynamical system, switched systems, hybrid automaton, bouncing ball, Two-tanks systems.

show abstract

A survey of modeling and control of hybrid systems

Cited by 87 publications

References 25 publications

Bisimulation conversion and verification procedure for goal-based control systems

Bisimulation conversion and verification procedure for goal-based control systems

A framework of fuzzy hybrid systems for modelling and control

Mathematical modelling on Hybrid Dynamical Systems: An application to the bouncing ball and a two-tanks system

Contact Info

Product

Resources

About