{"id":"https://openalex.org/W150845232","doi":"https://doi.org/10.1007/978-3-642-24559-6_11","title":"Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications","display_name":"Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W150845232","doi":"https://doi.org/10.1007/978-3-642-24559-6_11","mag":"150845232"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-24559-6_11","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-24559-6_11","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":"book-chapter","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/A5101571355","display_name":"Jo\u00e3o Martins","orcid":"https://orcid.org/0000-0002-5235-6258"},"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"]},{"id":"https://openalex.org/I83558840","display_name":"Universidade Nova de Lisboa","ror":"https://ror.org/02xankh89","country_code":"PT","type":"education","lineage":["https://openalex.org/I83558840"]}],"countries":["PT","US"],"is_corresponding":false,"raw_author_name":"Jo\u00e3o Martins","raw_affiliation_strings":["CENTRIA and Departamento de Inform\u00e1tica, FCT, Universidade Nova de Lisboa, Portugal","Computer Science Department, Carnegie Mellon University, Pittsburgh, PA, USA","Computer Science Department, Carnegie Mellon University, Pittsburgh PA and CENTRIA and Departamento de Inform\u00e1tica, FCT, Universidade Nova de Lisboa"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CENTRIA and Departamento de Inform\u00e1tica, FCT, Universidade Nova de Lisboa, Portugal","institution_ids":["https://openalex.org/I83558840"]},{"raw_affiliation_string":"Computer Science Department, Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Computer Science Department, Carnegie Mellon University, Pittsburgh PA and CENTRIA and Departamento de Inform\u00e1tica, FCT, Universidade Nova de Lisboa","institution_ids":["https://openalex.org/I83558840"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080481427","display_name":"Andr\u00e9 Platzer","orcid":"https://orcid.org/0000-0001-7238-5710"},"institutions":[{"id":"https://openalex.org/I4210156583","display_name":"Laboratoire d'Informatique de Paris-Nord","ror":"https://ror.org/05g1zjw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210091279","https://openalex.org/I4210156583","https://openalex.org/I4210159245"]},{"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":["FR","US"],"is_corresponding":false,"raw_author_name":"Andr\u00e9 Platzer","raw_affiliation_strings":["Computer Science Department, Carnegie Mellon University, Pittsburgh, PA, USA","Computer Science Department, Carnegie-Mellon University, Pittsburgh, Pa"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Computer Science Department, Carnegie-Mellon University, Pittsburgh, Pa","institution_ids":["https://openalex.org/I74973139","https://openalex.org/I4210156583"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066466375","display_name":"Jo\u00e3o Leite","orcid":"https://orcid.org/0000-0001-6786-7360"},"institutions":[{"id":"https://openalex.org/I83558840","display_name":"Universidade Nova de Lisboa","ror":"https://ror.org/02xankh89","country_code":"PT","type":"education","lineage":["https://openalex.org/I83558840"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Jo\u00e3o Leite","raw_affiliation_strings":["CENTRIA and Departamento de Inform\u00e1tica, FCT, Universidade Nova de Lisboa, Portugal","CENTRIA and Departamento de Inform\u00e1tica, FCT, Universidade Nova de Lisboa"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CENTRIA and Departamento de Inform\u00e1tica, FCT, Universidade Nova de Lisboa, Portugal","institution_ids":["https://openalex.org/I83558840"]},{"raw_affiliation_string":"CENTRIA and Departamento de Inform\u00e1tica, FCT, Universidade Nova de Lisboa","institution_ids":["https://openalex.org/I83558840"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":3.4787,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.92176471,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"131","last_page":"146"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9891999959945679,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9890999794006348,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8512251377105713},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6341502070426941},{"id":"https://openalex.org/keywords/smart-grid","display_name":"Smart grid","score":0.62126624584198},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.6131802201271057},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5969368815422058},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5773706436157227},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5320075154304504},{"id":"https://openalex.org/keywords/grid","display_name":"Grid","score":0.48287132382392883},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35413092374801636},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.16699060797691345},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.09088718891143799}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8512251377105713},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6341502070426941},{"id":"https://openalex.org/C10558101","wikidata":"https://www.wikidata.org/wiki/Q689855","display_name":"Smart grid","level":2,"score":0.62126624584198},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.6131802201271057},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5969368815422058},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5773706436157227},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5320075154304504},{"id":"https://openalex.org/C187691185","wikidata":"https://www.wikidata.org/wiki/Q2020720","display_name":"Grid","level":2,"score":0.48287132382392883},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35413092374801636},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16699060797691345},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.09088718891143799},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-642-24559-6_11","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-24559-6_11","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.308.3698","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.308.3698","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"http://www.cs.cmu.edu/~jmartins/cs-cmu-11-119.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.401.7599","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.401.7599","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/~jmartins/papers/icfem11.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.410.6216","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.410.6216","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://centria.di.fct.unl.pt/~jleite/papers/icfem11.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5400000214576721,"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W105220891","https://openalex.org/W150845232","https://openalex.org/W180747137","https://openalex.org/W1489868140","https://openalex.org/W1515112361","https://openalex.org/W1520566118","https://openalex.org/W1522448884","https://openalex.org/W1535806969","https://openalex.org/W1539608978","https://openalex.org/W1569248486","https://openalex.org/W1590111213","https://openalex.org/W1590730808","https://openalex.org/W1631091010","https://openalex.org/W1884784351","https://openalex.org/W1891915427","https://openalex.org/W1977444293","https://openalex.org/W1995691455","https://openalex.org/W1998674588","https://openalex.org/W2067971887","https://openalex.org/W2105964247","https://openalex.org/W2120367980","https://openalex.org/W2132638915","https://openalex.org/W2136334261","https://openalex.org/W2147340401","https://openalex.org/W2161081924","https://openalex.org/W2481725538","https://openalex.org/W2489001267","https://openalex.org/W2496242874","https://openalex.org/W2561675875","https://openalex.org/W2911432472"],"related_works":["https://openalex.org/W2116677773","https://openalex.org/W2155261584","https://openalex.org/W2584231425","https://openalex.org/W2150611273","https://openalex.org/W4207086172","https://openalex.org/W2042919702","https://openalex.org/W2746280673","https://openalex.org/W1594593035","https://openalex.org/W2152996796","https://openalex.org/W2560415449"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":3},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":4}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}