{"id":"https://openalex.org/W2143251596","doi":"https://doi.org/10.1109/cdc.2008.4739270","title":"Approximate abstractions of discrete-time controlled stochastic hybrid systems","display_name":"Approximate abstractions of discrete-time controlled stochastic hybrid systems","publication_year":2008,"publication_date":"2008-12-01","ids":{"openalex":"https://openalex.org/W2143251596","doi":"https://doi.org/10.1109/cdc.2008.4739270","mag":"2143251596"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2008.4739270","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2008.4739270","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 47th IEEE Conference on Decision and Control","raw_type":"proceedings-article"},"type":"article","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/A5088713991","display_name":"Alessandro D\u2019Innocenzo","orcid":"https://orcid.org/0000-0002-5239-0894"},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Alessandro D'Innocenzo","raw_affiliation_strings":["Department of Electrical Engineering and Computer Sciences, University of L'Aquila"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Sciences, University of L'Aquila","institution_ids":["https://openalex.org/I26415053"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091718585","display_name":"Alessandro Abate","orcid":"https://orcid.org/0000-0002-5627-9093"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alessandro Abate","raw_affiliation_strings":["Department of Aeronautics and Astronautics, Stanford University","Department of Aeronautics and Astronautics, University of Stanford, USA"],"affiliations":[{"raw_affiliation_string":"Department of Aeronautics and Astronautics, Stanford University","institution_ids":["https://openalex.org/I97018004"]},{"raw_affiliation_string":"Department of Aeronautics and Astronautics, University of Stanford, USA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061994256","display_name":"Maria Domenica Di Benedetto","orcid":"https://orcid.org/0000-0001-5703-7822"},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Maria D. Di Benedetto","raw_affiliation_strings":["Department of Electrical Engineering and Computer Sciences, University of L'Aquila, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Sciences, University of L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5088713991"],"corresponding_institution_ids":["https://openalex.org/I26415053"],"apc_list":null,"apc_paid":null,"fwci":0.404,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.63941218,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"2993","issue":null,"first_page":"221","last_page":"226"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9987999796867371,"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.9923999905586243,"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/abstraction","display_name":"Abstraction","score":0.8186839818954468},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.697147011756897},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6970094442367554},{"id":"https://openalex.org/keywords/partition","display_name":"Partition (number theory)","score":0.559425413608551},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5511844754219055},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.5337026715278625},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5230123400688171},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.5032209753990173},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4600171744823456},{"id":"https://openalex.org/keywords/discrete-time-and-continuous-time","display_name":"Discrete time and continuous time","score":0.4508306384086609},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.429146409034729},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2532476782798767},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19010141491889954}],"concepts":[{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.8186839818954468},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.697147011756897},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6970094442367554},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.559425413608551},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5511844754219055},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5337026715278625},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5230123400688171},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.5032209753990173},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4600171744823456},{"id":"https://openalex.org/C55689738","wikidata":"https://www.wikidata.org/wiki/Q15963867","display_name":"Discrete time and continuous time","level":2,"score":0.4508306384086609},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.429146409034729},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2532476782798767},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19010141491889954},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","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/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"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/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc.2008.4739270","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2008.4739270","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 47th IEEE Conference on Decision and Control","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W19346916","https://openalex.org/W27464976","https://openalex.org/W427836156","https://openalex.org/W1581556443","https://openalex.org/W1586805319","https://openalex.org/W1988217924","https://openalex.org/W2011979623","https://openalex.org/W2080813827","https://openalex.org/W2090771707","https://openalex.org/W2117218135","https://openalex.org/W2119567691","https://openalex.org/W2120347230","https://openalex.org/W2125711107","https://openalex.org/W2130590906","https://openalex.org/W2150797833","https://openalex.org/W2166476615","https://openalex.org/W2334782222","https://openalex.org/W6614909756","https://openalex.org/W6634835258"],"related_works":["https://openalex.org/W2045155990","https://openalex.org/W4313163053","https://openalex.org/W4300973204","https://openalex.org/W3045811229","https://openalex.org/W1483408780","https://openalex.org/W4284884309","https://openalex.org/W2908749798","https://openalex.org/W2105980483","https://openalex.org/W273478400","https://openalex.org/W2057373567"],"abstract_inverted_index":{"This":[0],"work":[1],"presents":[2],"a":[3,7,11,80,102],"procedure":[4,44],"to":[5,34,100],"construct":[6],"finite":[8,31],"abstraction":[9,43,75],"of":[10,24],"controlled":[12,81],"discrete-time":[13],"stochastic":[14],"hybrid":[15],"system.":[16],"The":[17,38,73],"state":[18],"space":[19,23],"and":[20,84,91],"the":[21,25,42,56,62,70,97],"control":[22,92],"original":[26,57],"system":[27],"are":[28],"partitioned":[29],"by":[30,41,68],"lattices,":[32],"according":[33],"some":[35,52],"refinement":[36],"parameters.":[37],"errors":[39,63],"introduced":[40],"can":[45,64,76,85],"be":[46,65,77,86],"explicitly":[47],"computed,":[48],"over":[49],"time,":[50],"given":[51],"continuity":[53],"assumptions":[54],"on":[55],"model.":[58],"We":[59,95],"show":[60],"that":[61],"arbitrarily":[66],"tuned":[67],"selecting":[69],"partition":[71],"accuracy.":[72],"obtained":[74],"interpreted":[78],"as":[79],"Markov":[82],"set-Chain,":[83],"used":[87],"both":[88],"for":[89],"verification":[90],"design":[93],"purposes.":[94],"test":[96],"proposed":[98],"technique":[99],"analyze":[101],"model":[103],"from":[104],"systems":[105],"biology.":[106]},"counts_by_year":[{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}