From c0ff568c07ee18b7d8851fd9ecb676e2070829e6 Mon Sep 17 00:00:00 2001 From: adrienbanse Date: Mon, 9 Sep 2024 14:28:47 +0200 Subject: [PATCH] fix underscore in paper --- paper/paper.tex | 2 +- paper/ref.bib | 6 +- paper/ref_u.bib | 458 ------------------------------------------------ 3 files changed, 4 insertions(+), 462 deletions(-) delete mode 100644 paper/ref_u.bib diff --git a/paper/paper.tex b/paper/paper.tex index ac52f9781..0c41c28e9 100644 --- a/paper/paper.tex +++ b/paper/paper.tex @@ -3,7 +3,7 @@ \setcounter{page}{1} % added -%\usepackage{underscore} +\usepackage{underscore} \usepackage{amsmath} \usepackage{subcaption} \begin{document} diff --git a/paper/ref.bib b/paper/ref.bib index b218d1ece..5cd0e734a 100644 --- a/paper/ref.bib +++ b/paper/ref.bib @@ -147,7 +147,7 @@ @inproceedings{tazaki2009discrete pages={351--365}, year={2009}, organization={Springer}, - doi={10.1007/978-3-642-00602-925} + doi={10.1007/978-3-642-00602-9_25} } %%%%%%%%%%%%%%%%%% Toolboxes @@ -158,7 +158,7 @@ @inproceedings{mazo2010pessoa pages={566--569}, year={2010}, organization={Springer}, - doi={10.1007/978-3-642-14295-649} + doi={10.1007/978-3-642-14295-6_49} } @inproceedings{rungger2016scots, @@ -238,7 +238,7 @@ @inproceedings{prajna2004safety pages={477--492}, year={2004}, organization={Springer}, - doi={10.1007/978-3-540-24743-232} + doi={10.1007/978-3-540-24743-2_32} } %%%%%%%%%%%%%%%%%% L2C diff --git a/paper/ref_u.bib b/paper/ref_u.bib deleted file mode 100644 index 5cd0e734a..000000000 --- a/paper/ref_u.bib +++ /dev/null @@ -1,458 +0,0 @@ - -%%%%%%%%%%%%%%%%%% Theoretical references -@article{kim2012cyber, - title={Cyber--physical systems: A perspective at the centennial}, - author={Kim, Kyoung-Dae and Kumar, Panganamala R}, - journal={Proceedings of the IEEE}, - volume={100}, - number={Special Centennial Issue}, - pages={1287--1308}, - year={2012}, - publisher={IEEE}, - doi = {10.1109/JPROC.2012.2189792} -} - -@book{alur2015principles, - title={Principles of cyber-physical systems}, - author={Alur, Rajeev}, - year={2015}, - publisher={MIT press}, - doi = {10.1017/9781107588981} -} - -@book{lee2016introduction, - title={Introduction to embedded systems: A cyber-physical systems approach}, - author={Lee, Edward Ashford and Seshia, Sanjit Arunkumar}, - year={2016}, - publisher={MIT press}, - doi={10.1145/1719010.1719011} -} - -@book{baier2008principles, - title={Principles of model checking}, - author={Baier, Christel and Katoen, Joost-Pieter}, - year={2008}, - publisher={MIT press} -} - -@book{tabuada2009verification, - title={Verification and control of hybrid systems: a symbolic approach}, - author={Tabuada, Paulo}, - year={2009}, - publisher={Springer Science \& Business Media}, - doi={10.1007/978-1-4419-0224-5} -} - -@inproceedings{alur1998alternating, - title={Alternating refinement relations}, - author={Alur, Rajeev and Henzinger, Thomas A and Kupferman, Orna and Vardi, Moshe Y}, - booktitle={CONCUR'98 Concurrency Theory: 9th International Conference Nice, France, September 8--11, 1998 Proceedings 9}, - pages={163--178}, - year={1998}, - organization={Springer}, - doi={10.1007/BFb0055622} -} - -@article{reissig2016feedback, - title={Feedback refinement relations for the synthesis of symbolic controllers}, - author={Reissig, Gunther and Weber, Alexander and Rungger, Matthias}, - journal={IEEE Transactions on Automatic Control}, - volume={62}, - number={4}, - pages={1781--1796}, - year={2016}, - publisher={IEEE}, - doi={10.1109/CDC.2014.7039364} -} - -@book{belta2017formal, - title={Formal methods for discrete-time dynamical systems}, - author={Belta, Calin and Yordanov, Boyan and Gol, Ebru Aydin}, - volume={89}, - year={2017}, - publisher={Springer}, - doi={10.1007/978-3-319-50763-7} -} - -@article{kupferman2001model, - title={Model checking of safety properties}, - author={Kupferman, Orna and Vardi, Moshe Y}, - journal={Formal methods in system design}, - volume={19}, - pages={291--314}, - year={2001}, - publisher={Springer}, - doi={10.1023/A:1011254632723} -} - -@article{angeli2002lyapunov, - title={A {Lyapunov} approach to incremental stability properties}, - author={Angeli, David}, - journal={IEEE Transactions on Automatic Control}, - volume={47}, - number={3}, - pages={410--421}, - year={2002}, - publisher={IEEE}, - doi={10.1109/9.989067} -} - -@article{lohmiller1998contraction, - title={On contraction analysis for non-linear systems}, - author={Lohmiller, Winfried and Slotine, Jean-Jacques E}, - journal={Automatica}, - volume={34}, - number={6}, - pages={683--696}, - year={1998}, - publisher={Elsevier}, - doi = {10.1016/S0005-1098(98)00019-3}, -} - -@inproceedings{camara2011safety, - title={Safety controller synthesis for switched systems using multi-scale symbolic models}, - author={Camara, Javier and Girard, Antoine and G{\"o}ssler, Gregor}, - booktitle={2011 50th IEEE Conference on Decision and Control and European Control Conference}, - pages={520--525}, - year={2011}, - organization={IEEE}, - doi={10.1109/CDC.2011.6160424} -} - -@inproceedings{hsu2018multi, - title={Multi-layered abstraction-based controller synthesis for continuous-time systems}, - author={Hsu, Kyle and Majumdar, Rupak and Mallik, Kaushik and Schmuck, Anne-Kathrin}, - booktitle={Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)}, - pages={120--129}, - year={2018}, - doi={10.1145/3178126.3178143} -} - -@article{girard2015safety, - title={Safety controller synthesis for incrementally stable switched systems using multiscale symbolic models}, - author={Girard, Antoine and G{\"o}ssler, Gregor and Mouelhi, Sebti}, - journal={IEEE Transactions on Automatic Control}, - volume={61}, - number={6}, - pages={1537--1549}, - year={2015}, - publisher={IEEE}, - doi={10.1109/TAC.2015.2478131} -} - -@inproceedings{tazaki2009discrete, - title={Discrete-state abstractions of nonlinear systems using multi-resolution quantizer}, - author={Tazaki, Yuichi and Imura, Jun-ichi}, - booktitle={International Workshop on Hybrid Systems: Computation and Control}, - pages={351--365}, - year={2009}, - organization={Springer}, - doi={10.1007/978-3-642-00602-9_25} -} - -%%%%%%%%%%%%%%%%%% Toolboxes -@inproceedings{mazo2010pessoa, - title={Pessoa: A tool for embedded controller synthesis}, - author={Mazo Jr, Manuel and Davitian, Anna and Tabuada, Paulo}, - booktitle={International conference on computer aided verification}, - pages={566--569}, - year={2010}, - organization={Springer}, - doi={10.1007/978-3-642-14295-6_49} -} - -@inproceedings{rungger2016scots, - title={{SCOTS: A tool for the synthesis of symbolic controllers}}, - author={Rungger, Matthias and Zamani, Majid}, - booktitle={Proceedings of the 19th international conference on hybrid systems: Computation and control}, - pages={99--104}, - year={2016}, - doi={10.1145/2883817.2883834} -} - -@article{borri2018design, - title={Design of symbolic controllers for networked control systems}, - author={Borri, Alessandro and Pola, Giordano and Di Benedetto, Maria Domenica}, - journal={IEEE Transactions on Automatic Control}, - volume={64}, - number={3}, - pages={1034--1046}, - year={2018}, - publisher={IEEE}, - doi={10.1109/TAC.2018.2833630} -} - - - - -%%%%%%%%%%%%%%%%%% Our examples are from -@article{girard2009approximately, - title={Approximately bisimilar symbolic models for incrementally stable switched systems}, - author={Girard, Antoine and Pola, Giordano and Tabuada, Paulo}, - journal={IEEE Transactions on Automatic Control}, - volume={55}, - number={1}, - pages={116--126}, - year={2009}, - publisher={IEEE}, - doi={10.1109/TAC.2009.2034922} -} - -@inproceedings{mouelhi2013cosyma, - title={{CoSyMA: a tool for controller synthesis using multi-scale abstractions}}, - author={Mouelhi, Sebti and Girard, Antoine and G{\"o}ssler, Gregor}, - booktitle={Proceedings of the 16th international conference on Hybrid systems: computation and control}, - pages={83--88}, - year={2013}, - doi={10.1145/2461328.2461343} -} - -@article{bryant1992symbolic, - title={Symbolic boolean manipulation with ordered binary-decision diagrams}, - author={Bryant, Randal E}, - journal={ACM Computing Surveys (CSUR)}, - volume={24}, - number={3}, - pages={293--318}, - year={1992}, - publisher={ACM New York, NY, USA}, - doi={10.1145/136035.136043} -} - -@article{prajna2006barrier, - title={Barrier certificates for nonlinear model validation}, - author={Prajna, Stephen}, - journal={Automatica}, - volume={42}, - number={1}, - pages={117--126}, - year={2006}, - publisher={Elsevier}, - doi={10.1016/j.automatica.2005.08.007} -} - -@inproceedings{prajna2004safety, - title={Safety verification of hybrid systems using barrier certificates}, - author={Prajna, Stephen and Jadbabaie, Ali}, - booktitle={International Workshop on Hybrid Systems: Computation and Control}, - pages={477--492}, - year={2004}, - organization={Springer}, - doi={10.1007/978-3-540-24743-2_32} -} - -%%%%%%%%%%%%%%%%%% L2C -@inproceedings{calbert2021alternating, - title={Alternating simulation on hierarchical abstractions}, - author={Calbert, Julien and Legat, Beno{\^\i}t and Egidio, Lucas N and Jungers, Rapha{\"e}l}, - booktitle={2021 60th IEEE Conference on Decision and Control (CDC)}, - pages={593--598}, - year={2021}, - organization={IEEE}, - doi={10.1109/CDC45484.2021.9683448} -} - -@inproceedings{legat2021abstraction, - title={{Abstraction-based branch and bound approach to Q-learning for hybrid optimal control}}, - author={Legat, Beno{\^\i}t and Jungers, Rapha{\"e}l M and Bouchat, Jean}, - booktitle={Learning for Dynamics and Control}, - pages={263--274}, - year={2021}, - organization={PMLR}, - doi={10.48550/arXiv.2011.11029} -} - -@inproceedings{egidio2022state, - title={State-feedback abstractions for optimal control of piecewise-affine systems}, - author={Egidio, Lucas N and Lima, Thiago Alves and Jungers, Rapha{\"e}l M}, - booktitle={2022 IEEE 61st Conference on Decision and Control (CDC)}, - pages={7455--7460}, - year={2022}, - organization={IEEE}, - doi={10.1109/CDC51059.2022.9992495} -} - -@inproceedings{banse2023data, - title={Data-driven memory-dependent abstractions of dynamical systems}, - author={Banse, Adrien and Romao, Licio and Abate, Alessandro and Jungers, Raphael}, - booktitle={Learning for Dynamics and Control Conference}, - pages={891--902}, - year={2023}, - organization={PMLR}, - doi={10.48550/arXiv.2212.01926} -} - -@inproceedings{calbert2023data, - title={Data-driven heuristic symbolic models and application to limit-cycle detection}, - author={Calbert, Julien and Jungers, Rapha{\"e}l M}, - booktitle={2023 American Control Conference (ACC)}, - pages={4351--4356}, - year={2023}, - organization={IEEE}, - doi={10.23919/ACC55779.2023.10156175} -} - -@article{calbert2024smart, - title={Smart abstraction based on iterative cover and non-uniform cells}, - author={Calbert, Julien and Egidio, Lucas N and Jungers, Rapha{\"e}l M}, - journal={arXiv preprint arXiv:2403.02190}, - year={2024}, - doi={10.48550/arXiv.2403.02190} -} - -@phdthesis{althoff2010reachability, - title={Reachability analysis and its application to the safety assessment of autonomous cars}, - author={Althoff, Matthias}, - year={2010}, - school={Technische Universit{\"a}t M{\"u}nchen}, - url={https://mediatum.ub.tum.de/963752} -} - - -%%%%%%%%%%%%%%%%%% Julia Package - -@inproceedings{bogomolov2019juliareach, - title={JuliaReach: a toolbox for set-based reachability}, - author={Bogomolov, Sergiy and Forets, Marcelo and Frehse, Goran and Potomkin, Kostiantyn and Schilling, Christian}, - booktitle={Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control}, - pages={39--44}, - year={2019}, - doi={10.1145/3302504.3311804} -} - -@article{bezanson2017julia, - title={Julia: A fresh approach to numerical computing}, - author={Bezanson, Jeff and Edelman, Alan and Karpinski, Stefan and Shah, Viral B}, - journal={SIAM review}, - volume={59}, - number={1}, - pages={65--98}, - year={2017}, - publisher={SIAM}, - doi={10.1137/141000671} -} - -@article{Lubin2023, - author = {Miles Lubin and Oscar Dowson and Joaquim {Dias Garcia} and Joey Huchette and Beno{\^i}t Legat and Juan Pablo Vielma}, - title = {{JuMP} 1.0: {R}ecent improvements to a modeling language for mathematical optimization}, - journal = {Mathematical Programming Computation}, - volume = {15}, - pages = {581–589}, - year = {2023}, - doi = {10.1007/s12532-023-00239-3} -} - -@article{legat2022mathoptinterface, - title={MathOptInterface: a data structure for mathematical optimization problems}, - author={Legat, Beno{\^\i}t and Dowson, Oscar and Garcia, Joaquim Dias and Lubin, Miles}, - journal={INFORMS Journal on Computing}, - volume={34}, - number={2}, - pages={672--689}, - year={2022}, - publisher={INFORMS}, - doi={10.1287/ijoc.2021.1067} -} - - -@Article{Bemporad1999, - author = {Bemporad, Alberto and Morari, Manfred}, - journal = {Automatica}, - title = {Control of systems integrating logic, dynamics, and constraints}, - year = {1999}, - issn = {0005-1098}, - month = mar, - number = {3}, - pages = {407--427}, - volume = {35}, - doi = {10.1016/s0005-1098(98)00178-2}, - publisher = {Elsevier BV}, -} - - -@Misc{Mathiesen2024, - author = {Mathiesen, Frederik Baymler and Lahijanian, Morteza and Laurenti, Luca}, - title = {{IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes}}, - year = {2024}, - copyright = {arXiv.org perpetual, non-exclusive license}, - doi = {10.48550/ARXIV.2401.04068}, - keywords = {Systems and Control (eess.SY), Logic in Computer Science (cs.LO), FOS: Electrical engineering, electronic engineering, information engineering, FOS: Electrical engineering, electronic engineering, information engineering, FOS: Computer and information sciences, FOS: Computer and information sciences}, - publisher = {arXiv}, -} - -@Misc{Wooding2024, - author = {Wooding, Ben and Lavaei, Abolfazl}, - title = {{IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems}}, - year = {2024}, - copyright = {arXiv.org perpetual, non-exclusive license}, - doi = {10.48550/ARXIV.2401.03555}, - keywords = {Systems and Control (eess.SY), FOS: Electrical engineering, electronic engineering, information engineering, FOS: Electrical engineering, electronic engineering, information engineering}, - publisher = {arXiv}, -} - -@InProceedings{Roy2011, - author = {Roy, Pritam and Tabuada, Paulo and Majumdar, Rupak}, - booktitle = {Proceedings of the 14th international conference on Hybrid systems: computation and control}, - title = {Pessoa 2.0: a controller synthesis tool for cyber-physical systems}, - year = {2011}, - month = apr, - publisher = {ACM}, - series = {HSCC ’11}, - collection = {HSCC ’11}, - doi = {10.1145/1967701.1967748}, -} - -@Misc{BenoitLegat2024, - author = {Legat, Beno{\^\i}t and Forets, Marcelo and Schilling, Christian and kpotomkin and Julia TagBot}, - title = {{blegat/HybridSystems.jl: v0.4.3}}, - year = {2024}, - copyright = {Creative Commons Attribution 4.0 International}, - doi = {10.5281/ZENODO.10460005}, - publisher = {Zenodo}, -} - -@article{gol2014language, - title = {Language-Guided Controller Synthesis for Linear Systems}, - author = {Gol, Ebru Aydin and Lazar, Mircea and Belta, Calin}, - year = {2014}, - month = may, - journal = {IEEE Transactions on Automatic Control}, - volume = {59}, - number = {5}, - pages = {1163--1176}, - publisher = {{Institute of Electrical and Electronics Engineers (IEEE)}}, - doi = {10.1109/tac.2013.2295664} -} - -@Misc{Calbert2024, - author = {Calbert, Julien and Banse, Adrien and Legat, Benoît and Jungers, Raphaël M.}, - title = {Dionysos.jl: a Modular Platform for Smart Symbolic Control}, - year = {2024}, - copyright = {MIT License}, - doi = {10.24433/CO.6327570.V2}, - keywords = {Capsule, Mathematics, FOS: Mathematics}, - language = {en}, - publisher = {Code Ocean}, -} - -@Misc{Calbert2024a, - author = {Calbert, Julien and Mattenet, Sébastien and Girard, Antoine and Jungers, Raphaël M.}, - title = {Memoryless concretization relation}, - year = {2024}, - copyright = {arXiv.org perpetual, non-exclusive license}, - doi = {10.48550/ARXIV.2403.09556}, - keywords = {Dynamical Systems (math.DS), FOS: Mathematics, FOS: Mathematics}, - publisher = {arXiv}, -} - -@InProceedings{Camara2011, - author = {Cámara, Javier and Girard, Antoine and Gössler, Gregor}, - booktitle = {Proceedings of the 14th international conference on Hybrid systems: computation and control}, - title = {Synthesis of switching controllers using approximately bisimilar multiscale abstractions}, - year = {2011}, - month = apr, - publisher = {ACM}, - series = {HSCC ’11}, - collection = {HSCC ’11}, - doi = {10.1145/1967701.1967730}, -}