@manual(rightofway,
 author       = {Federal Aviation Administration},
 year         = {2017},
 title        = {Code of Federal Regulations, Title 14},
)
@article(brunner2015communication,
 author       = {Florian D Brunner and TMP Gommans and WPMH Heemels and Frank Allg{\"o}wer},
 year         = {2015},
 title        = {Communication Scheduling in Robust Self-Triggered MPC for Linear Discrete-Time Systems},
 journal      = {IFAC-PapersOnLine},
 volume       = {48},
 number       = {22},
 pages        = {132--137},
 doi          = {10.1016/j.ifacol.2015.10.319},
)
@article(bryant1992symbolic,
 author       = {Randal E Bryant},
 year         = {1992},
 title        = {Symbolic Boolean manipulation with ordered binary-decision diagrams},
 journal      = {ACM Computing Surveys (CSUR)},
 volume       = {24},
 number       = {3},
 pages        = {293--318},
 doi          = {10.1145/136035.136043},
)
@article(chen2016general,
 author       = {Mo Chen and Sylvia L Herbert and Mahesh S Vashishtha and Somil Bansal and Claire J Tomlin},
 year         = {2018},
 title        = {A general system decomposition method for computing reachable sets and tubes},
 journal      = {IEEE Transactions on Automatic Control},
 doi          = {10.1109/TAC.2018.2797194},
)
@inproceedings(dallal16,
 author       = {Eric Dallal and Paulo Tabuada},
 title        = {Decomposing Controller Synthesis for Safety Specifications},
 booktitle    = {CDC2016},
 doi          = {10.1109/CDC.2016.7799148},
)
@article(GOMMANS201559,
 author       = {T.M.P. Gommans and W.P.M.H. Heemels},
 year         = {2015},
 title        = {Resource-aware MPC for constrained nonlinear systems: A self-triggered control approach},
 journal      = {Systems and Control Letters},
 volume       = {79},
 pages        = {59 -- 67},
 doi          = {10.1016/j.sysconle.2015.03.003},
 url          = {http://www.sciencedirect.com/science/article/pii/S0167691115000481},
)
@inproceedings(gruber2017sparsity,
 author       = {Felix Gruber and Eric S Kim and Murat Arcak},
 year         = {2017},
 title        = {Sparsity-Aware Finite Abstraction},
 booktitle    = {CDC2017},
 doi          = {10.1109/CDC.2017.8263995},
)
@inproceedings(heemels2012introduction,
 author       = {WPMH Heemels and Karl Henrik Johansson and Paulo Tabuada},
 year         = {2012},
 title        = {An introduction to event-triggered and self-triggered control},
 booktitle    = {Decision and Control (CDC), 2012 IEEE 51st Annual Conference on},
 organization = {IEEE},
 pages        = {3270--3285},
 doi          = {10.1109/CDC.2012.6425820},
)
@inproceedings(kim2015compositional,
 author       = {Eric S Kim and Murat Arcak and Sanjit A Seshia},
 year         = {2015},
 title        = {Compositional controller synthesis for vehicular traffic networks},
 booktitle    = {Decision and Control (CDC), 2015 IEEE 54th Annual Conference on},
 organization = {IEEE},
 pages        = {6165--6171},
 doi          = {10.1109/CDC.2015.7403189},
)
@article(meyer2017compositional,
 author       = {Pierre-Jean Meyer and Antoine Girard and Emmanuel Witrant},
 year         = {2017},
 title        = {Compositional abstraction and safety synthesis using overlapping symbolic models},
 journal      = {IEEE Transactions on Automatic Control},
 doi          = {10.1109/TAC.2017.2753039},
)
@article(nuzzo2015platform,
 author       = {Pierluigi Nuzzo and Sangiovanni-Vincentelli, Alberto L and Davide Bresolin and Luca Geretti and Tiziano Villa},
 year         = {2015},
 title        = {A platform-based design methodology with contracts and related tools for the design of cyber-physical systems},
 journal      = {Proceedings of the IEEE},
 volume       = {103},
 number       = {11},
 pages        = {2104--2132},
 doi          = {10.1109/JPROC.2015.2453253},
)
@article(reissig2017feedback,
 author       = {Gunther Reissig and Alexander Weber and Matthias Rungger},
 year         = {2017},
 title        = {Feedback refinement relations for the synthesis of symbolic controllers},
 journal      = {IEEE Transactions on Automatic Control},
 volume       = {62},
 number       = {4},
 pages        = {1781--1796},
 doi          = {10.1109/TAC.2016.2593947},
)
@article(rungger2016compositional,
 author       = {Matthias Rungger and Majid Zamani},
 year         = {2016},
 title        = {Compositional Construction of Approximate Abstractions of Interconnected Control Systems},
 journal      = {IEEE Transactions on Control of Network Systems},
 doi          = {10.1109/TCNS.2016.2583063},
)
@inproceedings(rungger2016scots,
 author       = {Matthias Rungger and Majid Zamani},
 year         = {2016},
 title        = {SCOTS: A tool for the synthesis of symbolic controllers},
 booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control},
 organization = {ACM},
 pages        = {99--104},
 doi          = {10.1145/2883817.2883834},
)
@inproceedings(sadraddini2017formal,
 author       = {Sadra Sadraddini and J{\'a}nos Rudan and Calin Belta},
 year         = {2017},
 title        = {Formal synthesis of distributed optimal traffic control policies},
 booktitle    = {Proceedings of the 8th International Conference on Cyber-Physical Systems},
 organization = {ACM},
 pages        = {15--24},
 doi          = {10.1145/3055004.3055011},
)
@book(tabuada2009verification,
 author       = {Paulo Tabuada},
 year         = {2009},
 title        = {Verification and control of hybrid systems: a symbolic approach},
 publisher    = {Springer Science \& Business Media},
 doi          = {10.1007/978-1-4419-0224-5},
)
@article(tarski1955lattice,
 author       = {Alfred Tarski},
 year         = {1955},
 title        = {A lattice-theoretical fixpoint theorem and its applications},
 journal      = {Pacific journal of Mathematics},
 volume       = {5},
 number       = {2},
 pages        = {285--309},
 doi          = {10.2140/pjm.1955.5.285},
)