{"id":"https://openalex.org/W1600235415","doi":"https://doi.org/10.1007/3-540-36577-x_14","title":"Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement","display_name":"Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement","publication_year":2003,"publication_date":"2003-01-01","ids":{"openalex":"https://openalex.org/W1600235415","doi":"https://doi.org/10.1007/3-540-36577-x_14","mag":"1600235415"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-36577-x_14","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-36577-x_14","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"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/A5105356861","display_name":"Edmund M. Clarke","orcid":null},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Edmund Clarke","raw_affiliation_strings":["Computer Science, Carnegie Mellon University, Pittsburgh, PA","Computer Science Carnegie Mellon University Pittsburgh PA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science, Carnegie Mellon University, Pittsburgh, PA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Computer Science Carnegie Mellon University Pittsburgh PA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015799790","display_name":"Ansgar Fehnker","orcid":"https://orcid.org/0000-0002-5326-3432"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ansgar Fehnker","raw_affiliation_strings":["Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA","Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA#TAB#","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001277681","display_name":"Zhi Han","orcid":"https://orcid.org/0000-0002-8039-6679"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhi Han","raw_affiliation_strings":["Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA","Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA#TAB#","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026562535","display_name":"Bruce H. Krogh","orcid":"https://orcid.org/0000-0003-1300-3553"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bruce Krogh","raw_affiliation_strings":["Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA","Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA#TAB#","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040756775","display_name":"Olaf Stursberg","orcid":"https://orcid.org/0000-0002-9600-457X"},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]},{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["DE","US"],"is_corresponding":false,"raw_author_name":"Olaf Stursberg","raw_affiliation_strings":["Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA","Process Control Lab, University of Dortmund, Germany","Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA and Process Control Lab, University of Dortmund, Germany#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Process Control Lab, University of Dortmund, Germany","institution_ids":["https://openalex.org/I200332995"]},{"raw_affiliation_string":"Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA and Process Control Lab, University of Dortmund, Germany#TAB#","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110048816","display_name":"Michael Theobald","orcid":null},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Theobald","raw_affiliation_strings":["Computer Science, Carnegie Mellon University, Pittsburgh, PA","Computer Science Carnegie Mellon University Pittsburgh PA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science, Carnegie Mellon University, Pittsburgh, PA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Computer Science Carnegie Mellon University Pittsburgh PA","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":103,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"192","last_page":"207"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9952999949455261,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9934999942779541,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.9236958026885986},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.9013493657112122},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7949843406677246},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.763137936592102},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.7526336312294006},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.7255656719207764},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.6528226137161255},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5483837127685547},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5364916920661926},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5336276888847351},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.48966529965400696},{"id":"https://openalex.org/keywords/abstraction-model-checking","display_name":"Abstraction model checking","score":0.45828667283058167},{"id":"https://openalex.org/keywords/reachability-problem","display_name":"Reachability problem","score":0.4577764868736267},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4363332986831665},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3485260605812073},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17362633347511292},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.10644379258155823}],"concepts":[{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.9236958026885986},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.9013493657112122},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7949843406677246},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.763137936592102},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.7526336312294006},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.7255656719207764},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.6528226137161255},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5483837127685547},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5364916920661926},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5336276888847351},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.48966529965400696},{"id":"https://openalex.org/C30888246","wikidata":"https://www.wikidata.org/wiki/Q4669969","display_name":"Abstraction model checking","level":3,"score":0.45828667283058167},{"id":"https://openalex.org/C2777669093","wikidata":"https://www.wikidata.org/wiki/Q17141570","display_name":"Reachability problem","level":3,"score":0.4577764868736267},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4363332986831665},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3485260605812073},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17362633347511292},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.10644379258155823},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","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/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","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}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/3-540-36577-x_14","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-36577-x_14","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.60.8868","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.8868","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.cmu.edu/~emc/papers/Conference%20Papers/Verification%20of%20Hybrid%20Systems%20Based.pdf","raw_type":"text"},{"id":"pmh:ut:oai:ris.utwente.nl:publications/a235fcc5-28a3-46ef-a348-327909797c7e","is_oa":false,"landing_page_url":"https://research.utwente.nl/en/publications/verification-of-hybrid-systems-based-on-counterexampleguided-abstraction-refinement(a235fcc5-28a3-46ef-a348-327909797c7e).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, 192 - 207","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1488872683","https://openalex.org/W1498285565","https://openalex.org/W1525967073","https://openalex.org/W1534714322","https://openalex.org/W1536007121","https://openalex.org/W1582451030","https://openalex.org/W1592788962","https://openalex.org/W1605593319","https://openalex.org/W1606189410","https://openalex.org/W1726255445","https://openalex.org/W1793594870","https://openalex.org/W1865218796","https://openalex.org/W1972382501","https://openalex.org/W1994348879","https://openalex.org/W2105826449","https://openalex.org/W2107164313","https://openalex.org/W2117218135","https://openalex.org/W2158395308","https://openalex.org/W2162284942","https://openalex.org/W2163590987","https://openalex.org/W2188244809","https://openalex.org/W2295903414","https://openalex.org/W2340735175","https://openalex.org/W2489869394","https://openalex.org/W2913459036","https://openalex.org/W4242057943","https://openalex.org/W4250884204","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2357387646","https://openalex.org/W856973001","https://openalex.org/W2047831585","https://openalex.org/W4253760428","https://openalex.org/W2952920810","https://openalex.org/W4293477811","https://openalex.org/W2017676950","https://openalex.org/W2102105946","https://openalex.org/W78063724","https://openalex.org/W197679583"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":10},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":7},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":7},{"year":2012,"cited_by_count":11}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}