Commit ccfad718 authored by MatthiasAlthoff's avatar MatthiasAlthoff

documentation and Python test suite added

parent 33ed3597
import sys
# Add the ptdraft folder path to the sys.path list
sys.path.append('unitTests')
from test_derivatives import test_derivatives
from test_zeroInitialVelocity import test_zeroInitialVelocity
#run tests
res = test_derivatives()
res = test_zeroInitialVelocity()
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}
} </