An Input Output Symbolic Transition System (IOSTS) specifies all expected sequences of input and output messages of a reactive system. Symbolic execution over this IOSTS then allows to generate a set of test cases that can exercise the various possible behaviors of the system it represents. In...
Input-output finite-time stabilisation of linear systems with input constraints inputs, respectively. Such conditions require the existence of a solution to a certain differential linear matrix inequality. The theory is applied to desi... F Amato,G Carannante,GD Tommasi,... - 《Control Theory &...
Input-output finite-time stability of time-varying linear singular systems This paper studies the input-output finite-time stabilization problem for time-varying linear singular systems. The output and the input refer to the contr... Juan,YAO,Jun-e,... - 《Journal of Control Theory & Applicati...
We present a theory of input-output robustness for discrete systems inspired by existing notions of input-output stability (IO-stability) in continuous control theory. We show that IO-stability captures two intuitive goals of robustness: bounded disturbances lead to bounded deviations from nominal ...
[7],hasprovedveryuseful wheninvestigatingstabilitypropertiesofcontinuous-time nonlinearsystems.Thedualofthisconcept,output-to- statestability(OSS),andthecombinationofthetwo, input/output-to-statestability(IOSS),wereestablishedin MatthiasA.M¨ulleriswiththeInstituteforSystemsTheory andAutomaticControl,Universit...
T Emami,JM Watkins - Symposium on System Theory 被引量: 30发表: 2009年 Input-output approach to robust stability and stabilization for uncertain singular systems with time-varying discrete and distributed delays Based on input-output approach, the robust stability and stabilization problems for uncert...
Input/output discrete event processes and communication delays This paper proposes an input/output interpretation for the control of discrete event systems. In supervisory control theory, the plant is usually considere... S Balemi - 《Discrete Event Dynamic Systems》 被引量: 76发表: 1994年 Adaptive...
Input–output finite-time mean square stabilisation of stochastic systems with Markovian jump[J] . Hongji Ma,Yingmin Jia.International Journal of Systems ... Jia,Yingmin,Hongji - International Journal of Systems Science: The Theory and Practice of Mathematical Modelling, Simulation, Optimization and ...
We present some input-output invariants for descriptor systems like transfer function, impulse and frequency responses, convolution and Hankel operators, Hankel singular values. These invariants are of great importance in robust control and approximation theory. Some norms for descriptor systems are ...
Have you take dinner? [translate] aIn control theory, functions called “transfer functions” are very often used to characterize the input-output relationships of linear time-invariant systems. 在控制论,起作用叫的“传递函数”是非常常用的描绘线性时间不变式的系统输入-输出关系。 [translate] ...