[หนังสือ][B] Formal methods for discrete-time dynamical systems

C Belta, B Yordanov, EA Gol - 2017 - Springer
In control theory, complex models of physical processes, such as systems of differential or
difference equations, are usually checked against simple specifications, such as stability …

Human–robot interaction control of rehabilitation robots with series elastic actuators

H Yu, S Huang, G Chen, Y Pan… - IEEE Transactions on …, 2015 - ieeexplore.ieee.org
Rehabilitation robots, by necessity, have direct physical interaction with humans. Physical
interaction affects the controlled variables and may even cause system instability. Thus …

The explicit linear quadratic regulator for constrained systems

A Bemporad, M Morari, V Dua, EN Pistikopoulos - Automatica, 2002 - Elsevier
For discrete-time linear time invariant systems with constraints on inputs and states, we
develop an algorithm to determine explicitly, the state feedback control law which minimizes …

Set invariance in control

F Blanchini - Automatica, 1999 - Elsevier
The properties of positively invariant sets are involved in many different problems in control
theory, such as constrained control, robustness analysis, synthesis and optimization. In this …

[HTML][HTML] Review on computational methods for Lyapunov functions

P Giesl, S Hafstein - Discrete and Continuous Dynamical Systems …, 2015 - aimsciences.org
Lyapunov functions are an essential tool in the stability analysis of dynamical systems, both
in theory and applications. They provide sufficient conditions for the stability of equilibria or …

[หนังสือ][B] Control systems with actuator saturation: analysis and design

T Hu, Z Lin - 2001 - books.google.com
Saturation nonlinearities are ubiquitous in engineering systems. In control systems, every
physical actuator or sensor is subject to saturation owing to its maximum and minimum …

Theory and computation of disturbance invariant sets for discrete‐time linear systems

I Kolmanovsky, EG Gilbert - Mathematical problems in …, 1998 - Wiley Online Library
This paper considers the characterization and computation of invariant sets for discrete‐
time, time‐invariant, linear systems with disturbance inputs whose values are confined to a …

[หนังสือ][B] Stability and stabilization of linear systems with saturating actuators

S Tarbouriech, G Garcia, JMG da Silva Jr, I Queinnec - 2011 - books.google.com
This monograph details basic concepts and tools fundamental for the analysis and synthesis
of linear systems subject to actuator saturation and developments in recent research. The …

[PDF][PDF] Model predictive control based on linear programming~ the explicit solution

A Bemporad, F Borrelli, M Morari - IEEE transactions on automatic …, 2002 - academia.edu
For discrete-time linear time-invariant systems with constraints on inputs and states, we
describe a method to determine explicitly, as a function of the initial state, the solution to …

An analysis and design method for linear systems subject to actuator saturation and disturbance

T Hu, Z Lin, BM Chen - Automatica, 2002 - Elsevier
We present a method for estimating the domain of attraction of the origin for a system under
a saturated linear feedback. A simple condition is derived in terms of an auxiliary feedback …