Suraq — A Controller Synthesis Tool Using Uninterpreted Functions

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-13338-6_6 ◽

2014 ◽

pp. 68-74

Author(s):

Georg Hofferek ◽

Ashutosh Gupta

Keyword(s):

Controller Synthesis ◽

Synthesis Tool

Download Full-text

DSSynth: An automated digital controller synthesis tool for physical plants

2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) ◽

10.1109/ase.2017.8115705 ◽

2017 ◽

Cited By ~ 3

Author(s):

Alessandro Abate ◽

Iury Bessa ◽

Dario Cattaruzza ◽

Lennon Chaves ◽

Lucas Cordeiro ◽

...

Keyword(s):

Controller Synthesis ◽

Digital Controller ◽

Synthesis Tool ◽

Physical Plants

Download Full-text

PranCS: A Protocol and Discrete Controller Synthesis Tool

Dependable Software Engineering. Theories, Tools, and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-69483-2_20 ◽

2017 ◽

pp. 337-349

Author(s):

Idress Husien ◽

Sven Schewe ◽

Nicolas Berthier

Keyword(s):

Controller Synthesis ◽

Synthesis Tool ◽

Discrete Controller

Download Full-text

MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-46681-0_12 ◽

2015 ◽

pp. 181-187 ◽

Cited By ~ 10

Author(s):

Tomáš Brázdil ◽

Krishnendu Chatterjee ◽

Vojtěch Forejt ◽

Antonín Kučera

Keyword(s):

Controller Synthesis ◽

Synthesis Tool ◽

Mean Payoff

Download Full-text

Model Approximation and Controller Synthesis for H∞ Robust Control of Multiple Time Delay Transfer Functions

International Review of Automatic Control (IREACO) ◽

10.15866/ireaco.v9i1.8331 ◽

2016 ◽

Vol 9 (1) ◽

pp. 1

Author(s):

Shyma Muhammed ◽

P. Venkata Mahesh ◽

Abraham T. Mathew ◽

T. K. Sunil Kumar

Keyword(s):

Time Delay ◽

Robust Control ◽

Transfer Functions ◽

Controller Synthesis ◽

Multiple Time ◽

Model Approximation

Download Full-text

L2 controller synthesis with L∞-bounded closed-loop impulse response

1993 American Control Conference ◽

10.23919/acc.1993.4793491 ◽

1993 ◽

Author(s):

Y. William Wang ◽

Dennis S. Bernstein

Keyword(s):

Impulse Response ◽

Closed Loop ◽

Controller Synthesis

Download Full-text

Linear Controller Synthesis for Master System using Extended Physiological Proprioception in Upper-Limb Prosthesis

2019 8th International Conference on Systems and Control (ICSC) ◽

10.1109/icsc47195.2019.8950611 ◽

2019 ◽

Author(s):

Karthikeyan Iyer ◽

N.S. Manjarekar

Keyword(s):

Upper Limb ◽

Controller Synthesis ◽

Linear Controller ◽

Upper Limb Prosthesis ◽

Master System ◽

Limb Prosthesis

Download Full-text

PID CONTROLLER SYNTHESIS FREE OF ANALYTICAL MODELS

IFAC Proceedings Volumes ◽

10.3182/20050703-6-cz-1902.00461 ◽

2005 ◽

Vol 38 (1) ◽

pp. 367-372 ◽

Cited By ~ 6

Author(s):

L.H. Keel ◽

S.P. Bhattacharyya

Keyword(s):

Pid Controller ◽

Controller Synthesis ◽

Analytical Models

Download Full-text

Gradient Methods for Fixed Structure Controller Synthesis and System Identification of Decomposable Systems

IEEE Control Systems Letters ◽

10.1109/lcsys.2021.3085427 ◽

2021 ◽

pp. 1-1

Author(s):

Simon Heinke ◽

Herbert Werner

Keyword(s):

System Identification ◽

Gradient Methods ◽

Controller Synthesis ◽

Fixed Structure

Download Full-text

Safety Controller Synthesis for Collaborative Robots

2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs51672.2020.00017 ◽

2020 ◽

Author(s):

Mario Gleirscher ◽

Radu Calinescu

Keyword(s):

Controller Synthesis ◽

Collaborative Robots

Download Full-text

Advanced Controller Synthesis for Fuzzy Parameter Varying Systems

Journal of the Franklin Institute ◽

10.1016/j.jfranklin.2020.12.038 ◽

2021 ◽

Author(s):

Xiaojun Ban ◽

Hongyang Zhang ◽

Fen Wu

Keyword(s):

Controller Synthesis ◽

Parameter Varying ◽

Fuzzy Parameter

Download Full-text