Robust Controller Synthesis for Hybrid Systems Using Modal Logic

2001 ◽  
pp. 433-446 ◽  
Author(s):  
Thomas Moor ◽  
J. M. Davoren
Keyword(s):  
Modal Logic ◽  
Hybrid Systems ◽  
Controller Synthesis ◽  
Robust Controller

Robust controller synthesis in non–linear multivariable systems: using dither as auxiliary

1989 ◽  
Vol 20 (12) ◽  
pp. 2515-2537 ◽  
Author(s):  
JER-GUANG HSIEH ◽  
FENG-HSIAG HSIAO
Keyword(s):  
Controller Synthesis ◽  
Multivariable Systems ◽  
Robust Controller ◽  
Non Linear

Robust Controller Synthesis for Frequency Regulation in Islanded Microgrid

2017 ◽  
Author(s):  
Dhananajay Kumar ◽  
B R Nandan ◽  
H. D. Mathur ◽  
S. Bhanot
Keyword(s):  
Controller Synthesis ◽  
Frequency Regulation ◽  
Robust Controller ◽  
Islanded Microgrid

Robust Controller Synthesis for Duration Calculus

2020 ◽  
pp. 429-446
Author(s):  
Kalyani Dole ◽  
Ashutosh Gupta ◽  
Shankara Narayanan Krishna
Keyword(s):  
Controller Synthesis ◽  
Robust Controller ◽  
Duration Calculus

New robust stability criterion and robust controller synthesis

1998 ◽  
Vol 8 (1) ◽  
pp. 49-59 ◽  
Author(s):  
Jie Bao ◽  
Peter L. Lee ◽  
Fuyang Wang ◽  
Weibiao Zhou
Keyword(s):  
Robust Stability ◽  
Stability Criterion ◽  
Controller Synthesis ◽  
Robust Controller

Multi-objective robust controller synthesis for discrete-time systems with convex polytopic uncertain domain

2005 ◽  
Vol 6 (S1) ◽  
pp. 87-93 ◽  
Author(s):  
Yan-hu Zhang ◽  
Wen-jun Yan ◽  
Jian-ning Lu ◽  
Guang-zhou Zhao
Keyword(s):  
Discrete Time ◽  
Controller Synthesis ◽  
Robust Controller ◽  
Multi Objective ◽  
Discrete Time Systems ◽  
Time Systems

Multiobjective Robust Controller Synthesis for Airborne Electro-Optical Device Line-of-Sight Stabilization System

2018 ◽  
Vol 61 (4) ◽  
pp. 541-546
Author(s):  
G. L. Degtyarev ◽  
R. N. Faizutdinov ◽  
I. O. Spiridonov
Keyword(s):  
Controller Synthesis ◽  
Line Of Sight ◽  
Stabilization System ◽  
Robust Controller ◽  
Optical Device

scholarly journals Set Propagation Techniques for Reachability Analysis

2020 ◽  
Vol 4 (1) ◽  
Author(s):  
Matthias Althoff ◽  
Goran Frehse ◽  
Antoine Girard
Keyword(s):  
Hybrid Systems ◽  
Fundamental Problem ◽  
Autonomous Systems ◽  
Reachability Analysis ◽  
Controller Synthesis ◽  
Annual Review ◽  
Publication Date ◽  
Initial States ◽  
Set Of Initial States ◽  
Real World Problems

Reachability analysis consists in computing the set of states that are reachable by a dynamical system from all initial states and for all admissible inputs and parameters. It is a fundamental problem motivated by many applications in formal verification, controller synthesis, and estimation, to name only a few. This article focuses on a class of methods for computing a guaranteed overapproximation of the reachable set of continuous and hybrid systems, relying predominantly on set propagation; starting from the set of initial states, these techniques iteratively propagate a sequence of sets according to the system dynamics. After a review of set representation and computation, the article presents the state of the art of set propagation techniques for reachability analysis of linear, nonlinear, and hybrid systems. It ends with a discussion of successful applications of reachability analysis to real-world problems. Expected final online publication date for the Annual Review of Control, Robotics, and Autonomous Systems, Volume 4 is May 3, 2021. Please see http://www.annualreviews.org/page/journal/pubdates for revised estimates.

Sign in / Sign up

Export Citation Format

Share Document