Formal specification of stability in hybrid control systems

Hybrid Systems III - Lecture Notes in Computer Science ◽

10.1007/bfb0020954 ◽

1996 ◽

pp. 294-303 ◽

Cited By ~ 1

Author(s):

Wang Ji ◽

He Weidong

Keyword(s):

Control Systems ◽

Formal Specification ◽

Hybrid Control ◽

Hybrid Control Systems

Download Full-text

Reachability analysis of hybrid control systems using reduced-order models

Proceedings of the 2004 American Control Conference ◽

10.23919/acc.2004.1386733 ◽

2004 ◽

Cited By ~ 5

Author(s):

Zhi Han ◽

B. Krogh

Keyword(s):

Control Systems ◽

Hybrid Control ◽

Reachability Analysis ◽

Reduced Order Models ◽

Reduced Order ◽

Hybrid Control Systems

Download Full-text

- Analysis and Design of Cyber-Physical Systems: A Hybrid Control Systems Approach

Cyber-Physical Systems ◽

10.1201/b19290-7 ◽

2015 ◽

pp. 22-51 ◽

Cited By ~ 1

Keyword(s):

Control Systems ◽

Systems Approach ◽

Hybrid Control ◽

Cyber Physical Systems ◽

Physical Systems ◽

Analysis And Design ◽

Hybrid Control Systems

Download Full-text

Smart Seismic Structures Using Semiactive and Hybrid Control Systems

Smart Structures ◽

10.1201/9781420008173.ch5 ◽

2008 ◽

pp. 237-314

Keyword(s):

Control Systems ◽

Hybrid Control ◽

Hybrid Control Systems

Download Full-text

Equivalence Checking for Hybrid Control Systems Modelled in Simulink

2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) ◽

10.1109/qrs-c.2018.00101 ◽

2018 ◽

Author(s):

Sebastian Schlesinger ◽

Paula Herber ◽

Thomas Gothel ◽

Sabine Glesner

Keyword(s):

Control Systems ◽

Hybrid Control ◽

Equivalence Checking ◽

Hybrid Control Systems

Download Full-text

Reliable implementation of hybrid control systems for advanced avionics

Lecture Notes in Computer Science - Hybrid Systems IV ◽

10.1007/bfb0031557 ◽

1997 ◽

pp. 93-112 ◽

Cited By ~ 4

Keyword(s):

Control Systems ◽

Hybrid Control ◽

Hybrid Control Systems

Download Full-text

Hierarchical hybrid control systems

Control Using Logic-Based Switching - Lecture Notes in Control and Information Sciences ◽

10.1007/bfb0036082 ◽

2006 ◽

pp. 39-48 ◽

Cited By ~ 10

Author(s):

Peter E. Caines ◽

Yuan-Jun Wei

Keyword(s):

Control Systems ◽

Hybrid Control ◽

Hybrid Control Systems

Download Full-text

The Supervision of Hybrid Control Systems – A Layered Architecture

Computer Aided Systems Theory - EUROCAST’99 - Lecture Notes in Computer Science ◽

10.1007/10720123_51 ◽

2000 ◽

pp. 573-587

Author(s):

Virginia Ecaterina Oltean ◽

Theodor Borangiu ◽

Miticǎ Manu

Keyword(s):

Control Systems ◽

Hybrid Control ◽

Layered Architecture ◽

Hybrid Control Systems

Download Full-text

Hybrid Control Systems

10.1007/springerreference_60448 ◽

2011 ◽

Keyword(s):

Control Systems ◽

Hybrid Control ◽

Hybrid Control Systems

Download Full-text

Extracting discrete event system models from hybrid control systems

Proceedings of 8th IEEE International Symposium on Intelligent Control ◽

10.1109/isic.1993.397697 ◽

2002 ◽

Cited By ~ 4

Author(s):

J.A. Stiver ◽

P.J. Antsaklis

Keyword(s):

Control Systems ◽

Hybrid Control ◽

Discrete Event ◽

Discrete Event System ◽

System Models ◽

Event System ◽

Hybrid Control Systems

Download Full-text

Interface and controller design for hybrid control systems

Hybrid Systems II - Lecture Notes in Computer Science ◽

10.1007/3-540-60472-3_24 ◽

1995 ◽

pp. 462-492 ◽

Cited By ~ 14

Author(s):

James A. Stiver ◽

Panos J. Antsaklis ◽

Michael D. Lemmon

Keyword(s):

Control Systems ◽

Controller Design ◽

Hybrid Control ◽

Hybrid Control Systems

Download Full-text