Skip to content

Instantly share code, notes, and snippets.

@mforets

mforets/bibliography.bib

Created November 16, 2018 14:17
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save mforets/bc6863e6112f4112c9a44c8cdf9b1437 to your computer and use it in GitHub Desktop.
Save mforets/bc6863e6112f4112c9a44c8cdf9b1437 to your computer and use it in GitHub Desktop.
Download ZIP
bibliography
Raw
bibliography.bib
@inproceedings{ARCH18:nonlinear,
author = {Fabian Immler and Matthias Althoff and Xin Chen and Chuchu Fan and Goran Frehse and Niklas Kochdumper and Yangge Li and Sayan Mitra and Mahendra Singh Tomar and Majid Zamani},
title = {ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics},
booktitle = {ARCH18},
@volume = {54},
pages = {53--70},
year = {2018},
@publisher = {EasyChair},
@url = {https://easychair.org/publications/paper/gjfh},
@doi = {10.29007/mskf}
}
@inproceedings{ARCH18:linear,
author = {Matthias Althoff and Stanley Bak and Xin Chen and Chuchu Fan and Marcelo Forets and Goran Frehse and Niklas Kochdumper and Yangge Li and Sayan Mitra and Rajarshi Ray and Christian Schilling and Stefan Schupp},
title = {ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics},
booktitle = {ARCH18},
@series = {EPiC Series in Computing},
@volume = {54},
pages = {23--52},
year = {2018},
@publisher = {EasyChair},
@url = {https://easychair.org/publications/paper/4cGr},
@doi = {10.29007/73mb}
}
@misc{tool,
title = {{JuliaReach}},
Howpublished = {\url{https://github.com/JuliaReach}},
year = {2017}
}
@misc{expokitJL,
title = {{Expokit}},
Howpublished = {\url{https://github.com/acroy/Expokit.jl}},
year = {2017}
}
@inproceedings{althoff2016combining,
author = {Matthias Althoff and
Goran Frehse},
title = {Combining zonotopes and support functions for efficient reachability analysis of linear systems},
booktitle = {{CDC}},
pages = {7439--7446},
@publisher = {{IEEE}},
year = {2016},
@url = {https://@doi.org/10.1109/CDC.2016.7799418},
@doi = {10.1109/CDC.2016.7799418}
}
@article{althoff2014reachability,
author = {Matthias Althoff and
Bruce H. Krogh},
title = {Reachability Analysis of Nonlinear Differential-Algebraic Systems},
journal = {{IEEE} Trans. Automat. Contr.},
volume = {59},
number = {2},
pages = {371--383},
year = {2014},
@url = {https://@doi.org/10.1109/TAC.2013.2285751},
@doi = {10.1109/TAC.2013.2285751}
}
@inproceedings{anderson1990lapack,
author = {Edward Anderson and
Zhaojun Bai and
Jack J. Dongarra and
Anne Greenbaum and
AlanMcKenney and
Jeremy Du Croz and
Sven Hammarling and
James Demmel and
Christian H. Bischof and
Danny C. Sorensen},
@editor = {Joanne L. Martin and
Daniel V. Pryor and
Gary Montry},
title = {{LAPACK:} a portable linear algebra library for high-performance computers},
booktitle = {Supercomputing},
pages = {2--11},
@publisher = {{IEEE} Computer Society},
year = {1990},
@url = {https://@doi.org/10.1109/SUPERC.1990.129995},
@doi = {10.1109/SUPERC.1990.129995}
}
@article{antoulas2001survey,
title = {A survey of model reduction methods for large-scale systems},
author = {Antoulas, Athanasios C and Sorensen, Danny C and Gugercin, Serkan},
journal = {Contemporary mathematics},
volume = {280},
pages = {193--220},
year = {2001},
@publisher = {{AMS}}
}
@inproceedings{AsarinD04,
author = {Eugene Asarin and
Thao Dang},
@editor = {Rajeev Alur and
George J. Pappas},
title = {Abstraction by Projection and Application to Multi-affine Systems},
booktitle = {{HSCC}},
@series = {LNCS},
@volume = {2993},
pages = {32--47},
@publisher = {Springer},
year = {2004},
@url = {https://@doi.org/10.1007/978-3-540-24743-2_3},
@doi = {10.1007/978-3-540-24743-2_3}
}
@inproceedings{AsarinDMB00,
author = {Eugene Asarin and
Thao Dang and
Oded Maler and
Olivier Bournez},
@editor = {Nancy A. Lynch and
Bruce H. Krogh},
title = {Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems},
booktitle = {{HSCC}},
@series = {LNCS},
@volume = {1790},
pages = {20--31},
@publisher = {Springer},
year = {2000},
@url = {https://@doi.org/10.1007/3-540-46430-1_6},
@doi = {10.1007/3-540-46430-1_6}
}
@inproceedings{bak2017simulation,
author = {Stanley Bak and
Parasara Sridhar Duggirala},
@editor = {Rupak Majumdar and
Viktor Kuncak},
title = {Simulation-Equivalent Reachability of Large Linear Systems with Inputs},
booktitle = {{CAV}},
@series = {LNCS},
@volume = {10426},
pages = {401--420},
@publisher = {Springer},
year = {2017},
@url = {https://@doi.org/10.1007/978-3-319-63387-9_20},
@doi = {10.1007/978-3-319-63387-9_20}
}
@incollection{benner1999slicot,
author = {Benner, Peter and
Mehrmann, Volker and
Sima, Vasile and
Van Huffel, Sabine
and Varga, Andras},
title = {{SLICOT} -- A subroutine library in systems and control theory},
booktitle = {Applied and computational control, signals, and circuits},
pages = {499--539},
year = {1999},
@publisher = {Springer},
@url = {https://@doi.org/10.1007/978-1-4612-0571-5_10},
@doi = {10.1007/978-1-4612-0571-5_10},
}
@article{bezanson2017julia,
author = {Jeff Bezanson and
Alan Edelman and
Stefan Karpinski and
Viral B. Shah},
title = {Julia: {A} Fresh Approach to Numerical Computing},
journal = {{SIAM} Review},
volume = {59},
number = {1},
pages = {65--98},
year = {2017},
@url = {https://@doi.org/10.1137/141000671},
@doi = {10.1137/141000671}
}
@incollection{chahlaoui2005benchmark,
author = {Chahlaoui, Younes and
Van Dooren, Paul},
title = {Benchmark examples for model reduction of linear time-invariant dynamical systems},
booktitle = {Dimension Reduction of Large-Scale Systems},
pages = {379--392},
year = {2005},
@publisher = {Springer},
@url = {https://@doi.org/10.1007/3-540-27909-1_24},
@doi = {10.1007/3-540-27909-1_24}
}
@inproceedings{ChenHT17,
author = {Mo Chen and
Sylvia L. Herbert and
Claire J. Tomlin},
title = {Exact and efficient Hamilton-Jacobi guaranteed safety analysis via system decomposition},
booktitle = {{ICRA}},
pages = {87--92},
@publisher = {{IEEE}},
year = {2017},
@url = {https://@doi.org/10.1109/ICRA.2017.7989015},
@doi = {10.1109/ICRA.2017.7989015}
}
@inproceedings{ChenS16decomposed,
author = {Xin Chen and
Sriram Sankaranarayanan},
title = {Decomposed Reachability Analysis for Nonlinear Systems},
booktitle = {{RTSS}},
pages = {13--24},
@publisher = {{IEEE}},
year = {2016},
@url = {https://@doi.org/10.1109/RTSS.2016.011},
@doi = {10.1109/RTSS.2016.011}
}
@article{Dontchev92,
author = {Asen L. Dontchev},
title = {Time-scale decomposition of the reachable set of constrained linear systems},
journal = {{MCSS}},
volume = {5},
number = {3},
pages = {327--340},
year = {1992},
@url = {https://@doi.org/10.1007/BF01211565},
@doi = {10.1007/BF01211565}
}
@inproceedings{frehse2011spaceex,
author = {Goran Frehse and
Colas Le Guernic and
Alexandre Donz{\'{e}} and
Scott Cotton and
Rajarshi Ray and
Olivier Lebeltel and
Rodolfo Ripado and
Antoine Girard and
Thao Dang and
Oded Maler},
@editor = {Ganesh Gopalakrishnan and
Shaz Qadeer},
title = {{SpaceEx}: Scalable Verification of Hybrid Systems},
booktitle = {{CAV}},
@series = {LNCS},
@volume = {6806},
pages = {379--395},
@publisher = {Springer},
year = {2011},
@url = {https://@doi.org/10.1007/978-3-642-22110-1_30},
@doi = {10.1007/978-3-642-22110-1_30}
}
@inproceedings{FrehseKLG13,
author = {Goran Frehse and
Rajat Kateja and
Colas Le Guernic},
@editor = {Calin Belta and
Franjo Ivancic},
title = {Flowpipe approximation and clustering in space-time},
booktitle = {{HSCC}},
pages = {203--212},
@publisher = {{ACM}},
year = {2013},
@url = {http://@doi.acm.org/10.1145/2461328.2461361},
@doi = {10.1145/2461328.2461361}
}
@article{Fukuda04,
author = {Komei Fukuda},
title = {From the zonotope construction to the Minkowski addition of convex polytopes},
journal = {J. Symb. Comput.},
volume = {38},
number = {4},
pages = {1261--1272},
year = {2004},
@url = {https://@doi.org/10.1016/j.jsc.2003.08.007},
@doi = {10.1016/j.jsc.2003.08.007}
}
@inproceedings{Girard05,
author = {Antoine Girard},
@editor = {Manfred Morari and
Lothar Thiele},
title = {Reachability of Uncertain Linear Systems Using Zonotopes},
booktitle = {{HSCC}},
@series = {LNCS},
@volume = {3414},
pages = {291--305},
@publisher = {Springer},
year = {2005},
@url = {https://@doi.org/10.1007/978-3-540-31954-2_19},
@doi = {10.1007/978-3-540-31954-2_19}
}
@inproceedings{GirardLG08,
author = {Antoine Girard and
Colas Le Guernic},
title = {Efficient reachability analysis for linear systems using support functions},
journal = {IFAC Proceedings Volumes},
volume = {41},
number = {2},
pages = {8966 - 8971},
year = {2008},
@doi = {10.3182/20080706-5-KR-1001.01514},
@url = {https://@doi.org/10.3182/20080706-5-KR-1001.01514}
}
@inproceedings{GirardLGM06,
author = {Antoine Girard and
Colas Le Guernic and
Oded Maler},
@editor = {Jo{\~{a}}o P. Hespanha and
Ashish Tiwari},
title = {Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs},
booktitle = {{HSCC}},
@series = {LNCS},
@volume = {3927},
pages = {257--271},
@publisher = {Springer},
year = {2006},
@url = {https://@doi.org/10.1007/11730637_21},
@doi = {10.1007/11730637_21}
}
@inproceedings{GoncharovaO09,
author = {Elena V. Goncharova and
Alexander I. Ovseevich},
@editor = {Ivan Lirkov and
Svetozar Margenov and
Jerzy Wasniewski},
title = {Asymptotics for Singularly Perturbed Reachable Sets},
booktitle = {{LSSC}},
@series = {LNCS},
@volume = {5910},
pages = {280--285},
@publisher = {Springer},
year = {2009},
@url = {https://@doi.org/10.1007/978-3-642-12535-5_32},
@doi = {10.1007/978-3-642-12535-5_32}
}
@inproceedings{GreenstreetM99,
author = {Mark R. Greenstreet and
Ian Mitchell},
@editor = {Frits W. Vaandrager and
Jan H. van Schuppen},
title = {Reachability Analysis Using Polygonal Projections},
booktitle = {HSCC},
@series = {LNCS},
@volume = {1569},
pages = {103--116},
@publisher = {Springer},
year = {1999},
@url = {https://@doi.org/10.1007/3-540-48983-5_12},
@doi = {10.1007/3-540-48983-5_12}
}
@inproceedings{LeGuernicG09,
author = {Colas Le Guernic and
Antoine Girard},
@editor = {Ahmed Bouajjani and
Oded Maler},
title = {Reachability Analysis of Hybrid Systems Using Support Functions},
booktitle = {{CAV}},
@series = {LNCS},
@volume = {5643},
pages = {540--554},
@publisher = {Springer},
year = {2009},
@url = {https://@doi.org/10.1007/978-3-642-02658-4_40},
@doi = {10.1007/978-3-642-02658-4_40}
}
@article{gustavson1978two,
author = {Fred G. Gustavson},
title = {Two Fast Algorithms for Sparse Matrices: Multiplication and Permuted Transposition},
journal = {{ACM} Trans. Math. Softw.},
volume = {4},
number = {3},
pages = {250--269},
year = {1978},
@url = {http://@doi.acm.org/10.1145/355791.355796},
@doi = {10.1145/355791.355796}
}
@inproceedings{HanK06,
author = {Zhi Han and
Bruce H. Krogh},
@editor = {Jo{\~{a}}o P. Hespanha and
Ashish Tiwari},
title = {Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes},
booktitle = {{HSCC}},
@series = {LNCS},
@volume = {3927},
pages = {287--301},
@publisher = {Springer},
year = {2006},
@url = {https://@doi.org/10.1007/11730637_23},
@doi = {10.1007/11730637_23}
}
@inproceedings{JeannetSS14,
author = {Bertrand Jeannet and
Peter Schrammel and
Sriram Sankaranarayanan},
@editor = {Suresh Jagannathan and
Peter Sewell},
title = {Abstract acceleration of general linear loops},
booktitle = {{POPL}},
pages = {529--540},
@publisher = {{ACM}},
year = {2014},
@url = {http://@doi.acm.org/10.1145/2535838.2535843},
@doi = {10.1145/2535838.2535843}
}
@inproceedings{kaynama2009schur,
author = {Shahab Kaynama and
Meeko Oishi},
title = {Schur-based decomposition for reachability analysis of linear time-invariant systems},
booktitle = {{CDC}},
pages = {69--74},
@publisher = {{IEEE}},
year = {2009},
@url = {https://@doi.org/10.1109/CDC.2009.5400336},
@doi = {10.1109/CDC.2009.5400336}
}
@inproceedings{kaynama2010overapproximating,
author = {Kaynama, Shahab and Oishi, Meeko},
title = {Overapproximating the reachable sets of {LTI} systems through a similarity transformation},
booktitle = {{ACC}},
year = {2010},
pages = {1874-1879},
@url = {https://@doi.org/10.1109/ACC.2010.5531392},
@doi = {10.1109/ACC.2010.5531392},
}
@article{kaynama2011complexity,
author = {Shahab Kaynama and
Meeko Oishi},
title = {Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems},
journal = {Int. J. Control},
volume = {84},
number = {1},
pages = {165--179},
year = {2011},
@url = {https://@doi.org/10.1080/00207179.2010.543703},
@doi = {10.1080/00207179.2010.543703}
}
@inproceedings{KurzhanskiV00,
author = {Alexander B. Kurzhanski and
Pravin Varaiya},
@editor = {Nancy A. Lynch and
Bruce H. Krogh},
title = {Ellipsoidal Techniques for Reachability Analysis},
booktitle = {{HSCC}},
@series = {LNCS},
@volume = {1790},
pages = {202--214},
@publisher = {Springer},
year = {2000},
@url = {https://@doi.org/10.1007/3-540-46430-1_19},
@doi = {10.1007/3-540-46430-1_19}
}
@inproceedings{kurzhanskiy2006ellipsoidal,
author = {Alexander A. Kurzhanskiy and
Pravin Varaiya},
title = {Ellipsoidal Toolbox (ET)},
booktitle = {{CDC}},
year = {2006},
pages = {1498-1503},
@url = {https://@doi.org/10.1109/CDC.2006.377036},
@doi = {10.1109/CDC.2006.377036}
}
@phdthesis{LeGuernic09,
author = {Colas {Le Guernic}},
title = {Reachability analysis of hybrid systems with linear continuous dynamics},
school = {Universit{\'e} Grenoble 1 - Joseph Fourier},
year = {2009}
}
@article{LeGuernic2010250,
author = {Colas {Le Guernic} and
Antoine Girard},
title = {Reachability analysis of linear systems using support functions},
journal = {Nonlinear Analysis: Hybrid Systems},
volume = {4},
number = {2},
pages = {250 - 262},
year = {2010},
note = {IFAC World Congress 2008},
@url = {https://@doi.org/10.1016/j.nahs.2009.03.002},
@doi = {10.1016/j.nahs.2009.03.002}
}
@article{lotov2008modified,
author = {Lotov, Alexander Vladimirovich and Pospelov, Alexis I},
title = {The modified method of refined bounds for polyhedral approximation of convex polytopes},
journal = {Computational Mathematics and Mathematical Physics},
volume = {48},
number = {6},
pages = {933--941},
year = {2008},
@publisher = {Springer},
@url = {https://@doi.org/10.1134/S0965542508060055},
@doi = {10.1134/S0965542508060055}
}
@inproceedings{Monniaux10quantifiers,
author = {David Monniaux},
@editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {Quantifier Elimination by Lazy Model Enumeration},
booktitle = {{CAV}},
@series = {LNCS},
@volume = {6174},
pages = {585--599},
@publisher = {Springer},
year = {2010},
@url = {https://@doi.org/10.1007/978-3-642-14295-6_51},
@doi = {10.1007/978-3-642-14295-6_51}
}
@article{sidje1998expokit,
author = {Roger B. Sidje},
title = {Expokit: {A} Software Package for Computing Matrix Exponentials},
journal = {{ACM} Trans. Math. Softw.},
volume = {24},
number = {1},
pages = {130--156},
year = {1998},
@url = {http://@doi.acm.org/10.1145/285861.285868},
@doi = {10.1145/285861.285868}
}
@inproceedings{TranNJ16,
author = {Hoang{-}Dung Tran and
Luan Viet Nguyen and
Taylor T. Johnson},
@editor = {Goran Frehse and
Matthias Althoff},
title = {Large-Scale Linear Systems from Order-Reduction},
booktitle = {{ARCH}},
@series = {EPiC Series in Computing},
volume = {43},
pages = {60--67},
@publisher = {EasyChair},
year = {2016},
@url = {http://www.easychair.org/publications/paper/334337},
}
@article{TranNXJ17,
author = {Hoang{-}Dung Tran and
Luan Viet Nguyen and
Weiming Xiang and
Taylor T. Johnson},
title = {Order-reduction abstractions for safety verification of high-dimensional linear systems},
journal = {Discrete Event Dynamic Systems},
volume = {27},
number = {2},
pages = {443--461},
year = {2017},
@url = {https://@doi.org/10.1007/s10626-017-0244-y},
@doi = {10.1007/s10626-017-0244-y}
}
@inproceedings{ray2015xspeed,
title = {XSpeed: Accelerating reachability analysis on multi-core processors},
author = {Ray, Rajarshi and Gurung, Amit and Das, Binayak and Bartocci, Ezio and Bogomolov, Sergiy and Grosu, Radu},
booktitle = {Haifa Verification Conference},
pages = {3--18},
year = {2015},
organization = {Springer}
}
@inproceedings{SeladjiB13,
author = {Yassamine Seladji and
Olivier Bouissou},
title = {Numerical Abstract Domain Using Support Functions},
booktitle = {{NASA} Formal Methods},
@series = {LNCS},
@volume = {7871},
pages = {155--169},
@publisher = {Springer},
year = {2013},
@url = {https://doi.org/10.1007/978-3-642-38088-4_11},
@doi = {10.1007/978-3-642-38088-4_11},
}
@inproceedings{HoenickeMP17,
author = {Jochen Hoenicke and
Rupak Majumdar and
Andreas Podelski},
title = {Thread modularity at many levels: a pearl in compositional verification},
booktitle = {{POPL}},
pages = {473--485},
@publisher = {{ACM}},
year = {2017},
@url = {http://dl.acm.org/citation.cfm?id=3009893},
}
@inproceedings{SchuppNA17,
author = {Stefan Schupp and
Johanna Nellen and
Erika {\'{A}}brah{\'{a}}m},
title = {Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis},
booktitle = {QAPL@ETAPS},
@series = {{EPTCS}},
@volume = {250},
pages = {1--14},
year = {2017},
@url = {https://doi.org/10.4204/EPTCS.250.1},
@doi = {10.4204/EPTCS.250.1}
}
@inproceedings{C2E2,
author = {Parasara Sridhar Duggirala and
Sayan Mitra and
Mahesh Viswanathan and
Matthew Potok},
title = {{C2E2:} {A} Verification Tool for Stateflow Models},
booktitle = {{TACAS}},
@series = {LNCS},
@volume = {9035},
pages = {68--82},
@publisher = {Springer},
year = {2015},
@url = {https://doi.org/10.1007/978-3-662-46681-0_5},
@doi = {10.1007/978-3-662-46681-0_5},
}
@inproceedings{YanG08a,
author = {Chao Yan and
Mark R. Greenstreet},
title = {Faster projection based methods for circuit level verification},
booktitle = {{ASP-DAC}},
pages = {410--415},
@publisher = {{IEEE}},
year = {2008},
}
@article{MitchellT03,
author = {Ian M. Mitchell and
Claire Tomlin},
title = {Overapproximating Reachable Sets by Hamilton-Jacobi Projections},
journal = {J. Sci. Comput.},
volume = {19},
number = {1-3},
pages = {323--346},
year = {2003}
}
@inproceedings{DBLP:conf/atva/BogomolovMP10,
author = {Sergiy Bogomolov and
Corina Mitrohin and
Andreas Podelski},
title = {Composing Reachability Analyses of Hybrid Systems for Safety and Stability},
booktitle = {8th International Symposium on Automated Technology for
Verification and Analysis ({ATVA} 2010)},
pages = {67--81},
year = {2010},
volume={6252},
series={LNCS},
@publisher={Springer},
}
@inproceedings{DBLP:conf/hybrid/BogomolovHMWP14,
author = {Sergiy Bogomolov and
Christian Herrera and
Marco Mu{\~{n}}iz and
Bernd Westphal and
Andreas Podelski},
title = {Quasi-dependent variables in hybrid automata},
booktitle = {17th International Conference on Hybrid Systems:
Computation and Control (HSCC 2014)},
pages = {93--102},
year = {2014},
timestamp = {Tue, 22 Apr 2014 20:59:57 +0200},
bibsource = {dblp computer science bibliography, http://dblp.org},
@publisher = {{ACM}},
}
@inproceedings{DBLP:conf/hybrid/FrehseBGSP15,
author = {Goran Frehse and
Sergiy Bogomolov and
Marius Greitschus and
Thomas Strump and
Andreas Podelski},
title = {Eliminating spurious transitions in reachability with support functions},
booktitle = {18th International Conference on Hybrid Systems:
Computation and Control (HSCC 2015)},
pages = {149--158},
year = {2015},
@publisher = {{ACM}}
}
@inproceedings{bogomolov-et-al:tacas-2017,
author = {Sergiy Bogomolov and Goran Frehse and Mirco Giacobbe and Thomas A. Henzinger},
title = {Counterexample-guided refinement of template polyhedra},
booktitle = {23rd International Conference on Tools and Algorithms
for the Construction and Analysis of Systems
({TACAS} 2017)},
pages = {589--606},
@series = {{LNCS}},
@volume = {10205},
year = {2017},
@publisher = {Springer},
}
@inproceedings{Althoff15cora,
author = {Matthias Althoff},
title = {An Introduction to {CORA} 2015},
booktitle = {ARCH@CPSWeek},
@series = {EPiC Series in Computing},
@volume = {34},
pages = {120--151},
@publisher = {EasyChair},
year = {2015},
@url = {http://www.easychair.org/publications/paper/248657}
}
@inproceedings{ChenAS13flowstar,
author = {Xin Chen and
Erika {\'{A}}brah{\'{a}}m and
Sriram Sankaranarayanan},
title = {Flow*: An Analyzer for Non-linear Hybrid Systems},
booktitle = {{CAV}},
@series = {LNCS},
@volume = {8044},
pages = {258--263},
@publisher = {Springer},
year = {2013},
@url = {https://doi.org/10.1007/978-3-642-39799-8_18},
@doi = {10.1007/978-3-642-39799-8_18}
}
@inproceedings{MakhloufHK16hyreach,
author = {Ibtissem Ben Makhlouf and
Norman Hansen and
Stefan Kowalewski},
title = {HyReach: {A} Reachability Tool for Linear Hybrid Systems Based on
Support Functions},
booktitle = {ARCH@CPSWeek},
@series = {EPiC Series in Computing},
@volume = {43},
pages = {68--79},
@publisher = {EasyChair},
year = {2016},
@url = {http://www.easychair.org/publications/paper/334327}
}
@inproceedings{MohlmannHR16soapbox,
author = {Eike M{\"{o}}hlmann and
Willem Hagemann and
Astrid Rakow},
title = {Verifying a {PI} Controller using {SoapBox} and {S}tabhyli},
booktitle = {ARCH@CPSWeek},
@series = {EPiC Series in Computing},
@volume = {43},
pages = {115--125},
@publisher = {EasyChair},
year = {2016},
@url = {http://www.easychair.org/publications/paper/334340}
}
@inproceedings{SchuppAMK17hypro,
author = {Stefan Schupp and
Erika {\'{A}}brah{\'{a}}m and
Ibtissem Ben Makhlouf and
Stefan Kowalewski},
title = {{HyPro}: {A} {C}++ Library of State Set Representations for Hybrid Systems
Reachability Analysis},
booktitle = {{NFM}},
@series = {LNCS},
@volume = {10227},
pages = {288--294},
year = {2017},
@url = {https://doi.org/10.1007/978-3-319-57288-8_20},
@doi = {10.1007/978-3-319-57288-8_20}
}
@inproceedings{HSCC-deco,
author = {Sergiy Bogomolov and
Marcelo Forets and
Goran Frehse and
Fr{\'{e}}d{\'{e}}ric Viry and
Andreas Podelski and
Christian Schilling},
title = {Reach Set Approximation through Decomposition with Low-dimensional
Sets and High-dimensional Matrices},
booktitle = {{HSCC}},
pages = {41--50},
@publisher = {{ACM}},
year = {2018},
@url = {http://doi.acm.org/10.1145/3178126.3178128},
@doi = {10.1145/3178126.3178128}
}
@inproceedings{AlthoffSB07,
author = {Matthias Althoff and
Olaf Stursberg and
Martin Buss},
title = {Reachability analysis of linear systems with uncertain parameters
and inputs},
booktitle = {{CDC}},
pages = {726--732},
@publisher = {{IEEE}},
year = {2007},
@url = {https://doi.org/10.1109/CDC.2007.4434084},
@doi = {10.1109/CDC.2007.4434084}
}
@article{AlurCHHHNOSY95,
author = {Rajeev Alur and
Costas Courcoubetis and
Nicolas Halbwachs and
Thomas A. Henzinger and
Pei{-}Hsin Ho and
Xavier Nicollin and
Alfredo Olivero and
Joseph Sifakis and
Sergio Yovine},
title = {The Algorithmic Analysis of Hybrid Systems},
journal = {Theor. Comput. Sci.},
volume = {138},
number = {1},
pages = {3--34},
year = {1995},
@url = {https://doi.org/10.1016/0304-3975(94)00202-T},
@doi = {10.1016/0304-3975(94)00202-T}
}
@inproceedings{Frehse012,
author = {Goran Frehse and
Rajarshi Ray},
title = {Flowpipe-Guard Intersection for Reachability Computations with Support
Functions},
booktitle = {ADHS}},
series = {{IFAC} Proceedings Volumes},
volume = {45},
number = {9},
pages = {94--101},
@publisher = {Elsevier},
year = {2012},
@url = {https://doi.org/10.3182/20120606-3-NL-3011.00053},
@doi = {10.3182/20120606-3-NL-3011.00053}
}
@inproceedings{AlurCHH92,
author = {Rajeev Alur and
Costas Courcoubetis and
Thomas A. Henzinger and
Pei{-}Hsin Ho},
title = {Hybrid Automata: An Algorithmic Approach to the Specification and
Verification of Hybrid Systems},
booktitle = {Hybrid Systems},
series = {LNCS},
volume = {736},
pages = {209--229},
@publisher = {Springer},
year = {1992},
@url = {https://doi.org/10.1007/3-540-57318-6\_30},
@doi = {10.1007/3-540-57318-6\_30}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment