% This file was created with JabRef 2.7b.
% Encoding: UTF-8

@INPROCEEDINGS{Althoff2015a,
  author = {M. Althoff},
  title = {An Introduction to {CORA} 2015},
  booktitle = {Proc. of the Workshop on Applied Verification for Continuous and
	Hybrid Systems},
  year = {2015},
  owner = {matthias},
  timestamp = {2015.03.20}
}

@INPROCEEDINGS{Althoff2017b,
  author = {M. Althoff and S. Bak and D. Cattaruzza and X. Chen and G. Frehse
	and R. Ray and S. Schupp},
  title = {ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear
	Continuous Dynamics},
  booktitle = {Proc. of the 4th International Workshop on Applied Verification for
	Continuous and Hybrid Systems},
  year = {2017},
  pages = {143-159},
  owner = {matthias},
  timestamp = {2017.06.20}
}

@INPROCEEDINGS{Althoff2016c,
  author = {M. Althoff and G. Frehse},
  title = {Combining Zonotopes and Support Functions for Efficient Reachability
	Analysis of Linear Systems},
  booktitle = {Proc. of the 55th IEEE Conference on Decision and Control},
  year = {2016},
  owner = {matthias},
  timestamp = {2016.09.16}
}

@INPROCEEDINGS{Althoff2016a,
  author = {M. Althoff and D. Grebenyuk},
  title = {Implementation of Interval Arithmetic in {CORA} 2016},
  booktitle = {Proc. of the 3rd International Workshop on Applied Verification for
	Continuous and Hybrid Systems},
  year = {2016},
  owner = {matthias},
  timestamp = {2016.07.20}
}

@INPROCEEDINGS{Chen2017,
  author = {X. Chen and M. Althoff and F. Immler},
  title = {ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics},
  booktitle = {Proc. of the 4th International Workshop on Applied Verification for
	Continuous and Hybrid Systems},
  year = {2017},
  pages = {160-169},
  owner = {matthias},
  timestamp = {2017.06.20}
}

