%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/

%% Created for Bastian at 2019-01-23 11:28:28 +0100 


%% Saved with string encoding Unicode (UTF-8) 



@inproceedings{Althoff2015a,
	Author = {M. Althoff},
	Booktitle = {Proc. of the Workshop on Applied Verification for Continuous and Hybrid Systems},
	Owner = {matthias},
	Timestamp = {2015.03.20},
	Title = {An Introduction to CORA 2015},
	Year = {2015}}

@inproceedings{Althoff2017b,
	Author = {M. Althoff and S. Bak and D. Cattaruzza and X. Chen and G. Frehse and R. Ray and S. Schupp},
	Booktitle = {Proc. of the 4th International Workshop on Applied Verification for Continuous and Hybrid Systems},
	Owner = {matthias},
	Pages = {143-159},
	Timestamp = {2017.06.20},
	Title = {ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics},
	Year = {2017}}

@inproceedings{Althoff2018c,
	Author = {M. Althoff and S. Bak and X. Chen and C. Fan and M. Forets and G. Frehse and N. Kochdumper and Y. Li and S. Mitra and R. Ray and C. Schilling and S. Schupp},
	Booktitle = {Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems},
	Comment = {UnCoVerCPS},
	Owner = {matthias},
	Pages = {23-52},
	Timestamp = {2018.08.03},
	Title = {ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics},
	Year = {2018}}

@inproceedings{Althoff2016c,
	Author = {M. Althoff and G. Frehse},
	Booktitle = {Proc. of the 55th IEEE Conference on Decision and Control},
	Owner = {matthias},
	Timestamp = {2016.09.16},
	Title = {Combining Zonotopes and Support Functions for Efficient Reachability Analysis of Linear Systems},
	Year = {2016}}

@inproceedings{Althoff2016a,
	Author = {M. Althoff and D. Grebenyuk},
	Booktitle = {Proc. of the 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems},
	Owner = {matthias},
	Timestamp = {2016.07.20},
	Title = {Implementation of Interval Arithmetic in CORA 2016},
	Year = {2016}}

@inproceedings{Althoff2018b,
	Author = {M. Althoff and D. Grebenyuk and N. Kochdumper},
	Booktitle = {Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems},
	Owner = {matthias},
	Pages = {145-173},
	Timestamp = {2018.06.26},
	Title = {Implementation of Taylor Models in CORA 2018},
	Year = {2018}}

@inproceedings{Beckert2017,
	Author = {D. Beckert and A. Pereira and M. Althoff},
	Booktitle = {Proc. of the 56th IEEE Conference on Decision and Control},
	Owner = {matthias},
	Timestamp = {2017.07.12},
	Title = {Online Verification of Multiple Safety Criteria for a Robot Trajectory},
	Year = {2017}}

