Programmable timed Petri nets in the analysis and design of hybrid control systems

Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171) ◽

10.1109/cdc.1998.758524 ◽

2002 ◽

Author(s):

N.D. Koutsoukos ◽

P.J. Antsaklis ◽

K.X. He ◽

M.D. Lemmon

Keyword(s):

Control Systems ◽

Hybrid Control ◽

Timed Petri Nets ◽

Analysis And Design ◽

Hybrid Control Systems

Download Full-text

Hybrid Control Systems Using Timed Petri Nets: Supervisory Control Design Based on Invariant Properties

Hybrid Systems V - Lecture Notes in Computer Science ◽

10.1007/3-540-49163-5_8 ◽

1999 ◽

pp. 142-162 ◽

Author(s):

Xenofon D. Koutsoukos ◽

Panos J. Antsaklis

Keyword(s):

Control Systems ◽

Supervisory Control ◽

Hybrid Control ◽

Control Design ◽

Timed Petri Nets ◽

Hybrid Control Systems ◽

Invariant Properties

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 ◽

Keyword(s):

Control Systems ◽

Systems Approach ◽

Hybrid Control ◽

Cyber Physical Systems ◽

Physical Systems ◽

Analysis And Design ◽

Hybrid Control Systems

Download Full-text

PWM hybrid control systems: averaging tools for analysis and design

2010 IEEE International Conference on Control Applications ◽

10.1109/cca.2010.5611330 ◽

2010 ◽

Author(s):

Andrew R. Teel ◽

Dragan Nesic

Keyword(s):

Control Systems ◽

Hybrid Control ◽

Analysis And Design ◽

Hybrid Control Systems

Download Full-text

Modeling and simulation of hybrid control systems by Global Petri Nets

Proceedings of ISCAS'95 - International Symposium on Circuits and Systems ◽

10.1109/iscas.1995.519912 ◽

2002 ◽

Author(s):

M. Rezai ◽

M.R. Ito ◽

P.D. Lawrence

Keyword(s):

Modeling And Simulation ◽

Control Systems ◽

Hybrid Control ◽

Hybrid Control Systems

Download Full-text

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

Cyber-Physical Systems ◽

10.1201/b19290-3 ◽

2015 ◽

pp. 3-31 ◽

Author(s):

Ricardo Sanfelice

Keyword(s):

Control Systems ◽

Systems Approach ◽

Hybrid Control ◽

Cyber Physical Systems ◽

Physical Systems ◽

Analysis And Design ◽

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 ◽

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

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 ◽

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 ◽

Author(s):

Peter E. Caines ◽

Yuan-Jun Wei

Keyword(s):

Control Systems ◽

Hybrid Control ◽

Hybrid Control Systems

Download Full-text