R. Alur, T.A. Henzinger, O. Kupferman & M.Y. Vardi (1998):
Alternating refinement relations.
In: Proc. of the 9th International Conference on Concurrency Theory, volume 1466 of LNCS.
Springer,
pp. 163–178,
doi:10.1007/BFb0055622.
R. Alur, T.A. Henzinger, G. Lafferriere & G.J. Pappas (2000):
Discrete abstractions of hybrid systems.
In: Proc. of the IEEE 88.
IEEE,
pp. 971–984,
doi:10.1109/5.871304.
R. Bloem, K. Chatterjee, K. Greimel, T.A. Henzinger & B. Jobstmann (2010):
Robustness in the presence of liveness.
In: Proc. of the 22nd International Conference on Computer Aided Verification.
Springer,
pp. 410–424,
doi:10.1007/978-3-642-14295-6_36.
R. Bloem, K. Greimel, T.A. Henzinger & B. Jobstmann (2009):
Synthesizing robust systems.
In: Proc. of the Formal Methods in Computer-Aided Design 2009.
FMCAD,
pp. 85–92,
doi:10.1109/FMCAD.2009.5351139.
C.G. Cassandras & S. Lafortune (2009):
Introduction to Discrete Event Systems,
2nd edition.
Springer.
K. Chatterjee, L. Doyen, T.A. Henzinger & J.F. Raskin (2007):
Algorithms for omega-regular games with imperfect information.
Logical Methods in Computer Science 3(4),
pp. 1–23,
doi:10.2168/LMCS-3(3:4)2007.
R. Ehlers & U. Topcu (2015):
Estimator-based reactive synthesis under incomplete information.
In: Proc. of the 18th International Conference on Hybrid Systems: Computation and Control.
ACM,
pp. 249–258,
doi:10.1145/2728606.2728626.
D. Fan & D.C. Tarraf (2014):
On finite memory observability of a class of systems over finite alphabets with linear dynamics.
In: Proc. of the IEEE 53rd Annual Conference on Decision and Control,
pp. 3884–3891,
doi:10.1109/CDC.2014.7039992.
R. Ghaemi & D.D. Vecchio (2014):
Control for safety specifications of systems with imperfect information on a partial order.
IEEE Transactions on Automatic Control 59(4),
pp. 982–995,
doi:10.1109/TAC.2014.2301563.
A. Girard & G.J. Pappas (2007):
Approximation metrics for discrete and continuous systems.
IEEE Transactions on Automatic Control 52(5),
pp. 782–798,
doi:10.1109/TAC.2007.895849.
A. Girard & G.J. Pappas (2011):
Approximate bisimulation: A bridge between computer science and control theory.
European Journal of Control 17(5-6),
pp. 568 – 578,
doi:10.3166/ejc.17.568-578.
A. Girard, G. Pola & P. Tabuada (2010):
Approximately bisimilar symbolic models for incrementally stable switched systems.
IEEE Transactions on Automatic Control 55(1),
pp. 116–126,
doi:10.1109/TAC.2009.2034922.
R. Goebel, R.G. Sanfelice & A.R. Teel (2012):
Hybrid Dynamical Systems: Modeling, Stability, and Robustness.
Princeton University Press.
R. Milner (1989):
Communication and Concurrency.
Prentice-Hall.
M. Mizoguchi & T. Ushio (2015):
Observer-based similarity output feedback control of cyber-physical systems.
IFAC-PapersOnLine 48(27),
pp. 248–253,
doi:10.1016/j.ifacol.2015.11.183.
G. Pola, A. Girard & P. Tabuada (2008):
Approximately bisimilar symbolic models for nonlinear control systems.
Automatica 44(10),
pp. 2508 – 2516,
doi:10.1016/j.automatica.2008.02.021.
G. Pola & P. Tabuada (2009):
Symbolic models for nonlinear control systems: Alternating approximate bisimulations.
SIAM Journal on Control and Optimization 48(2),
pp. 719–733,
doi:10.1137/070698580.
M. Rungger & P. Tabuada (2013):
A symbolic approach to the design of robust cyber-physical systems.
In: Proc. of the IEEE 52nd Annual Conference on Decision and Control,
pp. 3932–3937,
doi:10.1109/CDC.2013.6760490.
M. Rungger & P. Tabuada (2014):
Abstracting and refining robustness for cyber-physical systems.
In: Proc. of the 17th International Conference on Hybrid Systems: Computation and Control.
ACM,
pp. 223–232,
doi:10.1145/2562059.2562133.
M. Rungger & P. Tabuada (2015):
A Notion of robustness for cyber-physical systems.
IEEE Transactions on Automatic Control,
doi:10.1109/TAC.2015.2492438.
To appear..
P. Tabuada (2008):
An approximate simulation approach to symbolic control.
IEEE Transactions on Automatic Control 53(6),
pp. 1406–1418,
doi:10.1109/TAC.2008.925824.
P. Tabuada (2009):
Verification and Control of Hybrid Systems: A Symbolic Approach.
Springer,
doi:10.1007/978-1-4419-0224-5.
P. Tabuada, S.Y. Caliskan, M. Rungger & R. Majumdar (2014):
Towards robustness for cyber-physical systems.
IEEE Transactions on Automatic Control 59(12),
pp. 3151–3163,
doi:10.1109/TAC.2014.2351632.
D.C. Tarraf (2012):
A control-oriented notion of finite state approximation.
IEEE Transactions on Automatic Control 57(12),
pp. 3197–3202,
doi:10.1109/TAC.2012.2199180.
D.C. Tarraf (2014):
An input-output construction of finite state ρ/μ approximations for control design.
IEEE Transactions on Automatic Control 59(12),
pp. 3164–3177,
doi:10.1109/TAC.2014.2351631.
N. Tung Vu & S. Takai (2016):
Synthesis of output feedback controllers for bisimilarity control of transition systems.
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E99-A(2),
pp. 483–490,
doi:10.1587/transfun.E99.A.483.
eptcs@eptcs.org