@INPROCEEDINGS{El-Guindy2017c,
  author = {A. El-Guindy and K. Schaab and B. Sch{\"u}rmann and D. Han and O.
	Stursberg and M. Althoff},
  title = {Formal LPV Control for Transient Stability of Power Systems},
  booktitle = {Proc. of the IEEE PES General Meeting},
  year = {2017},
  note = {accepted},
  comment = {AL 1185/2-1, UnCoVerCPS},
  owner = {matthias},
  timestamp = {2017.02.23}
}

@INPROCEEDINGS{Giusti2016a,
  author = {A. Giusti and M. Althoff},
  title = {Ultimate Robust Performance Control of Rigid Robot Manipulators Using
	Interval Arithmetic},
  booktitle = {Proc. of the American Control Conference},
  year = {2016},
  pages = {2995-3001},
  comment = {SMART-E, UnCoVerCPS},
  owner = {matthias},
  timestamp = {2016.03.02}
}

@INPROCEEDINGS{Hisch2017,
  author = {F. Hisch and A. Giusti and M. Althoff},
  title = {Robust Control of Continuum Robots using Interval Arithmetic},
  booktitle = {Proc. of the 20th World Congress of the International Federation
	of Automatic Control},
  year = {2017},
  note = {accepted},
  comment = {SMART-E, UnCoVerCPS},
  owner = {matthias},
  timestamp = {2017.02.28}
}

@INPROCEEDINGS{Pereira2016b,
  author = {A. Pereira and M. Althoff},
  title = {Overapproximative Arm Occupancy Prediction for Human-Robot Interaction
	Built from Archetypal Movements},
  booktitle = {International Conference on Robotics and Automation},
  year = {2016},
  pages = {1394-1401},
  comment = {SMART-E, UnCoVerCPS},
  owner = {matthias},
  timestamp = {2015.10.05}
}

@INPROCEEDINGS{Roehm2016b,
  author = {H. Roehm and J. Oehlerking and T. Heinz and M. Althoff},
  title = {{STL} Model Checking of Continuous and Hybrid Systems},
  booktitle = {Proc. of the 14th International Symposium on Automated Technology
	for Verification and Analysis},
  year = {2016},
  pages = {412-427},
  comment = {UnCoVerCPS},
  owner = {matthias},
  timestamp = {2016.05.11}
}

@INPROCEEDINGS{Roehm2016,
  author = {H. Roehm and J. Oehlerking and M. Woehrle and M. Althoff},
  title = {Reachset Conformance Testing of Hybrid Automata},
  booktitle = {Proc. of Hybrid Systems: Computation and Control},
  year = {2016},
  pages = {277-286},
  comment = {UnCoVerCPS},
  owner = {matthias},
  timestamp = {2015.12.17}
}

@INPROCEEDINGS{Schuermann2017a,
  author = {Sch\"urmann, Bastian and Althoff, Matthias},
  title = {Convex Interpolation Control with Formal Guarantees for Disturbed
	and Constrained Nonlinear Systems},
  booktitle = {Proc. Hybrid Systems: Computation and Control},
  year = {2017},
  pages = {121-130},
  date-added = {2017-02-17 16:27:48 +0000},
  date-modified = {2017-07-31 17:19:37 +0000}
}

@INPROCEEDINGS{Schuermann2017b,
  author = {Sch\"urmann, Bastian and Althoff, Matthias},
  title = {Optimal Control of Sets of Solutions to Formally Guarantee Constraints
	of Disturbed Linear Systems},
  booktitle = {Proc. of the American Control Conference},
  year = {2017},
  pages = {2522-2529},
  date-added = {2017-02-17 16:30:08 +0000},
  date-modified = {2017-07-31 17:19:05 +0000}
}

@INPROCEEDINGS{Schuermann2017c,
  author = {Sch\"urmann, Bastian and Althoff, Matthias},
  title = {Guaranteeing Constraints of Disturbed Nonlinear Systems Using Set-Based
	Optimal Control in Generator Space},
  booktitle = {Proc. of the 20th IFAC World Congress},
  year = {2017},
  pages = {12020-12027},
  date-added = {2017-04-06 18:08:59 +0000},
  date-modified = {2017-07-31 17:19:25 +0000}
}

@INPROCEEDINGS{Schuermann2016a,
  author = {Sch\"urmann, Bastian and El-Guindy, Ahmed and Althoff, Matthias},
  title = {Closed-Form Expressions of Convex Combinations},
  booktitle = {Proc. of the American Control Conference},
  year = {2016},
  pages = {2795-2801},
  date-added = {2016-11-16 15:16:53 +0000},
  date-modified = {2017-02-17 16:27:36 +0000}
}

@INPROCEEDINGS{Schuermann2017d,
  author = {Sch\"urmann, Bastian and He\ss, Daniel and Eilbrecht, Jan and Stursberg,
	Olaf and K\"oster, Frank and Althoff, Matthias},
  title = {Ensuring Drivability of Planned Motions Using Formal Methods},
  booktitle = {Proc. of the Intelligent Transportation Systems Conference},
  year = {2017},
  date-added = {2017-07-31 16:36:36 +0000},
  date-modified = {2017-07-31 16:40:09 +0000}
}

@INPROCEEDINGS{Zeestraten2016,
  author = {M.~J.~A. Zeestraten and A. Pereira and M. Althoff and S. Calinon},
  title = {Online Motion Synthesis with Minimal Intervention Control and Formal
	Safety Guarantees},
  booktitle = {Proc. of IEEE International Conference on Systems, Man, and Cybernetics},
  year = {2016},
  pages = {2116-2121},
  comment = {SMART-E, UnCoVerCPS},
  owner = {matthias},
  timestamp = {2016.04.18}
}

