{"id":"https://openalex.org/W1563025436","doi":"https://doi.org/10.1109/acc.2015.7170994","title":"Data-driven property verification of grey-box systems by bayesian experiment design","display_name":"Data-driven property verification of grey-box systems by bayesian experiment design","publication_year":2015,"publication_date":"2015-07-01","ids":{"openalex":"https://openalex.org/W1563025436","doi":"https://doi.org/10.1109/acc.2015.7170994","mag":"1563025436"},"language":"en","primary_location":{"id":"doi:10.1109/acc.2015.7170994","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acc.2015.7170994","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 American Control Conference (ACC)","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/A5025184822","display_name":"Sofie Haesaert","orcid":"https://orcid.org/0000-0003-4749-4688"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"S. Haesaert","raw_affiliation_strings":["Control Systems group in the Faculty of Electrical Engineering, Eindhoven University of Technology, The Netherlands","Control Systems group in the Faculty of Electrical Engineering, Eindhoven University of Technology, The Netherlands. A. Abate is with the Department of Computer Science, Oxford University, UK"],"affiliations":[{"raw_affiliation_string":"Control Systems group in the Faculty of Electrical Engineering, Eindhoven University of Technology, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Control Systems group in the Faculty of Electrical Engineering, Eindhoven University of Technology, The Netherlands. A. Abate is with the Department of Computer Science, Oxford University, UK","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048625929","display_name":"Paul M.J. Van den Hof","orcid":"https://orcid.org/0000-0003-2114-9739"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"P.M.J. Van den Hof","raw_affiliation_strings":["Control Systems group in the Faculty of Electrical Engineering, Eindhoven University of Technology, The Netherlands","Control Systems group in the Faculty of Electrical Engineering, Eindhoven University of Technology, The Netherlands. A. Abate is with the Department of Computer Science, Oxford University, UK"],"affiliations":[{"raw_affiliation_string":"Control Systems group in the Faculty of Electrical Engineering, Eindhoven University of Technology, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Control Systems group in the Faculty of Electrical Engineering, Eindhoven University of Technology, The Netherlands. A. Abate is with the Department of Computer Science, Oxford University, UK","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5091718585","display_name":"Alessandro Abate","orcid":"https://orcid.org/0000-0002-5627-9093"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]},{"id":"https://openalex.org/I4210146410","display_name":"Science Oxford","ror":"https://ror.org/04j8yhy50","country_code":"GB","type":"nonprofit","lineage":["https://openalex.org/I4210146410"]},{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB","NL"],"is_corresponding":false,"raw_author_name":"A. Abate","raw_affiliation_strings":["Department of Computer Science, Oxford University, UK","Control Systems group in the Faculty of Electrical Engineering, Eindhoven University of Technology, The Netherlands. A. Abate is with the Department of Computer Science, Oxford University, UK"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Oxford University, UK","institution_ids":["https://openalex.org/I40120149","https://openalex.org/I4210146410"]},{"raw_affiliation_string":"Control Systems group in the Faculty of Electrical Engineering, Eindhoven University of Technology, The Netherlands. A. Abate is with the Department of Computer Science, Oxford University, UK","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5025184822"],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":null,"apc_paid":null,"fwci":1.7027,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.85353707,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"4981","issue":null,"first_page":"1800","last_page":"1805"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.9976999759674072,"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"}},"topics":[{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.9976999759674072,"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/T11236","display_name":"Control Systems and Identification","score":0.9952999949455261,"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/T11443","display_name":"Advanced Statistical Process Monitoring","score":0.9828000068664551,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7160109281539917},{"id":"https://openalex.org/keywords/bayesian-probability","display_name":"Bayesian probability","score":0.548206090927124},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5080122947692871},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.49915122985839844},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.43463003635406494},{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.4338863492012024},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.38786670565605164},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.27994823455810547}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7160109281539917},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.548206090927124},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5080122947692871},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.49915122985839844},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.43463003635406494},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.4338863492012024},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.38786670565605164},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.27994823455810547},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1109/acc.2015.7170994","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acc.2015.7170994","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 American Control Conference (ACC)","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/c30f58d5-bc24-4197-8d25-0fde5bc3d6c4","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/c30f58d5-bc24-4197-8d25-0fde5bc3d6c4","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Haesaert, S, Van den Hof, P M J & Abate, A 2015, Data-driven property verification of grey-box systems by Bayesian experiment design. in Proceedings of the American Control Conference (ACC2015), 1-3 July 2015, Chicago, USA., 7170994, Institute of Electrical and Electronics Engineers, Piscataway, pp. 1800-1805, 2015 American Control Conference, ACC 2015, Chicago, Illinois, United States, 1/07/15. https://doi.org/10.1109/ACC.2015.7170994","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:887439","is_oa":false,"landing_page_url":"http://library.tue.nl/csp/dare/LinkToRepository.csp?recordnumber=887439","pdf_url":null,"source":{"id":"https://openalex.org/S4306400553","display_name":"Munich Personal RePEc Archive (Ludwig Maximilian University of Munich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I8204097","host_organization_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","host_organization_lineage":["https://openalex.org/I8204097"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:library.tue.nl:846849","is_oa":false,"landing_page_url":"http://repository.tue.nl/846849","pdf_url":null,"source":{"id":"https://openalex.org/S4406923046","display_name":"TU/e Research Portal (Eindhoven University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:library.tue.nl:887439","is_oa":false,"landing_page_url":"http://repository.tue.nl/887439","pdf_url":null,"source":{"id":"https://openalex.org/S4406923046","display_name":"TU/e Research Portal (Eindhoven University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:tue:oai:pure.tue.nl:publications/c30f58d5-bc24-4197-8d25-0fde5bc3d6c4","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/c30f58d5-bc24-4197-8d25-0fde5bc3d6c4","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":"Proceedings of the American Control Conference (ACC2015), 1-3 July 2015, Chicago, USA, 1800 - 1805","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W565862821","https://openalex.org/W574903211","https://openalex.org/W1482831113","https://openalex.org/W1485333286","https://openalex.org/W1489725951","https://openalex.org/W1490985464","https://openalex.org/W1560643704","https://openalex.org/W1577525693","https://openalex.org/W1581344423","https://openalex.org/W1603620492","https://openalex.org/W1603626552","https://openalex.org/W1631091010","https://openalex.org/W1791240938","https://openalex.org/W1830944000","https://openalex.org/W1990032845","https://openalex.org/W1993536119","https://openalex.org/W2029867572","https://openalex.org/W2035006902","https://openalex.org/W2056864430","https://openalex.org/W2063123010","https://openalex.org/W2067778155","https://openalex.org/W2072334240","https://openalex.org/W2086760764","https://openalex.org/W2100914165","https://openalex.org/W2119047371","https://openalex.org/W2132912000","https://openalex.org/W2136512560","https://openalex.org/W2139341823","https://openalex.org/W2140834769","https://openalex.org/W2144351691","https://openalex.org/W2157413433","https://openalex.org/W2158290540","https://openalex.org/W2168354575","https://openalex.org/W2403177059","https://openalex.org/W2404261600","https://openalex.org/W2760400999","https://openalex.org/W3105078582","https://openalex.org/W4235848843","https://openalex.org/W4238064072","https://openalex.org/W4298853681","https://openalex.org/W6633764857","https://openalex.org/W6634541221","https://openalex.org/W6636284942","https://openalex.org/W6683103470","https://openalex.org/W6713380696"],"related_works":["https://openalex.org/W4231775656","https://openalex.org/W2046435967","https://openalex.org/W2383646825","https://openalex.org/W2371018915","https://openalex.org/W2354191502","https://openalex.org/W1972225038","https://openalex.org/W3134658850","https://openalex.org/W2355938171","https://openalex.org/W2780079842","https://openalex.org/W814988660"],"abstract_inverted_index":{"A":[0,80],"measurement-based":[1],"statistical":[2],"verification":[3,67,99],"approach":[4],"is":[5,91],"developed":[6],"for":[7,42,53],"systems":[8,15],"with":[9,72],"partly":[10],"unknown":[11],"dynamics.":[12],"These":[13],"grey-box":[14],"are":[16],"subject":[17],"to":[18,60,93],"identification":[19],"experiments":[20],"which,":[21],"new":[22],"in":[23,33],"this":[24,63,95],"contribution,":[25],"enable":[26],"accepting":[27],"or":[28],"rejecting":[29],"system":[30,70,90],"properties":[31,51],"expressed":[32],"a":[34,39,46,88],"linear-time":[35],"logic.":[36],"We":[37],"employ":[38],"Bayesian":[40],"framework":[41],"the":[43,50,54,85],"computation":[44],"of":[45,56,68,87],"confidence":[47],"level":[48],"on":[49],"and":[52,76,97],"design":[55],"optimal":[57],"experiments.":[58],"Applied":[59],"dynamical":[61,89],"systems,":[62],"work":[64],"enables":[65],"data-driven":[66,96],"partly-known":[69],"dynamics":[71],"controllable":[73],"non-determinism":[74],"(inputs)":[75],"noisy":[77],"output":[78],"observations.":[79],"numerical":[81],"case":[82],"study":[83],"concerning":[84],"safety":[86],"used":[92],"elucidate":[94],"model-based":[98],"technique.":[100]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":3}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}