Input–output control systems and dichotomy of variational difference equations

2011 ◽  
Vol 17 (6) ◽  
pp. 889-913 ◽  
Author(s):  
Bogdan Sasu
1999 ◽  
Vol 09 (01n02) ◽  
pp. 23-35 ◽  
Author(s):  
ÜLLE KOTTA ◽  
MARIS TÕNSO

This paper presents a contribution to the development of symbolic computation tools for discrete-time nonlinear control systems. A set of functions is developed in Mathematica 3.0 that test if the higher order input/output difference equation is realizable in the classical state-space form, and for simple examples, also find such state equations. The approach relies on a new notion of equivalence of higher order difference equations which yields a minimal (i.e. accessible and observable) realization and generalizes the notion of transfer equivalence to the nonlinear case. The application of the developed functions is demonstrated on three examples obtained via identification.


2011 ◽  
Vol 5 (3) ◽  
pp. 447-464 ◽  
Author(s):  
J.S.-H. Tsai ◽  
L.-S. Shieh ◽  
S.-M. Guo ◽  
C.-W. Chen ◽  
W.-Z. Zhuang ◽  
...  

10.29007/c4zl ◽  
2019 ◽  
Author(s):  
Maximilian Gaukler ◽  
Peter Ulbrich

Benchmark Proposal: The implementation of digital control systems in complex multi- core or distributed real-time systems results in non-deterministic input/output timing. Such timing deviations typically lead to degraded performance or even instability, which in turn may jeopardize safety goals. We present the problem of proving worst-case guarantees for given input/output timing bounds as a benchmark for the verification of hybrid dynamical systems.


Sign in / Sign up

Export Citation Format

Share Document