A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems

2003 ◽  
pp. 113-125 ◽  
Author(s):  
Richard J. Boulton ◽  
Ruth Hardy ◽  
Ursula Martin
Keyword(s):  
Control Systems ◽  
Continuous Time ◽  
Hoare Logic ◽  
Single Input Single Output ◽  
Single Output ◽  
Time Control ◽  
Single Input

scholarly journals Block Method for SolvingState-Space Equations of Linear Continuous-Time Control Systems

2007 ◽  
Vol 4 (2) ◽  
pp. 318-329
Author(s):  
Baghdad Science Journal
Keyword(s):  
State Space ◽  
Continuous Time ◽  
Mimo Systems ◽  
Multiple Input Multiple Output ◽  
Method Comparison ◽  
The State ◽  
Block Method ◽  
Single Input Single Output ◽  
Single Output ◽  
Time Control

This paper presents a newly developed method with new algorithms to find the numerical solution of nth-order state-space equations (SSE) of linear continuous-time control system by using block method. The algorithms have been written in Matlab language. The state-space equation is the modern representation to the analysis of continuous-time system. It was treated numerically to the single-input-single-output (SISO) systems as well as multiple-input-multiple-output (MIMO) systems by using fourth-order-six-steps block method. We show that it is possible to find the output values of the state-space method using block method. Comparison between the numerical and exact results has been given for some numerical examples for solving different types of state-space equations using block method for conciliated the accuracy of the results of this method.

STABILITY OF SISO NONLINEAR SYSTEMS WITH PARAMETERS DISTURBANCES

2012 ◽  
Vol 26 (25) ◽  
pp. 1246008
Author(s):  
OLGA SHPILEVAYA
Keyword(s):  
Nonlinear Systems ◽  
System Dynamics ◽  
Control Systems ◽  
Lyapunov Method ◽  
Switched System ◽  
System Stability ◽  
Single Input Single Output ◽  
Single Output ◽  
System Output ◽  
Single Input

We study single-input single-output (SISO) control systems with the rapid piecewise-smooth parameters disturbances. The system dynamics are described by switched system models. The system output is regulated with the help of the nonlinear astatic controller with parameters which depend on some disturbance properties. The system stability is studied by second Lyapunov method.

scholarly journals MIMO Passive Control Systems Are Not Necessarily Robust

2015 ◽  
Vol 2015 ◽  
pp. 1-6
Author(s):  
Jesús U. Liceaga-Castro ◽  
Irma I. Siller-Alcalá ◽  
Eduardo Liceaga-Castro ◽  
Luis A. Amézquita-Brooks
Keyword(s):  
Control System ◽  
Structure Function ◽  
Control Systems ◽  
Passive Control ◽  
Linear Control System ◽  
Linear Control ◽  
Single Input Single Output ◽  
Single Output ◽  
Single Input

Via several cases of study it is shown that a passive multivariable linear control system, contrary to its single input single output counterpart, may not be robust. Moreover, it is shown that lack of robustness can be exposed via the multivariable structure function.

REALIZATION PROBLEM FOR POSITIVE CONTINUOUS-TIME SYSTEMS WITH DELAYS

2006 ◽  
Vol 06 (02) ◽  
pp. 289-298 ◽  
Author(s):  
KACZOREK TADEUSZ
Keyword(s):  
Continuous Time ◽  
Sufficient Conditions ◽  
Realization Problem ◽  
Single Input Single Output ◽  
Single Output ◽  
Continuous Time Systems ◽  
Single Input ◽  
Minimal Realizations ◽  
Time Systems ◽  
Time Linear

The realization problem for positive, continuous-time linear single-input, single-output systems with delays is formulated and solved. Sufficient conditions for the existence of positive realizations of a given proper transfer function are established. A procedure for computation of positive minimal realizations is presented and illustrated by an example.

Tuning and design of single-input, single-output control systems for parametric uncertainty

AIChE Journal ◽  
2000 ◽  
Vol 46 (8) ◽  
pp. 1616-1631 ◽  
Author(s):  
Karel Stryczek ◽  
Mario Laiseca ◽  
Coleman Brosilow ◽  
Marshall Leitman
Keyword(s):  
Control Systems ◽  
Parametric Uncertainty ◽  
Output Control ◽  
Single Input Single Output ◽  
Single Output ◽  
Single Input

Genetic algorithms in model structure and controller structure identification

1997 ◽  
Vol 211 (5) ◽  
pp. 333-343 ◽  
Author(s):  
I G French ◽  
C S Cox ◽  
C K S HO
Keyword(s):  
Control Systems ◽  
Discrete Time ◽  
Structure Identification ◽  
Time Transfer ◽  
Output Control ◽  
Single Input Single Output ◽  
Single Output ◽  
Advanced Control ◽  
Single Input ◽  
Selection Of

Conventional multiloop SISO (single-input, single-output) control systems are still used in industry even though stating interaction between loops often significantly limits their effectiveness. Modern industry requires advanced control solutions based around multivariable system formulations. Two related but specific problems arise in the design of discrete-time MIMO (multi-input, multi-output) control systems. The first is the efficient identification of the structure, order and parameters of the MIMO discrete-time transfer function process description. The second is the difficulty in quickly establishing the selection of an appropriate set of manipulated variables to control a set of specified outputs, often called the ‘pairing problem’. This paper suggests a framework to help solve both problems by the development of automated search procedures based on a genetic algorithm.

Sign in / Sign up

Export Citation Format

Share Document