{"id":"https://openalex.org/W106802296","doi":null,"title":"Discrete Abstractions of Hybrid Systems: Verification of Safety and Application to User-Interface Design","display_name":"Discrete Abstractions of Hybrid Systems: Verification of Safety and Application to User-Interface Design","publication_year":2003,"publication_date":"2003-11-01","ids":{"openalex":"https://openalex.org/W106802296","mag":"106802296"},"language":"en","primary_location":{"id":"mag:106802296","doi":null,"is_oa":false,"landing_page_url":"https://ti.arc.nasa.gov/m/profile/adegani/Discrete%20Abstractions%20of%20Hybrid%20Systems.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5070060161","display_name":"Meeko Oishi","orcid":"https://orcid.org/0000-0003-3722-8837","observed_orcids":["https://orcid.org/0000-0003-3722-8837"]},"institutions":[{"id":"https://openalex.org/I4210124779","display_name":"National Aeronautics and Space Administration","ror":"https://ror.org/027ka1x80","country_code":"US","type":"government","lineage":["https://openalex.org/I4210124779"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Meeko Oishi","raw_affiliation_strings":["NASA"],"raw_orcid":"https://orcid.org/0000-0003-3722-8837","affiliations":[{"raw_affiliation_string":"NASA","institution_ids":["https://openalex.org/I4210124779"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045155646","display_name":"Claire Jennifer Tomlin","orcid":"https://orcid.org/0000-0003-3192-3185","observed_orcids":["https://orcid.org/0000-0003-3192-3185"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Claire J. Tomlin","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-3192-3185","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5015451584","display_name":"Asaf Degani","orcid":"https://orcid.org/0000-0001-6933-7822","observed_orcids":["https://orcid.org/0000-0001-6933-7822"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Asaf Degani","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-6933-7822","affiliations":[]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4037,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.56555791,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9887999892234802,"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.9887999892234802,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.00430000014603138,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/T10525","display_name":"Human-Automation Interaction and Safety","score":0.0019000000320374966,"subfield":{"id":"https://openalex.org/subfields/3307","display_name":"Human Factors and Ergonomics"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/hybrid-systems","display_name":"hybrid systems","score":0.8190000057220459},{"id":"https://openalex.org/keywords/discrete-abstraction","display_name":"discrete abstraction","score":0.9290000200271606},{"id":"https://openalex.org/keywords/user-interface-design","display_name":"user interface design","score":0.7549999952316284},{"id":"https://openalex.org/keywords/safety-verification","display_name":"safety verification","score":0.9800000190734863},{"id":"https://openalex.org/keywords/human-automation-interaction","display_name":"human-automation interaction","score":0.7490000128746033},{"id":"https://openalex.org/keywords/safety-critical-systems","display_name":"safety-critical systems","score":0.8949999809265137},{"id":"https://openalex.org/keywords/human-in-the-loop","display_name":"human-in-the-loop","score":0.4429999887943268},{"id":"https://openalex.org/keywords/continuous-time-dynamics","display_name":"continuous-time dynamics","score":0.46000000834465027},{"id":"https://openalex.org/keywords/aircraft-autopilot","display_name":"aircraft autopilot","score":0.5559999942779541},{"id":"https://openalex.org/keywords/intersection-driving","display_name":"intersection driving","score":0.36800000071525574},{"id":"https://openalex.org/keywords/operating-constraints","display_name":"operational constraints","score":0.3959999978542328}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7490714192390442},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.6418455839157104},{"id":"https://openalex.org/C89505385","wikidata":"https://www.wikidata.org/wiki/Q47146","display_name":"User interface","level":2,"score":0.6070168018341064},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.6057413816452026},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.5609221458435059},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5530650019645691},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5187819004058838},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.5036563277244568},{"id":"https://openalex.org/C18020424","wikidata":"https://www.wikidata.org/wiki/Q220858","display_name":"Autopilot","level":2,"score":0.4672173261642456},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.43208423256874084},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.426870733499527},{"id":"https://openalex.org/C48677424","wikidata":"https://www.wikidata.org/wiki/Q6888088","display_name":"Mode (computer interface)","level":2,"score":0.41545575857162476},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3479042053222656},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.22543859481811523},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.19170042872428894},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11419552564620972},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.09284010529518127},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:106802296","doi":null,"is_oa":false,"landing_page_url":"https://ti.arc.nasa.gov/m/profile/adegani/Discrete%20Abstractions%20of%20Hybrid%20Systems.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W88566283","https://openalex.org/W615545342","https://openalex.org/W1489501223","https://openalex.org/W1498575992","https://openalex.org/W1499402091","https://openalex.org/W1502770086","https://openalex.org/W1516702321","https://openalex.org/W1516860807","https://openalex.org/W1526526683","https://openalex.org/W1536379056","https://openalex.org/W1545792423","https://openalex.org/W1556636565","https://openalex.org/W1586726320","https://openalex.org/W1592364050","https://openalex.org/W1598996260","https://openalex.org/W1601426486","https://openalex.org/W1604704855","https://openalex.org/W1608004281","https://openalex.org/W1856713327","https://openalex.org/W1964988216","https://openalex.org/W1968458020","https://openalex.org/W1974690389","https://openalex.org/W2006894716","https://openalex.org/W2050362673","https://openalex.org/W2057366010","https://openalex.org/W2102158516","https://openalex.org/W2114184533","https://openalex.org/W2115042355","https://openalex.org/W2123179704","https://openalex.org/W2123357397","https://openalex.org/W2123591057","https://openalex.org/W2131578099","https://openalex.org/W2141582527","https://openalex.org/W2153220708","https://openalex.org/W2562854303","https://openalex.org/W2993687036"],"related_works":["https://openalex.org/W144059996","https://openalex.org/W2138239212","https://openalex.org/W1507610963","https://openalex.org/W4249426951","https://openalex.org/W2950309301","https://openalex.org/W2114962588","https://openalex.org/W7099275808","https://openalex.org/W1594591069","https://openalex.org/W2246581916","https://openalex.org/W2618866835"],"abstract_inverted_index":{"Human":[0],"interaction":[1],"with":[2,178],"complex":[3],"hybrid":[4,67,89,143,166],"systems":[5,28,144],"involves":[6],"the":[7,9,15,20,24,36,58,96,100,106,133,175,179],"user,":[8],"automation's":[10],"discrete":[11,102],"mode":[12],"logic,":[13],"and":[14,122],"underlying":[16,99],"continuous":[17,97],"dynamics":[18,98],"of":[19,26,33,136,157],"physical":[21],"system.":[22,38,180],"Often":[23],"user-interface":[25,46,74],"such":[27],"displays":[29],"a":[30,63,73,81,88,112,116,127],"reduced":[31],"set":[32],"information":[34,76],"about":[35],"entire":[37],"In":[39],"safety-critical":[40],"systems,":[41],"how":[42],"can":[43,153],"we":[44,61,152,171],"identify":[45],"designs":[47],"which":[48,55,139,148],"do":[49],"not":[50],"have":[51,149],"adequate":[52],"information,":[53],"or":[54,84],"may":[56],"confuse":[57],"user?":[59],"Here":[60],"describe":[62],"methodology,":[64,138],"based":[65],"on":[66],"system":[68,167],"analysis,":[69],"to":[70,78,93,105,142],"verify":[71],"that":[72,170],"contains":[75],"necessary":[77],"safely":[79],"complete":[80],"desired":[82],"procedure":[83],"task.":[85],"Verification":[86],"within":[87],"framework":[90],"allows":[91],"us":[92],"account":[94,173],"for":[95,174],"simple,":[101],"representations":[103],"displayed":[104],"user.":[107],"We":[108],"provide":[109],"two":[110],"examples:":[111],"car":[113],"traveling":[114],"through":[115],"yellow":[117],"light":[118],"at":[119],"an":[120,123],"intersection":[121],"aircraft":[124],"autopilot":[125],"in":[126,155,165,169],"landing/go-around":[128],"maneuver.":[129],"The":[130],"examples":[131],"demonstrate":[132],"general":[134],"nature":[135],"this":[137],"is":[140],"applicable":[141],"(not":[145],"fully":[146],"automated)":[147],"operational":[150],"constraints":[151],"pose":[154],"terms":[156],"safety.":[158],"This":[159],"methodology":[160],"differs":[161],"from":[162],"existing":[163],"work":[164],"verification":[168],"directly":[172],"user's":[176],"interactions":[177]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-09-22T06:50:58.402377","created_date":"2016-06-24T00:00:00"}