{"id":"https://openalex.org/W2160725090","doi":"https://doi.org/10.1109/cdc.2005.1582901","title":"On Verification of Controlled Hybrid Dynamics through Ellipsoidal Techniques","display_name":"On Verification of Controlled Hybrid Dynamics through Ellipsoidal Techniques","publication_year":2006,"publication_date":"2006-10-04","ids":{"openalex":"https://openalex.org/W2160725090","doi":"https://doi.org/10.1109/cdc.2005.1582901","mag":"2160725090"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2005.1582901","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2005.1582901","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th IEEE Conference on Decision and Control","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109347019","display_name":"Alexander B. Kurzhanski","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"A.B. Kurzhanski","raw_affiliation_strings":["EECS Department, University of California, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"EECS Department, University of California, Russia","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040150415","display_name":"Pravin Varaiya","orcid":"https://orcid.org/0000-0002-1900-9932"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"P. Varaiya","raw_affiliation_strings":["EECS Department, University of California, Moscow, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"EECS Department, University of California, Moscow, Russia","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8832,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.7135374,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"4682","last_page":"4687"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10046","display_name":"Stability and Control of Uncertain Systems","score":0.9945999979972839,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/ellipsoid","display_name":"Ellipsoid","score":0.7854936122894287},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.6910017132759094},{"id":"https://openalex.org/keywords/piecewise","display_name":"Piecewise","score":0.6527994871139526},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.65229332447052},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6073061227798462},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5823367834091187},{"id":"https://openalex.org/keywords/reset","display_name":"Reset (finance)","score":0.5733698010444641},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5392298698425293},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.44603610038757324},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.4199759364128113},{"id":"https://openalex.org/keywords/dynamics","display_name":"Dynamics (music)","score":0.41820842027664185},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.36230355501174927},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3295151889324188},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.2046956717967987},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.1494532823562622},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11358407139778137},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.1081387996673584}],"concepts":[{"id":"https://openalex.org/C57489055","wikidata":"https://www.wikidata.org/wiki/Q190046","display_name":"Ellipsoid","level":2,"score":0.7854936122894287},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.6910017132759094},{"id":"https://openalex.org/C164660894","wikidata":"https://www.wikidata.org/wiki/Q2037833","display_name":"Piecewise","level":2,"score":0.6527994871139526},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.65229332447052},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6073061227798462},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5823367834091187},{"id":"https://openalex.org/C2779795794","wikidata":"https://www.wikidata.org/wiki/Q7315343","display_name":"Reset (finance)","level":2,"score":0.5733698010444641},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5392298698425293},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.44603610038757324},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.4199759364128113},{"id":"https://openalex.org/C145912823","wikidata":"https://www.wikidata.org/wiki/Q113558","display_name":"Dynamics (music)","level":2,"score":0.41820842027664185},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36230355501174927},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3295151889324188},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.2046956717967987},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.1494532823562622},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11358407139778137},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.1081387996673584},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C106159729","wikidata":"https://www.wikidata.org/wiki/Q2294553","display_name":"Financial economics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc.2005.1582901","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2005.1582901","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th IEEE Conference on Decision and Control","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities","score":0.4399999976158142}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321079","display_name":"Russian Foundation for Basic Research","ror":"https://ror.org/02mh1ke95"},{"id":"https://openalex.org/F4320324099","display_name":"Russian Science Foundation","ror":"https://ror.org/03y2gwe85"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W13323531","https://openalex.org/W1512691241","https://openalex.org/W1598634407","https://openalex.org/W1726255445","https://openalex.org/W2127520982","https://openalex.org/W2152185829","https://openalex.org/W2165489953","https://openalex.org/W2738306895","https://openalex.org/W2796471654"],"related_works":["https://openalex.org/W350273603","https://openalex.org/W2393495588","https://openalex.org/W96259911","https://openalex.org/W2168225754","https://openalex.org/W4385608460","https://openalex.org/W2370772865","https://openalex.org/W1528611913","https://openalex.org/W2000034628","https://openalex.org/W88291087","https://openalex.org/W2141659482"],"abstract_inverted_index":{"This":[0],"paper":[1],"deals":[2],"with":[3],"the":[4,32,36,41,44,53,65,82],"dynamics":[5,38],"of":[6,107],"controlled":[7],"hybrid":[8],"systems":[9,61],"under":[10],"piecewise":[11],"open-loop":[12],"controls":[13],"restricted":[14],"by":[15,48],"hard":[16],"bounds.":[17],"The":[18,104],"system":[19],"equations":[20],"may":[21],"be":[22],"reset":[23],"when":[24],"crossing":[25],"some":[26,90],"prespecified":[27,101],"domains":[28],"(\"the":[29],"guards\")":[30],"in":[31],"state":[33,56],"space.":[34],"Here":[35],"continuous":[37],"which":[39,51],"govern":[40,52],"motion":[42],"between":[43],"guards":[45],"are":[46,71],"complemented":[47],"discrete":[49],"transitions":[50],"resets.":[54],"A":[55,73],"space":[57],"model":[58],"for":[59,68,117],"such":[60,69],"is":[62,76,109],"proposed":[63],"and":[64],"reach":[66,83],"sets":[67],"models":[70],"described.":[72],"verification":[74,108],"problem":[75],"considered":[77],"whose":[78],"solution":[79],"indicates":[80],"whether":[81],"set":[84],"(at":[85],"given":[86,94],"time":[87,91,95],"or":[88,98],"at":[89],"within":[92],"a":[93,100],"interval)":[96],"intersects":[97],"avoids":[99],"target":[102],"set.":[103],"computational":[105],"side":[106],"treated":[110],"through":[111],"ellipsoidal":[112],"techniques":[113],"that":[114],"indicate":[115],"routes":[116],"numerical":[118],"algorithms":[119],"including":[120],"parallel":[121],"calculations.":[122]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}