Output Feedback Control via Bisimulation of Stochastic Linear Systems

The characterization of the behavior that can be achieved by a plant when interconnected with a controller is a topic widely investigated in mathematical systems theory. In this regard, many results have been obtained for several classes of continuous systems, and also for discrete-event and hybrid systems. However, current literature is rather scant in stochastic settings. In this letter we aim to start filling this gap and provide some necessary and some sufficient checkable conditions for enforcing desired stochastic behavior, in terms of stochastic bisimulation equivalence, on discrete-time stochastic linear systems through output feedback interconnection with deterministic linear controller systems.

[1]  M.D. Di Benedetto,et al.  Model matching for finite state machines , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[2]  Vladimír Kucera.  Internal properness and stability in linear systems , 1986, Kybernetika.

[3]  Jacob Hammer,et al.  Input/output control of asynchronous sequential machines , 2005, IEEE Transactions on Automatic Control.

[4]  Henk Nijmeijer,et al.  Local nonlinear model matching: From linearity to nonlinearity , 1990, Autom..

[5]  Ratnesh Kumar,et al.  Control of nondeterministic discrete-event systems for bisimulation equivalence , 2007, IEEE Transactions on Automatic Control.

[6]  A. J. van der Schaft,et al.  Equivalence of dynamical systems by bisimulation , 2004, IEEE Transactions on Automatic Control.

[7]  Arjan van der Schaft,et al.  Achievable behavior of general systems , 2003, Syst. Control. Lett..

[8]  Maria-Gabriella Di Benedetto,et al.  Nonlinear strong model matching , 1990 .

[9]  P. Falb,et al.  Invariants and Canonical Forms under Dynamic Compensation , 1976 .

[10]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[11]  Arjan van der Schaft,et al.  Model reduction of continuous-time stochastic linear control systems via bisimulation equivalence , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

[12]  Maria Domenica Di Benedetto,et al.  On external behavior equivalence of continuous-time stochastic linear control systems , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

[13]  M.D. Di Benedetto,et al.  Achievable Bisimilar Behaviour of Abstract State Systems , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[14]  Arjan van der Schaft,et al.  The Achievable Dynamics via Control by Interconnection , 2011, IEEE Transactions on Automatic Control.

[15]  Maria Domenica Di Benedetto,et al.  Bisimulation Equivalence of Discrete-Time Stochastic Linear Control Systems , 2018, IEEE Transactions on Automatic Control.

[16]  M. Schlegel,et al.  Jordan form Assignment by State Feedback , 1984 .

[17]  Giordano Pola,et al.  On achievable behavior of stochastic descriptor systems , 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

[18]  Paulo Tabuada,et al.  Controller synthesis for bisimulation equivalence , 2007, Syst. Control. Lett..

[19]  Jessy W. Grizzle,et al.  Asymptotic model matching for nonlinear systems , 1994, IEEE Trans. Autom. Control..