C. Baier
J. P. Katoen
April 2008
Principles of model checking
The MIT Press
M. B. G. Cloosterman
N. van de Wouw
W. P. M. H. Heemels
H. Nijmeijer
2009
Stability of Networked Control Systems With Uncertain Time-Varying Delays
IEEE Transactions on Automatic Control
54
7
1575–1580
10.1109/TAC.2009.2015543
W. P. M. H. Heemels
N. van de Wouw
2010
Stability and Stabilization of Networked Control Systems
Alberto Bemporad
Maurice Heemels
Mikael Johansson
Networked Control Systems
Springer London
London
203–253
10.1007/978-0-85729-033-5_7
M. Khaled
M. Rungger
M. Zamani
2016
Symbolic models of networked control systems: A feedback refinement relation approach
54th Annual Allerton Conference on Communication, Control, and Computing (Allerton)
187–193
10.1109/ALLERTON.2016.7852228
R. Majumdar
M. Zamani
2012
Approximately Bisimilar Symbolic Models for Digital Control Systems
P. Madhusudan
Sanjit A. Seshia
Computer Aided Verification
Springer Berlin Heidelberg
Berlin, Heidelberg
362–377
10.1007/978-3-642-31424-7_28
O. Maler
A. Pnueli
J. Sifakis
1995
On the synthesis of discrete controllers for timed systems
Ernst W. Mayr
Claude Puech
12th Annual Symposium on Theoretical Aspects of Computer Science (STACS 95)
Springer Berlin Heidelberg
Berlin, Heidelberg
229–242
10.1007/3-540-59042-0_76
D. Nesic
D. Liberzon
2009
A Unified Framework for Design and Analysis of Networked and Quantized Control Systems
IEEE Transactions on Automatic Control
54
4
732–747
10.1109/TAC.2009.2014930
OpenSim-Ltd.
OMNeT++, a Discrete Event Simulator
https://omnetpp.org
A. J. Pretorius
J. J. van Wijk
StateVis, Multidimensional visualization of transition systems
http://www.win.tue.nl/vis1/home/apretori/statevis/
G. Reissig
A. Weber
M. Rungger
April 2017
Feedback Refinement Relations for the Synthesis of Symbolic Controllers
IEEE Transactions on Automatic Control
62
4
1781–1796
10.1109/TAC.2016.2593947
M. Rungger
M. Zamani
2016
SCOTS: A Tool for the Synthesis of Symbolic Controllers
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control
HSCC '16
ACM
New York, NY, USA
99–104
10.1145/2883817.2883834
F. Somenzi
2015
CUDD: CU Decision Diagram Package
3.0.0
http://vlsi.colorado.edu/~fabio/CUDD/cudd.pdf
P. Tabuada
2009
Verification and control of hybrid systems, A symbolic approach
Springer US
10.1007/978-1-4419-0224-5
W. Thomas
1995
On the synthesis of strategies in infinite games
Ernst W. Mayr
Claude Puech
12th Annual Symposium on Theoretical Aspects of Computer Science (STACS 95)
Springer Berlin Heidelberg
1–13
10.1007/3-540-59042-0_57
Netherlands TU/e Technische Universiteit Eindhoven
A short note on the FSM data format
http://www.win.tue.nl/vis1/home/apretori/data/fsm.html
N. van de Wouw
D. Neši\'c
W.P.M.H. Heemels
2012
A discrete-time framework for stability analysis of nonlinear networked control systems
Automatica
48
6
1144 – 1153
10.1016/j.automatica.2012.03.005
M. Zamani
M. Mazo Jr
M. Khaled
A. Abate
accepted, to appear
Symbolic Abstractions of Networked Control Systems
IEEE Transactions on Control of Network Systems
10.1109/TCNS.2017.2739645
https://arxiv.org/abs/1401.6396
M. Zamani
M. Mazo
A. Abate
2014
Finite abstractions of networked control systems
53rd IEEE Conference on Decision and Control
95–100
10.1109/CDC.2014.7039365
M. Zamani
G. Pola
M. Mazo Jr.
P. Tabuada
2012
Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
IEEE Transactions on Automatic Control
57
7
1804–1809
10.1109/TAC.2011.2176409