Formal approach to compute hybrid automata models for linear physical systems with switches

Buisson, Jean; Cormerais, Hervé; Zainea, Marius; Guéguen, Hervé; Godoy, Emmanuel

doi:10.1109/cacsd.2004.1393849

Cited by 7 publications

(5 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…27. It includes an additional Sw field, which represents the ideal switching components [5,20,21]. The latter behave in the same way as the sources (hence the sign convention for the associated power flow).…”

Section: Generic Switching Bond Graphmentioning

confidence: 99%

“…This assumption, though unproved, can be experimentally verified by the observation of any electrical switching circuit. Thus, in (20) is integrated a non impulsive function on a zero duration, which provides a zero result, hence property (21) which expresses the continuity of X 1j at commutation time.…”

Section: Simulation Model For a Single Mode Of Operationmentioning

confidence: 99%

“…In order to get a simulation model of the system, the different modes of operation have to be treated separately. Indeed, because the dynamics of each mode is given by a different set of differential equations, each mode will be assigned a different continuous-time state-space model [20,21].…”

Section: Simulation Model For a System With Multiple Modesmentioning

confidence: 99%

See 2 more Smart Citations

Bond graph modelling of hard nonlinearities in mechanics: A hybrid approach

Richard

Morarescu

Buisson

2008

Nonlinear Analysis: Hybrid Systems

Self Cite

View full text Add to dashboard Cite

Section: Generic Switching Bond Graphmentioning

confidence: 99%

Section: Simulation Model For a Single Mode Of Operationmentioning

confidence: 99%

See 1 more Smart Citation

Bond graph modelling of hard nonlinearities in mechanics: A hybrid approach

Richard

Morarescu

Buisson

2008

Nonlinear Analysis: Hybrid Systems

Self Cite

View full text Add to dashboard Cite

“…Proposition 6 [22], [23]: To cross the arc A, the variables must satisfy the guard conditions, which can be expressed according to the variables of the target mode and those of the source mode, or conditions on the invariants. These conditions are given by equation (22). This system consists of:…”

Section: Hybrid Automatonmentioning

confidence: 99%

Structural Controllability of Switched Linear Singular Systems Modelled by Bond Graph

Bendaoud¹,

Hihi

Faitah

2018

JERA

View full text Add to dashboard Cite

In this paper the modelling and controllability of switched linear singular systems (SLSS) are investigated. First a procedure to draw a hybrid automaton using bond graph approach is proposed. Then, graphical methods are derived in order to determine different conditions for the structural R-I-C-controllability of SLSS systems. These methods are based on simple causal paths and causal manipulations on the switching bond graph model.

show abstract

“…One class of PSS is composed of a continuous process controlled by an energy modulator that has a finite number of configurations. A hydraulic cylinder controlled by an on/off valve or a heating resistor connected to a contactor are some examples that belong to this class of PSS [2].…”

Section: Introductionmentioning

confidence: 99%

Permanent Magnet Synchronous Machine Hybrid Torque Control

Morel

Rétif

Lin-Shi

et al. 2008

IEEE Trans. Ind. Electron.

View full text Add to dashboard Cite

Abstract-This paper presents a control scheme suitable for systems composed of a continuous process modulated in energy by a power converter with a finite number of topologies. To track the continuous reference values, a topology of the power converter is determined from a criterion based on a process state variable model and taking into account the possible topologies of the power converter. The proposed hybrid control scheme is applied to an electrical motor drive composed of an inverter coupled to a permanent magnet synchronous machine. An evolution which insures a fixed modulation frequency is also proposed. Experimental results validate the feasibility and effectiveness of the proposed schemes.Index Terms-Direct control, hybrid dynamic systems, permanent magnet synchronous machine (PMSM), physical systems with switches (PSS).

show abstract

Formal approach to compute hybrid automata models for linear physical systems with switches

Cited by 7 publications

References 8 publications

Bond graph modelling of hard nonlinearities in mechanics: A hybrid approach

Bond graph modelling of hard nonlinearities in mechanics: A hybrid approach

Structural Controllability of Switched Linear Singular Systems Modelled by Bond Graph

Permanent Magnet Synchronous Machine Hybrid Torque Control

Contact Info

Product

Resources

About