Modeling and analysis of switched-mode hybrid systems driven by threshold events

Proceedings of Workshop on Advances in Control and its Applications - Lecture Notes in Control and Information Sciences ◽

10.1007/bfb0027705 ◽

2005 ◽

pp. 155-172 ◽

Cited By ~ 2

Author(s):

T. Niinomi ◽

B. H. Krogh

Keyword(s):

Hybrid Systems ◽

Modeling And Analysis

Download Full-text

Modeling and analysis of hybrid systems: a new approach integrating Petri nets and differential equations

Proceedings of 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems ◽

10.1109/wpdrts.1997.637985 ◽

2002 ◽

Cited By ~ 3

Author(s):

G. Nenninger ◽

V. Krebs

Keyword(s):

Differential Equations ◽

Petri Nets ◽

Hybrid Systems ◽

New Approach ◽

Modeling And Analysis

Download Full-text

Modeling and analysis of cell differentiation using hybrid systems

Proceedings of the 2010 American Control Conference ◽

10.1109/acc.2010.5530837 ◽

2010 ◽

Author(s):

M Kamgarpour ◽

C Tomlin

Keyword(s):

Cell Differentiation ◽

Hybrid Systems ◽

Modeling And Analysis

Download Full-text

Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships?

Science of Computer Programming ◽

10.1016/j.scico.2014.06.010 ◽

2015 ◽

Vol 99 ◽

pp. 95-127 ◽

Cited By ~ 2

Author(s):

Muhammad Fadlisyah ◽

Peter Csaba Ölveczky ◽

Erika Ábrahám

Keyword(s):

Hybrid Systems ◽

Formal Modeling ◽

Modeling And Analysis

Download Full-text

Modeling and analysis of networked control systems using stochastic hybrid systems

Annual Reviews in Control ◽

10.1016/j.arcontrol.2014.09.001 ◽

2014 ◽

Vol 38 (2) ◽

pp. 155-170 ◽

Cited By ~ 31

Author(s):

João P. Hespanha

Keyword(s):

Control Systems ◽

Hybrid Systems ◽

Networked Control Systems ◽

Networked Control ◽

Stochastic Hybrid Systems ◽

Modeling And Analysis

Download Full-text

Modeling and analysis of hybrid systems: examples

Proceedings of the 1991 IEEE International Symposium on Intelligent Control ◽

10.1109/isic.1991.187366 ◽

2002 ◽

Cited By ~ 31

Author(s):

K.M. Passino ◽

U. Ozguner

Keyword(s):

Hybrid Systems ◽

Modeling And Analysis

Download Full-text

Modeling and Analysis of DC Microgrids as Stochastic Hybrid Systems

IEEE Transactions on Power Electronics ◽

10.1109/tpel.2021.3055456 ◽

2021 ◽

pp. 1-1

Author(s):

Jacob A. Mueller ◽

Jonathan W. Kimball

Keyword(s):

Hybrid Systems ◽

Stochastic Hybrid Systems ◽

Modeling And Analysis ◽

Dc Microgrids

Download Full-text

Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-24690-6_29 ◽

2011 ◽

pp. 415-430 ◽

Cited By ~ 4

Author(s):

Muhammad Fadlisyah ◽

Peter Csaba Ölveczky ◽

Erika Ábrahám

Keyword(s):

Hybrid Systems ◽

Object Oriented ◽

Formal Modeling ◽

Modeling And Analysis

Download Full-text

Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination

FM’99 — Formal Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-48119-2_14 ◽

1999 ◽

pp. 212-232 ◽

Cited By ~ 7

Author(s):

R. Alur ◽

J. Esposito ◽

M. Kim ◽

V. Kumar ◽

I. Lee

Keyword(s):

Hybrid Systems ◽

Formal Modeling ◽

Modeling And Analysis ◽

Multi Robot

Download Full-text

Condition/event signal interfaces for block diagram modeling and analysis of hybrid systems

Proceedings of 8th IEEE International Symposium on Intelligent Control ◽

10.1109/isic.1993.397717 ◽

2002 ◽

Cited By ~ 8

Author(s):

B. Krogh

Keyword(s):

Hybrid Systems ◽

Block Diagram ◽

Modeling And Analysis

Download Full-text

Hybrid systems and control with fractional dynamics (I): Modeling and analysis

ICFDA'14 International Conference on Fractional Differentiation and Its Applications 2014 ◽

10.1109/icfda.2014.6967397 ◽

2014 ◽

Cited By ~ 1

Author(s):

S. Hassan HosseinNia ◽

Ines Tejado ◽

Blas M. Vinagre

Keyword(s):

Hybrid Systems ◽

Fractional Dynamics ◽

Modeling And Analysis ◽

Systems And Control ◽

And Control

Download Full-text