@InProceedings{WMML:HSCC09,
  Title                    = {Periodically Controlled Hybrid Systems: Verifying A Controller for An Autonomous Vehicle},
  Author                   = {Tichakorn Wongpiromsarn and Sayan Mitra and Richard Murray and Andrew Lamperski},
  Booktitle                = {12th International Conference Hybrid Systems: Computation and Control (HSCC 2009)},
  Year                     = {2009},
  Pages                    = {396-410},

  Abstract                 = {This paper introduces Periodically Controlled Hybrid Automata (PCHA) for describing a class of hybrid control systems. In a PCHA, control actions occur roughly periodically while internal and input actions may occur in the interim changing the discrete-state or the setpoint. Based on periodicity and subtangential conditions, a new sufficient condition for verifying invariance of PCHAs is presented. This technique is used in verifying safety of the planner-controller subsystem of an autonomous ground vehicle, and in deriving geometric properties of planner generated paths that can be followed safely by the controller under environmental uncertainties.},
  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Biburl                   = {http://users.crhc.illinois.edu/mitras/research.html},
  Crossref                 = {DBLP:conf/hybrid/2009},
  Ee                       = {http://dx.doi.org/10.1007/978-3-642-00602-9_28},
  Keywords                 = {Verification, Automotive},
  Pdfurl                   = {research/2009/pchahscc09.pdf},
  Url                      = {http://dl.acm.org/citation.cfm?id=1538188.1538217&coll=DL&dl=GUIDE&CFID=99228380&CFTOKEN=13940715}
}

{"_id":"d23sXJJNdNco52fBj","bibbaseid":"wongpiromsarn-mitra-murray-lamperski-periodicallycontrolledhybridsystemsverifyingacontrollerforanautonomousvehicle-2009","downloads":0,"creationDate":"2017-10-05T05:28:26.941Z","title":"Periodically Controlled Hybrid Systems: Verifying A Controller for An Autonomous Vehicle","author_short":["Wongpiromsarn, T.","Mitra, S.","Murray, R.","Lamperski, A."],"year":2009,"bibtype":"inproceedings","biburl":"http://mitras.ece.illinois.edu/research/sayan.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Periodically Controlled Hybrid Systems: Verifying A Controller for An Autonomous Vehicle","author":[{"firstnames":["Tichakorn"],"propositions":[],"lastnames":["Wongpiromsarn"],"suffixes":[]},{"firstnames":["Sayan"],"propositions":[],"lastnames":["Mitra"],"suffixes":[]},{"firstnames":["Richard"],"propositions":[],"lastnames":["Murray"],"suffixes":[]},{"firstnames":["Andrew"],"propositions":[],"lastnames":["Lamperski"],"suffixes":[]}],"booktitle":"12th International Conference Hybrid Systems: Computation and Control (HSCC 2009)","year":"2009","pages":"396-410","abstract":"This paper introduces Periodically Controlled Hybrid Automata (PCHA) for describing a class of hybrid control systems. In a PCHA, control actions occur roughly periodically while internal and input actions may occur in the interim changing the discrete-state or the setpoint. Based on periodicity and subtangential conditions, a new sufficient condition for verifying invariance of PCHAs is presented. This technique is used in verifying safety of the planner-controller subsystem of an autonomous ground vehicle, and in deriving geometric properties of planner generated paths that can be followed safely by the controller under environmental uncertainties.","bibsource":"DBLP, http://dblp.uni-trier.de","biburl":"http://users.crhc.illinois.edu/mitras/research.html","crossref":"DBLP:conf/hybrid/2009","ee":"http://dx.doi.org/10.1007/978-3-642-00602-9_28","keywords":"Verification, Automotive","pdfurl":"research/2009/pchahscc09.pdf","url":"http://dl.acm.org/citation.cfm?id=1538188.1538217&coll=DL&dl=GUIDE&CFID=99228380&CFTOKEN=13940715","bibtex":"@InProceedings{WMML:HSCC09,\n Title = {Periodically Controlled Hybrid Systems: Verifying A Controller for An Autonomous Vehicle},\n Author = {Tichakorn Wongpiromsarn and Sayan Mitra and Richard Murray and Andrew Lamperski},\n Booktitle = {12th International Conference Hybrid Systems: Computation and Control (HSCC 2009)},\n Year = {2009},\n Pages = {396-410},\n\n Abstract = {This paper introduces Periodically Controlled Hybrid Automata (PCHA) for describing a class of hybrid control systems. In a PCHA, control actions occur roughly periodically while internal and input actions may occur in the interim changing the discrete-state or the setpoint. Based on periodicity and subtangential conditions, a new sufficient condition for verifying invariance of PCHAs is presented. This technique is used in verifying safety of the planner-controller subsystem of an autonomous ground vehicle, and in deriving geometric properties of planner generated paths that can be followed safely by the controller under environmental uncertainties.},\n Bibsource = {DBLP, http://dblp.uni-trier.de},\n Biburl = {http://users.crhc.illinois.edu/mitras/research.html},\n Crossref = {DBLP:conf/hybrid/2009},\n Ee = {http://dx.doi.org/10.1007/978-3-642-00602-9_28},\n Keywords = {Verification, Automotive},\n Pdfurl = {research/2009/pchahscc09.pdf},\n Url = {http://dl.acm.org/citation.cfm?id=1538188.1538217&coll=DL&dl=GUIDE&CFID=99228380&CFTOKEN=13940715}\n}\n\n","author_short":["Wongpiromsarn, T.","Mitra, S.","Murray, R.","Lamperski, A."],"key":"WMML:HSCC09","id":"WMML:HSCC09","bibbaseid":"wongpiromsarn-mitra-murray-lamperski-periodicallycontrolledhybridsystemsverifyingacontrollerforanautonomousvehicle-2009","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/978-3-642-00602-9_28","Paper":"http://dl.acm.org/citation.cfm?id=1538188.1538217&coll=DL&dl=GUIDE&CFID=99228380&CFTOKEN=13940715"},"keyword":["Verification","Automotive"],"downloads":0,"html":""},"search_terms":["periodically","controlled","hybrid","systems","verifying","controller","autonomous","vehicle","wongpiromsarn","mitra","murray","lamperski"],"keywords":["hybrid systems","verification","automotive systems","automotive"],"authorIDs":["59d5c2fab06428b81f000015"],"dataSources":["yMXZF3wFnctJRohbP"]}