Formal Analysis of Steady State Errors in Feedback Control Systems Using HOL-Light

Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013 ◽

10.7873/date.2013.290 ◽

2013 ◽

Cited By ~ 8

Author(s):

Osman Hasan ◽

Muhammad Ahmad

Keyword(s):

Steady State ◽

Feedback Control ◽

Control Systems ◽

Formal Analysis ◽

Hol Light ◽

Feedback Control Systems

Download Full-text

Analyzing the Steady-State Error of Nonunity Feedback Control Systems by the Concept of Type Number

2006 6th World Congress on Intelligent Control and Automation ◽

10.1109/wcica.2006.1712430 ◽

2006 ◽

Author(s):

ShannChyi Mou

Keyword(s):

Steady State ◽

Feedback Control ◽

Control Systems ◽

Type Number ◽

Feedback Control Systems ◽

State Error

Download Full-text

On robust steady-state performance of feedback control systems

[1992] Proceedings of the 31st IEEE Conference on Decision and Control ◽

10.1109/cdc.1992.371750 ◽

2005 ◽

Cited By ~ 5

Author(s):

K.-Z. Liu ◽

T. Mita

Keyword(s):

Steady State ◽

Feedback Control ◽

Control Systems ◽

Feedback Control Systems ◽

Steady State Performance

Download Full-text

Fault detection for output feedback control systems with actuator stuck faults: A steady-state-based approach

International Journal of Robust and Nonlinear Control ◽

10.1002/rnc.1546 ◽

2010 ◽

Vol 20 (15) ◽

pp. 1739-1757 ◽

Cited By ~ 28

Author(s):

Guang-Hong Yang ◽

Heng Wang ◽

Lihua Xie

Keyword(s):

Steady State ◽

Feedback Control ◽

Fault Detection ◽

Control Systems ◽

Output Feedback ◽

Output Feedback Control ◽

Feedback Control Systems

Download Full-text

Formal Verification of Steady-State Errors in Unity-Feedback Control Systems

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10702-8_1 ◽

2014 ◽

pp. 1-15 ◽

Cited By ~ 5

Author(s):

Muhammad Ahmad ◽

Osman Hasan

Keyword(s):

Steady State ◽

Feedback Control ◽

Formal Verification ◽

Control Systems ◽

Feedback Control Systems

Download Full-text

Quantizer effects on steady-state error specifications of digital feedback control systems

10.1109/cdc.1988.194658 ◽

2003 ◽

Author(s):

R.K. Miller ◽

A.N. Michel ◽

J.A. Farrell

Keyword(s):

Steady State ◽

Feedback Control ◽

Control Systems ◽

Feedback Control Systems ◽

State Error

Download Full-text

Quantizer effects on steady-state error specifications of digital feedback control systems

IEEE Transactions on Automatic Control ◽

10.1109/9.24241 ◽

1989 ◽

Vol 34 (6) ◽

pp. 651-654 ◽

Cited By ~ 72

Author(s):

R.K. Miller ◽

A.N. Michel ◽

J.A. Farrell

Keyword(s):

Steady State ◽

Feedback Control ◽

Control Systems ◽

Feedback Control Systems ◽

State Error

Download Full-text

On Robust Steady-State Performance of Feedback Control Systems

Transactions of the Society of Instrument and Control Engineers ◽

10.9746/sicetr1965.29.312 ◽

1993 ◽

Vol 29 (3) ◽

pp. 312-318 ◽

Cited By ~ 4

Author(s):

Kang-Zhi LIU ◽

Tsutomu MITA

Keyword(s):

Steady State ◽

Feedback Control ◽

Control Systems ◽

Feedback Control Systems ◽

Steady State Performance

Download Full-text

IEE South Midland Electronics & Control section: Chairman's address. Feedback control systems

IEE Proceedings D Control Theory and Applications ◽

10.1049/ip-d.1982.0019 ◽

1982 ◽

Vol 129 (3) ◽

pp. 100

Author(s):

R.C. Johnson

Keyword(s):

Feedback Control ◽

Control Systems ◽

Feedback Control Systems ◽

Control Section

Download Full-text

Robust Stability of Feedback Control Systems with Uncertain Parameters and Unmodelled Dynamics

10.23919/acc.1988.4790029 ◽

1988 ◽

Cited By ~ 4

Author(s):

B. R. Barmish ◽

P. P. Khargonekar

Keyword(s):

Feedback Control ◽

Control Systems ◽

Robust Stability ◽

Uncertain Parameters ◽

Feedback Control Systems

Download Full-text

Stabilization of Event-triggered Quantized Feedback Control Systems under Denial-of-Service Attacks

2020 39th Chinese Control Conference (CCC) ◽

10.23919/ccc50068.2020.9189147 ◽

2020 ◽

Author(s):

Yuqing Lin ◽

Feng Li ◽

Qiang Ling

Keyword(s):

Feedback Control ◽

Control Systems ◽

Denial Of Service ◽

Denial Of Service Attacks ◽

Quantized Feedback ◽

Feedback Control Systems ◽

Event Triggered

Download Full-text