@inproceedings{Calzolari2017a,
	Author = {Calzolari, Davide and Sch\"urmann, Bastian and Althoff, Matthias},
	Booktitle = {Proc. of the 20th IEEE International Conference on Intelligent Transportation Systems},
	Date-Added = {2017-11-16 17:00:08 +0000},
	Date-Modified = {2019-01-23 10:28:28 +0000},
	Pages = {1675-1682},
	Title = {Comparison of Trajectory Tracking Controllers for Autonomous Vehicles},
	Year = {2017}}

@inproceedings{Chen2017,
	Author = {X. Chen and M. Althoff and F. Immler},
	Booktitle = {Proc. of the 4th International Workshop on Applied Verification for Continuous and Hybrid Systems},
	Owner = {matthias},
	Pages = {160-169},
	Timestamp = {2017.06.20},
	Title = {ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics},
	Year = {2017}}

@inproceedings{El-Guindy2017c,
	Author = {A. El-Guindy and K. Schaab and B. Sch\"urmann and D. Han and O. Stursberg and M. Althoff},
	Booktitle = {Proc. of the IEEE PES General Meeting},
	Comment = {AL 1185/2-1, UnCoVerCPS},
	Date-Modified = {2019-01-23 10:28:09 +0000},
	Note = {accepted},
	Owner = {matthias},
	Timestamp = {2017.02.23},
	Title = {Formal LPV Control for Transient Stability of Power Systems},
	Year = {2017}}

@inproceedings{Giusti2016a,
	Author = {A. Giusti and M. Althoff},
	Booktitle = {Proc. of the American Control Conference},
	Comment = {SMART-E, UnCoVerCPS},
	Owner = {matthias},
	Pages = {2995-3001},
	Timestamp = {2016.03.02},
	Title = {Ultimate Robust Performance Control of Rigid Robot Manipulators Using Interval Arithmetic},
	Year = {2016}}

@inproceedings{Gruber2018a,
	Author = {F. Gruber and M. Althoff},
	Booktitle = {Proc. of the 21st IEEE International Conference on Intelligent Transportation Systems},
	Comment = {UnCoVerCPS},
	Owner = {matthias},
	Timestamp = {2018.07.08},
	Title = {Anytime Safety Verification of Autonomous Vehicles},
	Year = {2018}}

@inproceedings{Hisch2017,
	Author = {F. Hisch and A. Giusti and M. Althoff},
	Booktitle = {Proc. of the 20th World Congress of the International Federation of Automatic Control},
	Comment = {SMART-E, UnCoVerCPS},
	Note = {accepted},
	Owner = {matthias},
	Timestamp = {2017.02.28},
	Title = {Robust Control of Continuum Robots using Interval Arithmetic},
	Year = {2017}}

@inproceedings{Immler2018,
	Author = {F. Immler and M. Althoff and X. Chen and C. Fan and G. Frehse and N. Kochdumper and Y. Li and S. Mitra and M.S. Tomar and M. Zamani},
	Booktitle = {Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems},
	Comment = {UnCoVerCPS},
	Owner = {matthias},
	Pages = {53-70},
	Timestamp = {2018.08.03},
	Title = {ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics},
	Year = {2018}}

@inproceedings{Kopetzki2017a,
	Author = {Kopetzki, Anna-Kathrin and Sch\"urmann, Bastian and Althoff, Matthias},
	Booktitle = {Proc. of the 56th IEEE Conference on Decision and Control},
	Date-Added = {2018-01-10 13:57:00 +0000},
	Date-Modified = {2019-01-23 10:27:26 +0000},
	Pages = {5626-5633},
	Title = {Methods for Order Reduction of Zonotopes},
	Year = {2017}}

@inproceedings{Liu2017a,
	Author = {S.~B. Liu and H. Roehm and C. Heinzemann and I. Lutkebohle and J. Oehlerking and M. Althoff},
	Booktitle = {Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems},
	Comment = {UnCoVerCPS},
	Owner = {matthias},
	Timestamp = {2017.02.28},
	Title = {Provably Safe Motion of Mobile Robots in Human Environments},
	Year = {2017}}

@inproceedings{Pereira2017a,
	Author = {A. Pereira and M. Althoff},
	Booktitle = {Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems},
	Comment = {SMART-E, UnCoVerCPS},
	Owner = {matthias},
	Timestamp = {2016.09.16},
	Title = {Calculating Human Reachable Occupancy for Guaranteed Collision-Free Planning},
	Year = {2017}}

@inproceedings{Pereira2017c,
	Author = {Aaron Pereira and Matthias Althoff},
	Booktitle = {ICRA-PlanRob-2017},
	Comment = {SMART-E, UnCoVerCPS},
	Owner = {matthias},
	Timestamp = {2017.03.16},
	Title = {Online Formal Verification of Robot Trajectories for Guaranteed Safety of Humans},
	Year = {2017}}

@techreport{Pereira2017d,
	Author = {A. Pereira and M. Althoff},
	Comment = {UnCoVerCPS, SMART-E},
	Institution = {Technical University of Munich},
	Number = {TUM-I1759},
	Owner = {matthias},
	Timestamp = {2017.12.28},
	Title = {A Cartesian-space method for calculating human reachable occupancy},
	Year = {2017}}

@inproceedings{Pereira2016b,
	Author = {A. Pereira and M. Althoff},
	Booktitle = {International Conference on Robotics and Automation},
	Comment = {SMART-E, UnCoVerCPS},
	Owner = {matthias},
	Pages = {1394-1401},
	Timestamp = {2015.10.05},
	Title = {Overapproximative Arm Occupancy Prediction for Human-Robot Interaction Built from Archetypal Movements},
	Year = {2016}}

@inproceedings{Rizaldi2018a,
	Author = {Albert Rizaldi and Fabian Immler and Bastian Sch\"urmann and Matthias Althoff},
	Booktitle = {Proc. of the International Symposium on Automated Technology for Verification and Analysis},
	Comment = {UnCoVerCPS, PUMA},
	Owner = {matthias},
	Pages = {75-90},
	Timestamp = {2018.01.02},
	Title = {A Formally Verified Motion Planner for Autonomous Vehicles},
	Year = {2018}}

@inproceedings{Rizaldi2017a,
	Author = {Albert Rizaldi and Jonas Keinholz and Monika Huber and Jochen Feldle and Fabian Immler and Matthias Althoff and Eric Hilgendorf and Tobias Nipkow},
	Booktitle = {Proc. of the 13th International Conference on integrated Formal Methods},
	Comment = {PUMA, UnCoVerCPS},
	Owner = {matthias},
	Timestamp = {2017.06.30},
	Title = {Formalising Traffic Rules for Autonomous Vehicles Involving Multiple Lanes in {Isabelle/HOL}},
	Year = {2017}}

@inproceedings{Roehm2016b,
	Author = {H. Roehm and J. Oehlerking and T. Heinz and M. Althoff},
	Booktitle = {Proc. of the 14th International Symposium on Automated Technology for Verification and Analysis},
	Comment = {UnCoVerCPS},
	Owner = {matthias},
	Pages = {412-427},
	Timestamp = {2016.05.11},
	Title = {STL Model Checking of Continuous and Hybrid Systems},
	Year = {2016}}

@inproceedings{Roehm2016,
	Author = {H. Roehm and J. Oehlerking and M. Woehrle and M. Althoff},
	Booktitle = {Proc. of Hybrid Systems: Computation and Control},
	Comment = {UnCoVerCPS},
	Owner = {matthias},
	Pages = {277-286},
	Timestamp = {2015.12.17},
	Title = {Reachset Conformance Testing of Hybrid Automata},
	Year = {2016}}

@inproceedings{Schuermann2017a,
	Author = {Sch\"urmann, Bastian and Althoff, Matthias},
	Booktitle = {Proc. Hybrid Systems: Computation and Control},
	Date-Added = {2017-02-17 16:27:48 +0000},
	Date-Modified = {2017-07-31 17:19:37 +0000},
	Pages = {121-130},
	Title = {Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems},
	Year = {2017}}

@inproceedings{Schuermann2017b,
	Author = {Sch\"urmann, Bastian and Althoff, Matthias},
	Booktitle = {Proc. of the American Control Conference},
	Date-Added = {2017-02-17 16:30:08 +0000},
	Date-Modified = {2017-07-31 17:19:05 +0000},
	Pages = {2522-2529},
	Title = {Optimal Control of Sets of Solutions to Formally Guarantee Constraints of Disturbed Linear Systems},
	Year = {2017}}

@inproceedings{Schuermann2017c,
	Author = {Sch\"urmann, Bastian and Althoff, Matthias},
	Booktitle = {Proc. of the 20th IFAC World Congress},
	Date-Added = {2017-04-06 18:08:59 +0000},
	Date-Modified = {2017-07-31 17:19:25 +0000},
	Pages = {12020-12027},
	Title = {Guaranteeing Constraints of Disturbed Nonlinear Systems Using Set-Based Optimal Control in Generator Space},
	Year = {2017}}

@inproceedings{Schuermann2016a,
	Author = {Sch\"urmann, Bastian and El-Guindy, Ahmed and Althoff, Matthias},
	Booktitle = {Proc. of the American Control Conference},
	Date-Added = {2016-11-16 15:16:53 +0000},
	Date-Modified = {2017-02-17 16:27:36 +0000},
	Pages = {2795-2801},
	Title = {Closed-Form Expressions of Convex Combinations},
	Year = {2016}}

@inproceedings{Schuermann2017d,
	Author = {Sch\"urmann, Bastian and He\ss, Daniel and Eilbrecht, Jan and Stursberg, Olaf and K\"oster, Frank and Althoff, Matthias},
	Booktitle = {Proc. of the Intelligent Transportation Systems Conference},
	Date-Added = {2017-07-31 16:36:36 +0000},
	Date-Modified = {2017-11-16 17:00:42 +0000},
	Pages = {1661-1668},
	Title = {Ensuring Drivability of Planned Motions Using Formal Methods},
	Year = {2017}}

@inproceedings{Schuermann2018a,
	Author = {Sch\"urmann, Bastian and Kochdumper, Niklas and Althoff, Matthias},
	Booktitle = {Proc. of the 57th Conference on Decision and Control},
	Date-Added = {2018-10-17 09:21:53 +0000},
	Date-Modified = {2019-01-15 12:13:25 +0000},
	Pages = {3463-3470},
	Title = {Reachset Model Predictive Control of Disturbed Nonlinear Systems},
	Year = {2018}}

@inproceedings{Stark2018,
	Author = {Cedric Stark and Aaron Pereira and Matthias Althoff},
	Booktitle = {Proc. of the IEEE International Conference on Robotic Computing},
	Comment = {UnCoVerCPS},
	Owner = {matthias},
	Pages = {209-216},
	Timestamp = {2017.10.02},
	Title = {Reachset Conformance Testing of Human Arms with a Biomechanical Model},
	Year = {2018}}

@inproceedings{Wagner2018,
	Author = {Michael Wagner and Stefan Liu and Andrea Giusti and Matthias Althoff},
	Booktitle = {Proc. of IEEE International Conference on Robotic Computing},
	Comment = {UnCoVerCPS},
	Owner = {matthias},
	Timestamp = {2017.10.19},
	Title = {Interval-Arithmetic-Based Trajectory Scaling and Collision Detection for Robots with Uncertain Dynamics},
	Year = {2018}}

@inproceedings{Zeestraten2016,
	Author = {M.~J.~A. Zeestraten and A. Pereira and M. Althoff and S. Calinon},
	Booktitle = {Proc. of IEEE International Conference on Systems, Man, and Cybernetics},
	Comment = {SMART-E, UnCoVerCPS},
	Owner = {matthias},
	Pages = {2116-2121},
	Timestamp = {2016.04.18},
	Title = {Online Motion Synthesis with Minimal Intervention Control and Formal Safety Guarantees},
	Year = {2016}}
