11.08., 9:00 - 11:00: Due to updates GitLab will be unavailable for some minutes between 09:00 and 11:00.

Commit 1a67d705 authored by Moritz Klischat's avatar Moritz Klischat

updated to 2019b

parent 7a131d25
This source diff could not be displayed because it is too large. You can view the blob instead.
% This file was created with JabRef 2.7b.
% Encoding: Cp1252
@INPROCEEDINGS{Althoff2015b,
author = {D. Althoff and M. Althoff and S. Scherer},
title = {Online Safety Verification of Trajectories for Unmanned Flight with
Offline Computed Robust Invariant Sets},
booktitle = {Proc. of the IEEE/RSJ International Conference on Intelligent Robots
and Systems},
year = {2015},
pages = {3470-3477},
comment = {vCar},
owner = {matthias},
timestamp = {2015.06.29}
}
@INPROCEEDINGS{Althoff2010b,
author = {D. Althoff and M. Althoff and D. Wollherr and M. Buss},
title = {Probabilistic Collision State Checker for Crowded Environments},
booktitle = {Proc. of the IEEE International Conference on Robotics and Automation},
year = {2010},
pages = {1492-1498},
filelinks = {[preprint]:media/New Volume/other/Jemdoc website/publications/2010/althoff-2010-ICRA.pdf:PDF;
[talk]:media/New Volume/other/Jemdoc website/talks/2010/althoff-2010-ICRA_talk.pdf:PDF},
owner = {matthias},
timestamp = {2010.06.06}
}
@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},
pages = {120-151},
comment = {UnCoVerCPS},
owner = {matthias},
timestamp = {2015.03.20}
}
@MANUAL{Althoff2015c,
title = {CORA 2015},
author = {M. Althoff},
organization = {Technische Universit\"at M\"unchen},
year = {2015},
owner = {matthias},
timestamp = {2016.05.19}
}
@ELECTRONIC{Althoff2015d,
author = {M. Althoff},
year = {2015},
title = {On Computing the Minkowski Difference of Zonotopes},
howpublished = {arXiv:1512.02794},
url = {http://arxiv.org/abs/1512.02794},
comment = {UnCoVerCPS},
owner = {matthias},
timestamp = {2015.10.05}
}
@ARTICLE{Althoff2014c,
author = {M. Althoff},
title = {Formal and Compositional Analysis of Power Systems using Reachable
Sets},
journal = {IEEE Transactions on Power Systems},
year = {2014},
volume = {29},
pages = {2270-2280},
number = {5},
owner = {matthias},
timestamp = {2014.03.04}
}
@INPROCEEDINGS{Althoff2013a,
author = {M. Althoff},
title = {Reachability Analysis of Nonlinear Systems using Conservative Polynomialization
and Non-Convex Sets},
booktitle = {Hybrid Systems: Computation and Control},
year = {2013},
pages = {173-182},
owner = {matthias},
timestamp = {2012.12.23}
}
@PHDTHESIS{Althoff2010a,
author = {M. Althoff},
title = {Reachability Analysis and its Application to the Safety Assessment
of Autonomous Cars},
school = {Technische Universit\"{a}t M\"{u}nchen},
year = {2010},
type = {Dissertation},
note = {http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20100715-963752-1-4},
filelinks = {[pdf]:media/New Volume/other/Jemdoc website/publications/2010/althoff-2010-thesis.pdf:PDF;
[defense talk]:media/New Volume/other/Jemdoc website/talks/2010/althoff-2010-thesis_talk.pdf:PDF},
owner = {matthias},
timestamp = {2010.08.03}
}
@MASTERSTHESIS{Althoff2005,
author = {M. Althoff},
title = {Nonlinear Dynamics and Control of Integrally Actuated Helicopter
Blades},
school = {Technische Universit\"{a}t M\"{u}nchen},
year = {2005},
filelinks = {[pdf]:media/New Volume/other/Jemdoc website/publications/2005/althoff-2005-diplomaThesis.pdf:PDF},
owner = {matthias},
timestamp = {2011.05.22}
}
@INPROCEEDINGS{Althoff2010c,
author = {M. Althoff and D. Althoff and D. Wollherr and M. Buss},
title = {Safety Verification of Autonomous Vehicles for Coordinated Evasive
Maneuvers},
booktitle = {Proc. of the IEEE Intelligent Vehicles Symposium},
year = {2010},
pages = {1078-1083},
filelinks = {[preprint]:media/New Volume/other/Jemdoc website/publications/2010/althoff-2010-IV.pdf:PDF;
[poster]:media/New Volume/other/Jemdoc website/posters/2010/althoff-2010-IV_poster.pdf:PDF},
owner = {matthias},
timestamp = {2010.06.06}
}
@INPROCEEDINGS{Althoff2012c,
author = {M. Althoff and M. Cvetkovi{\'c} and M. Ili{\'c}},
title = {Transient Stability Analysis by Reachable Set Computation},
booktitle = {Proc. of the IEEE PES Conference on Innovative Smart Grid Technologies
Europe},
year = {2012},
owner = {matthias},
timestamp = {2012.10.22}
}
@ARTICLE{Althoff2014b,
author = {M.~Althoff and J.~M.~Dolan},
title = {Online Verification of Automated Road Vehicles Using Reachability
Analysis},
journal = {IEEE Transactions on Robotics},
year = {2014},
volume = {30},
pages = {903-918},
number = {4},
comment = {vCar},
owner = {matthias},
timestamp = {2014.01.14}
}
@INPROCEEDINGS{Althoff2012b,
author = {M. Althoff and J.~M. Dolan},
title = {Reachability Computation of Low-Order Models for the Safety Verification
of High-Order Road Vehicle Models},
booktitle = {Proc. of the American Control Conference},
year = {2012},
pages = {3559-3566},
owner = {matthias},
timestamp = {2012.03.28}
}
@INPROCEEDINGS{Althoff2011e,
author = {M. Althoff and J.~M. Dolan},
title = {Set-Based Computation of Vehicle Behaviors for the Online Verification
of Autonomous Vehicles},
booktitle = {Proc. of the 14th IEEE Conference on Intelligent Transportation Systems},
year = {2011},
pages = {1162-1167},
owner = {matthias},
timestamp = {2011.09.06}
}
@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{Althoff2013d,
author = {M. Althoff and D. He{\ss} and F. Gambert},
title = {Road Occupancy Prediction of Traffic Participants},
booktitle = {Proc. of the 16th International IEEE Conference on Intelligent Transportation
Systems},
year = {2013},
pages = {99-105},
owner = {matthias},
timestamp = {2013.10.24}
}
@ARTICLE{Althoff2014a,
author = {M. Althoff and B.~H. Krogh},
title = {Reachability Analysis of Nonlinear Differential-Algebraic Systems},
journal = {IEEE Transactions on Automatic Control},
year = {2014},
volume = {59},
pages = {371-383},
number = {2},
owner = {matthias},
timestamp = {2012.12.23}
}
@INPROCEEDINGS{Althoff2012a,
author = {M. Althoff and B.~H. Krogh},
title = {Avoiding Geometric Intersection Operations in Reachability Analysis
of Hybrid Systems},
booktitle = {Hybrid Systems: Computation and Control},
year = {2012},
pages = {45-54},
owner = {matthias},
timestamp = {2011.12.24}
}
@INPROCEEDINGS{Althoff2011f,
author = {M. Althoff and B.~H. Krogh},
title = {Zonotope Bundles for the Efficient Computation of Reachable Sets},
booktitle = {Proc. of the 50th IEEE Conference on Decision and Control},
year = {2011},
pages = {6814-6821},
owner = {matthias},
timestamp = {2011.09.12}
}
@INBOOK{Althoff2011b,
chapter = {Analyzing Reachability of Linear Dynamic Systems with Parametric
Uncertainties},
pages = {69-94},
title = {Modeling, Design, and Simulation of Systems with Uncertainties},
publisher = {Springer},
year = {2011},
editor = {A. Rauh and E. Auer},
author = {M. Althoff and B.~H. Krogh and O. Stursberg},
filelinks = {[preprint]:media/New Volume/other/Jemdoc website/publications/2011/althoff-2011-MoDeSi.pdf:PDF},
owner = {matthias},
timestamp = {2011.02.02}
}
@INPROCEEDINGS{Althoff2011a,
author = {M. Althoff and C. {Le Guernic} and B.~H. Krogh},
title = {Reachable Set Computation for Uncertain Time-Varying Linear Systems},
booktitle = {Hybrid Systems: Computation and Control},
year = {2011},
pages = {93-102},
filelinks = {[preprint]:media/New Volume/other/Jemdoc website/publications/2011/althoff-2011-HSCC.pdf:PDF;
[talk]:media/New Volume/other/Jemdoc website/talks/2011/althoff-2011-HSCC_talk.pdf:PDF},
owner = {matthias},
timestamp = {2011.01.11}
}
@INPROCEEDINGS{Althoff2016b,
author = {M. Althoff and R. L{\"o}sch},
title = {Can Automated Road Vehicles Harmonize with Traffic Flow While Guaranteeing
A Safe Distance?},
booktitle = {Proc. of the 19th International IEEE Conference on Intelligent Transportation
Systems},
year = {2016},
owner = {matthias},
timestamp = {2016.09.16}
}
@ARTICLE{Althoff2016d,
author = {M. Althoff and S. Magdici},
title = {Set-Based Prediction of Traffic Participants on Arbitrary Road Networks},
journal = {IEEE Transactions on Intelligent Vehicles},
year = {2016},
volume = {1},
pages = {187-202},
number = {2},
owner = {matthias},
timestamp = {2016.09.16}
}
@ARTICLE{Althoff2011d,
author = {M. Althoff and A. Mergel},
title = {Comparison of {Markov} Chain Abstraction and {Monte Carlo} Simulation
for the Safety Assessment of Autonomous Cars},
journal = {IEEE Transactions on Intelligent Transportation Systems},
year = {2011},
volume = {12},
pages = {1237-1247},
number = {4},
owner = {matthias},
timestamp = {2011.05.22}
}
@ARTICLE{Althoff2011g,
author = {M. Althoff and M.~J. Patil and J.~P. Traugott},
title = {Nonlinear Modeling and Control Design of Active Helicopter Blades},
journal = {Journal of the American Helicopter Society},
year = {2012},
volume = {57},
pages = {1-11},
number = {1},
owner = {matthias},
timestamp = {2011.10.02}
}
@INPROCEEDINGS{Althoff2006a,
author = {M. Althoff and M.~J. Patil and J.~P. Traugott},
title = {Nonlinear Modeling and Control Design of Active Helicopter Blades},
booktitle = {Proc. of the 47th AIAA/ASME/ASCE/AHS/ASC Structures, Structural Dynamics,
and Materials Conference},
year = {2006},
note = {AIAA Paper 2006-2040},
filelinks = {[preprint]:media/New Volume/other/Jemdoc website/publications/2006/althoff-2006-ASC.pdf:PDF;
[talk]:media/New Volume/other/Jemdoc website/talks/2006/althoff-2006-ASC_talk.pdf:PDF},
owner = {althoff},
timestamp = {2009.05.06}
}
@ARTICLE{Althoff2013c,
author = {M. Althoff and A. Rajhans and B.~H. Krogh and S. Yaldiz and X. Li
and L. Pileggi},
title = {Formal Verification of Phase-Locked Loops Using Reachability Analysis
and Continuization},
journal = {Communications of the ACM},
year = {2013},
volume = {56},
pages = {97-104},
number = {10},
owner = {matthias},
timestamp = {2012.10.22}
}
@INPROCEEDINGS{Althoff2011c,
author = {M. Althoff and A. Rajhans and B.~H. Krogh and S. Yaldiz and X. Li
and L. Pileggi},
title = {Formal Verification of Phase-Locked Loops Using Reachability Analysis
and Continuization},
booktitle = {Proc. of the Int. Conference on Computer Aided Design},
year = {2011},
pages = {659-666},
owner = {matthias},
timestamp = {2011.04.04}
}
@ARTICLE{Althoff2009b,
author = {M. Althoff and O. Stursberg and M. Buss},
title = {Computing Reachable Sets of Hybrid Systems Using a Combination of
Zonotopes and Polytopes},
journal = {Nonlinear Analysis: Hybrid Systems},
year = {2010},
volume = {4},
pages = {233-249},
number = {2},
filelinks = {[preprint]:media/New Volume/other/Jemdoc website/publications/2010/althoff-2010-nonAnalysis.pdf:PDF},
owner = {althoff},
timestamp = {2009.01.12}
}
@ARTICLE{Althoff2009a,
author = {M. Althoff and O. Stursberg and M. Buss},
title = {Model-Based Probabilistic Collision Detection in Autonomous Driving},
journal = {IEEE Transactions on Intelligent Transportation Systems},
year = {2009},
volume = {10},
pages = {299 - 310},
number = {2},
filelinks = {[preprint]:media/New Volume/other/Jemdoc website/publications/2009/althoff-2009-ITSStrans.pdf:PDF},
owner = {althoff},
timestamp = {2009.01.12}
}
@INPROCEEDINGS{Althoff2009d,
author = {M. Althoff and O. Stursberg and M. Buss},
title = {Safety Assessment for Stochastic Linear Systems using Enclosing Hulls
of Probability Density Functions},
booktitle = {Proc. of the European Control Conference},
year = {2009},
pages = {625-630},
filelinks = {[preprint]:media/New Volume/other/Jemdoc website/publications/2009/althoff-2009-ECC.pdf:PDF;
[talk]:media/New Volume/other/Jemdoc website/talks/2009/althoff-2009-ECC_talk.pdf:PDF},
owner = {althoff},
timestamp = {2008.07.11}
}
@INPROCEEDINGS{Althoff2009e,
author = {M. Althoff and O. Stursberg and M. Buss},
title = {Safety Assessment of Driving Behavior in Multi-Lane Traffic for Autonomous
Vehicles},
booktitle = {Proc. of the IEEE Intelligent Vehicles Symposium},
year = {2009},
pages = {893-900},
filelinks = {[preprint]:media/New Volume/other/Jemdoc website/publications/2009/althoff-2009-IV.pdf:PDF;
[talk]:media/New Volume/other/Jemdoc website/talks/2009/althoff-2009-IV_talk.pdf:PDF},
owner = {althoff},
timestamp = {2009.02.18}
}
@INPROCEEDINGS{Althoff2008a,
author = {M. Althoff AND O. Stursberg AND M. Buss},
title = {Verification of Uncertain Embedded Systems by Computing Reachable
Sets based on Zonotopes},
booktitle = {Proc. of the 17th IFAC World Congress},
year = {2008},
pages = {5125-5130},
filelinks = {[preprint]:media/New Volume/other/Jemdoc website/publications/2008/althoff-2008-IFAC.pdf:PDF;
[talk]:media/New Volume/other/Jemdoc website/talks/2008/althoff-2008-IFAC_talk.pdf:PDF},
owner = {althoff},
timestamp = {2007.10.09}
}
@INPROCEEDINGS{Althoff2008b,
author = {M. Althoff and O. Stursberg and M. Buss},
title = {Stochastic Reachable Sets of Interacting Traffic Participants},
booktitle = {Proc. of the IEEE Intelligent Vehicles Symposium},
year = {2008},
pages = {1086-1092},
filelinks = {[preprint]:media/New Volume/other/Jemdoc website/publications/2008/althoff-2008-IV.pdf:PDF;
[talk]:media/New Volume/other/Jemdoc website/talks/2008/althoff-2008-IV_talk.pdf:PDF},
owner = {althoff},
timestamp = {2008.03.10}
}
@INPROCEEDINGS{Althoff2008c,
author = {M. Althoff and O. Stursberg and M. Buss},
title = {Reachability Analysis of Nonlinear Systems with Uncertain Parameters
using Conservative Linearization},
booktitle = {Proc. of the 47th IEEE Conference on Decision and Control},
year = {2008},
pages = {4042-4048},
filelinks = {[preprint]:media/New Volume/other/Jemdoc website/publications/2008/althoff-2008-CDC.pdf:PDF;
[talk]:media/New Volume/other/Jemdoc website/talks/2008/althoff-2008-CDC_talk.pdf:PDF},
owner = {althoff},
timestamp = {2008.04.28}
}
@INPROCEEDINGS{Althoff2008d,
author = {M. Althoff and O. Stursberg and M. Buss},
title = {{O}nline-{A}nalyse von {F}ahrstrategien kognitiver autonomer {F}ahrzeuge},
booktitle = {Proc. of Automatisierungssysteme, Assistenzsysteme und eingebettete
Systeme f\"ur Transportmittel (AAET)},
year = {2008},
pages = {314-330},
filelinks = {[preprint]:media/New Volume/other/Jemdoc website/publications/2008/althoff-2008-AAET.pdf:PDF;
[talk]:media/New Volume/other/Jemdoc website/talks/2008/althoff-2008-AAET_talk.pdf:PDF},
owner = {althoff},
timestamp = {2008.04.28}
}
@INPROCEEDINGS{Althoff2008e,
author = {M. Althoff and O. Stursberg and M. Buss},
title = {{E}rreichbarkeitsanalyse von {V}erkehrsteilnehmern zur {V}erbesserung
von {F}ahrerassistenzsystemen},
booktitle = {Proc. of 3. Tagung Aktive Sicherheit durch Fahrerassistenz},
year = {2008},
filelinks = {[preprint]:media/New Volume/other/Jemdoc website/publications/2008/althoff-2008-FAS.pdf:PDF;
[talk]:media/New Volume/other/Jemdoc website/talks/2008/althoff-2008-FAS_talk.pdf:PDF},
owner = {althoff},
timestamp = {2008.04.28}
}
@ARTICLE{Althoff2008f,
author = {M. Althoff and O. Stursberg and M. Buss},
title = {{S}icherheitsbewertung von {F}ahrstrategien kognitiver {A}utomobile},
journal = {at - Automatisierungstechnik},
year = {2008},
volume = {56},
pages = {653-661},
filelinks = {[preprint]:media/New Volume/other/Jemdoc website/publications/2008/althoff-2008-AT.pdf:PDF},
owner = {althoff},
timestamp = {2008.07.09}
}
@INPROCEEDINGS{Althoff2007a,
author = {M. Althoff AND O. Stursberg AND M. Buss},
title = {Safety Assessment of Autonomous Cars using Verification Techniques},
booktitle = {Proc. of the American Control Conference},
year = {2007},
pages = {4154-4159},
filelinks = {[preprint]:media/New Volume/other/Jemdoc website/publications/2007/althoff-2007-ACC.pdf:PDF;
[talk]:media/New Volume/other/Jemdoc website/talks/2007/althoff-2007-ACC_talk.pdf:PDF},
owner = {althoff}
}
@INPROCEEDINGS{Althoff2007b,
author = {M. Althoff and O. Stursberg and M. Buss},
title = {Online Verification of Cognitive Car Decisions},
booktitle = {Proc. of the IEEE Intelligent Vehicles Symposium},
year = {2007},
pages = {728-733},
filelinks = {[preprint]:media/New Volume/other/Jemdoc website/publications/2007/althoff-2007-IV.pdf:PDF;
[poster]:media/New Volume/other/Jemdoc website/posters/2007/althoff-2007-IV_poster.pdf:PDF},
owner = {althoff},
timestamp = {2007.06.26}
}
@INPROCEEDINGS{Althoff2007c,
author = {M.~Althoff and O.~Stursberg and M.~Buss},
title = {Reachability Analysis of Linear Systems with uncertain Parameters
and Inputs},
booktitle = {Proc. of the 46th IEEE Conference on Decision and Control},
year = {2007},
pages = {726-732},
filelinks = {[preprint]:media/New Volume/other/Jemdoc website/publications/2007/althoff-2007-CDC.pdf:PDF;
[talk]:media/New Volume/other/Jemdoc website/talks/2007/althoff-2007-CDC_talk.pdf:PDF},
owner = {althoff},
timestamp = {2007.08.29}
}
@INPROCEEDINGS{El-Guindy2017a,
author = {A. El-Guindy and Y.~C. Chen and M. Althoff},
title = {Compositional Transient Stability Analysis of Power Systems via the
Computation of Reachable Sets},
booktitle = {Proc. of the American Control Conference},
year = {2017},
owner = {matthias},
timestamp = {2016.09.16}
}
@ARTICLE{El-Guindy2016,
author = {A. El-Guindy and D. Han and M. Althoff},
title = {Formal Analysis of Drum-Boiler Units to Maximize the Load-Following
Capabilities of Power Plants},
journal = {IEEE Transactions on Power Systems},
year = {2016},
note = {online available, not yet printed},
owner = {matthias},
timestamp = {2016.01.07}
}
@INPROCEEDINGS{Giusti2017,
author = {A. Giusti and M. Althoff},
title = {Efficient Computation of Interval-Arithmetic-Based Robust Controllers
for Rigid Robots},
booktitle = {Proc. of the First IEEE International Conference on Robotic Computing},
year = {2017},
owner = {matthias},
timestamp = {2017.01.04}
}
@ARTICLE{Giusti2017b,
author = {A. Giusti and M. Althoff},
title = {On-The-Fly Control Design of Modular Robot Manipulators},
journal = {IEEE Transactions on Control Systems Technology},
year = {2017},
volume = {x},
pages = {x},
owner = {matthias},
timestamp = {2016.09.16}
}
@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},
owner = {matthias},
timestamp = {2016.03.02}
}
@INPROCEEDINGS{Giusti2015,
author = {A. Giusti and M. Althoff},
title = {Automatic Centralized Controller Design for Modular and Reconfigurable
Robot Manipulators},
booktitle = {Proc. of the IEEE/RSJ International Conference on Intelligent Robots
and Systems},
year = {2015},
pages = {3268-3275},
comment = {SMART-E},
owner = {matthias},
timestamp = {2015.06.29}
}
@INPROCEEDINGS{Giusti2017a,
author = {A. Giusti and J. Malzahn and N.~G. Tsagarakis and M. Althoff},
title = {Hybrid Inverse-Dynamics/Passivity-Based Control for Robots with Elastic
Joints},
booktitle = {Proc. of the IEEE International Conference on Robotics and Automation},
year = {2017},
owner = {matthias},
timestamp = {2016.09.16}
}
@INPROCEEDINGS{Goebl2008,
author = {M. Goebl and M. Althoff and M. Buss and G. F\"arber and F. Hecker
and B. Hei{\ss}ing and S. Kraus and R. Nagel and F. Puente Le{\'o}n
and F. Rattei and M. Russ and M. Schweitzer and M. Thuy and C. Wang
and H.-J. W\"unsche},
title = {Design and Capabilities of the {Munich} Cognitive Automobile},
booktitle = {Proc. of the IEEE Intelligent Vehicles Symposium},
year = {2008},
pages = {1101-1107},
filelinks = {[preprint]:media/New Volume/other/Jemdoc website/publications/2008/goebl-2008-IV.pdf:PDF},
owner = {althoff},
timestamp = {2008.07.11}
}
@INPROCEEDINGS{Han2016a,
author = {D. Han and M. Althoff},
title = {Power Systems Transient Stability Analysis via Optimal Rational Lyapunov
Functions},
booktitle = {IEEE Power \& Energy Society General Meeting},
year = {2016},
note = {accepted},
owner = {matthias},
timestamp = {2016.03.02}
}
@INPROCEEDINGS{Han2015,
author = {D. Han and M. Althoff},
title = {Control Synthesis for Non-Polynomial Systems: A Domain of Attraction
Perspective},
booktitle = {Proc. of the 54th IEEE Conference on Decision and Control},
year = {2015},
pages = {1160-1167},
comment = {ROCS-Grid},
owner = {matthias},
timestamp = {2015.08.03}
}
@INPROCEEDINGS{Han2016c,
author = {D. Han and A. El-Guindy and M. Althoff},
title = {On Estimating the Robust Domain of Attraction for Uncertain Non-Polynomial
Systems: An LMI Approach},
booktitle = {Proc. of the 55th IEEE Conference on Decision and Control},
year = {2016},
owner = {matthias},
timestamp = {2016.09.16}
}
@INPROCEEDINGS{Han2016d,
author = {D. Han and A. El-Guindy and M. Althoff},
title = {Estimating the Domain of Attraction based on the Invariance Principle},
booktitle = {Proc. of the 55th IEEE Conference on Decision and Control},
year = {2016},
owner = {matthias},
timestamp = {2016.09.16}
}
@INPROCEEDINGS{Han2016b,
author = {D. Han and A. Rizaldi and A. El-Guindy and M. Althoff},
title = {On Enlarging the Backward Reachable Sets via Zonotopic Set Membership},
booktitle = {IEEE Multi-Conference on Systems and Control},
year = {2016},
owner = {matthias},
timestamp = {2016.04.18}
}
@INPROCEEDINGS{Hassan2017,
author = {H.~A. Hassan and E. Icer and K. El-Ayat and M. Althoff},
title = {Evolutionary Composition Synthesis of Modular Robots for a Given
Task},
booktitle = {Proc. of the IEEE International Conference on Robotics and Automation},
year = {2017},
owner = {matthias},
timestamp = {2016.09.16}
}
@INPROCEEDINGS{Hess2014,
author = {D. He{\ss} and M. Althoff and T. Sattel},
title = {Formal Verification of Maneuver Automata for Parameterized Motion
Primitives},
booktitle = {Proc. of the IEEE/RSJ International Conference on Intelligent Robots
and Systems},
year = {2014},
pages = {1474-1481},
comment = {vCar},
owner = {matthias},
timestamp = {2014.07.17}
}
@INPROCEEDINGS{Hess2013,
author = {D. He{\ss} and M. Althoff and T. Sattel},
title = {Comparison of Trajectory Tracking Controllers for Emergency Situations},
booktitle = {Proc. of the IEEE Intelligent Vehicles Symposium},
year = {2013},
pages = {163-170},
owner = {matthias},
timestamp = {2013.02.28}
}
@INPROCEEDINGS{Hess2013b,
author = {D. He{\ss} and M. Althoff and T. Sattel},
title = {Should Collision Avoidance Systems use Yaw Stabilization?},
booktitle = {Proc. of the 16th International IEEE Conference on Intelligent Transportation
Systems},
year = {2013},
pages = {2058-2062},
owner = {matthias},
timestamp = {2013.10.24}
}
@INPROCEEDINGS{Hess2016,
author = {D. He{\ss} and M. Woehrle and J. Oehlerking and A. Biewer and M.
Bottazzi and J. Sanchez and M. Althoff},
title = {The {UnCoVerCPS} Verification Approach to Cooperative Automated Driving},
booktitle = {Proc. of the 20th International Forum on Advanced Microsystems for
Automotive Applications},
year = {2016},
owner = {matthias},
timestamp = {2016.05.13}
}
@INPROCEEDINGS{Icer2016,
author = {E. Icer and M. Althoff},
title = {A Task-Driven Algorithm for Configuration Synthesis of Modular Robots},
booktitle = {Proc. of the IEEE International Conference on Robotics and Automation},
year = {2016},
owner = {matthias},
timestamp = {2016.03.02}
}
@INPROCEEDINGS{Icer2016b,
author = {E. Icer and M. Althoff},
title = {Cost-Optimal Composition Synthesis for Modular Robots},
booktitle = {IEEE Multi-Conference on Systems and Control},
year = {2016},
owner = {matthias},
timestamp = {2016.04.18}
}
@INPROCEEDINGS{Kraus2009,
author = {S. Kraus and M. Althoff and B. Hei{\ss}ing and M. Buss},
title = {Cognition and Emotion in Autonomous Cars},
booktitle = {Proc. of the IEEE Intelligent Vehicles Symposium},
year = {2009},
pages = {635-640},
filelinks = {[preprint]:media/New Volume/other/Jemdoc website/publications/2009/kraus-2009-IV.pdf:PDF;
[poster]:media/New Volume/other/Jemdoc website/posters/2009/kraus-2009-IV_poster.pdf:PDF},
owner = {althoff},
timestamp = {2009.03.27}
}
@INPROCEEDINGS{Lee2015,
author = {H.-S.~L. Lee and M. Althoff and S. Hoelldampf and M. Olbrich and
E. Barke},
title = {Automated Generation of Hybrid System Models for Reachability Analysis
of Nonlinear Analog Circuits},
booktitle = {Proc. of the 20th Asia and South Pacific Design Automation Conference},
year = {2015},
pages = {725-730},
comment = {ROCS-Grid},
owner = {matthias},
timestamp = {2014.09.09}
}
@INPROCEEDINGS{Magdici2016,
author = {S. Magdici and M. Althoff},
title = {Fail-Safe Motion Planning of Autonomous Vehicles},
booktitle = {Proc. of the 19th International IEEE Conference on Intelligent Transportation
Systems},
year = {2016},
owner = {matthias},