{"id":"https://openalex.org/W2136634355","doi":"https://doi.org/10.1007/s10703-014-0211-2","title":"Finite controlled invariants for sampled switched systems","display_name":"Finite controlled invariants for sampled switched systems","publication_year":2014,"publication_date":"2014-07-08","ids":{"openalex":"https://openalex.org/W2136634355","doi":"https://doi.org/10.1007/s10703-014-0211-2","mag":"2136634355"},"language":"en","primary_location":{"id":"doi:10.1007/s10703-014-0211-2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10703-014-0211-2","pdf_url":null,"source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-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/A5058799763","display_name":"Laurent Fribourg","orcid":"https://orcid.org/0000-0002-5562-4078"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I11559806","display_name":"\u00c9cole Normale Sup\u00e9rieure Paris-Saclay","ror":"https://ror.org/00hx6zz33","country_code":"FR","type":"education","lineage":["https://openalex.org/I11559806","https://openalex.org/I277688954"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"L. Fribourg","raw_affiliation_strings":["LSV, ENS Cachan & CNRS, Cachan, France","LSV, ENS-Cachan & CNRS, Cachan, France#TAB#"],"affiliations":[{"raw_affiliation_string":"LSV, ENS Cachan & CNRS, Cachan, France","institution_ids":["https://openalex.org/I11559806","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"LSV, ENS-Cachan & CNRS, Cachan, France#TAB#","institution_ids":["https://openalex.org/I11559806","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075576417","display_name":"Ulrich K\u00fchne","orcid":"https://orcid.org/0000-0002-0855-8223"},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"U. K\u00fchne","raw_affiliation_strings":["Group of Computer Architecture, University of Bremen, Bremen, Germany","[Group of Computer Architecture, University of Bremen, Bremen, Germany]"],"affiliations":[{"raw_affiliation_string":"Group of Computer Architecture, University of Bremen, Bremen, Germany","institution_ids":["https://openalex.org/I180437899"]},{"raw_affiliation_string":"[Group of Computer Architecture, University of Bremen, Bremen, Germany]","institution_ids":["https://openalex.org/I180437899"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053157148","display_name":"Romain Soulat","orcid":"https://orcid.org/0000-0003-4431-5250"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I11559806","display_name":"\u00c9cole Normale Sup\u00e9rieure Paris-Saclay","ror":"https://ror.org/00hx6zz33","country_code":"FR","type":"education","lineage":["https://openalex.org/I11559806","https://openalex.org/I277688954"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"R. Soulat","raw_affiliation_strings":["LSV, ENS Cachan & CNRS, Cachan, France","LSV, ENS-Cachan & CNRS, Cachan, France#TAB#"],"affiliations":[{"raw_affiliation_string":"LSV, ENS Cachan & CNRS, Cachan, France","institution_ids":["https://openalex.org/I11559806","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"LSV, ENS-Cachan & CNRS, Cachan, France#TAB#","institution_ids":["https://openalex.org/I11559806","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5058799763"],"corresponding_institution_ids":["https://openalex.org/I11559806","https://openalex.org/I1294671590"],"apc_list":{"value":2690,"currency":"EUR","value_usd":3490},"apc_paid":null,"fwci":4.0953,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.94137249,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"45","issue":"3","first_page":"303","last_page":"329"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.9991999864578247,"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.9991999864578247,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.996999979019165,"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/T12810","display_name":"Real-time simulation and control systems","score":0.9955999851226807,"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/automotive-industry","display_name":"Automotive industry","score":0.7057739496231079},{"id":"https://openalex.org/keywords/power-electronics","display_name":"Power electronics","score":0.6050882339477539},{"id":"https://openalex.org/keywords/electronics","display_name":"Electronics","score":0.5905490517616272},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5665490627288818},{"id":"https://openalex.org/keywords/decomposition","display_name":"Decomposition","score":0.556989848613739},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5279359221458435},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4797993004322052},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.476619154214859},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.45418229699134827},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.4304543137550354},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.3988245725631714},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.3852517902851105},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.35756292939186096},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2919407784938812},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.24384164810180664},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.20589354634284973},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.18219062685966492},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12092962861061096},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.08311370015144348}],"concepts":[{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.7057739496231079},{"id":"https://openalex.org/C178911571","wikidata":"https://www.wikidata.org/wiki/Q593143","display_name":"Power electronics","level":3,"score":0.6050882339477539},{"id":"https://openalex.org/C138331895","wikidata":"https://www.wikidata.org/wiki/Q11650","display_name":"Electronics","level":2,"score":0.5905490517616272},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5665490627288818},{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.556989848613739},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5279359221458435},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4797993004322052},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.476619154214859},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.45418229699134827},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.4304543137550354},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.3988245725631714},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3852517902851105},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.35756292939186096},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2919407784938812},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.24384164810180664},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.20589354634284973},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.18219062685966492},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12092962861061096},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.08311370015144348},{"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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10703-014-0211-2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10703-014-0211-2","pdf_url":null,"source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.396.9680","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.396.9680","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W191550043","https://openalex.org/W1481666617","https://openalex.org/W1597768990","https://openalex.org/W1796008344","https://openalex.org/W1970719553","https://openalex.org/W1980222041","https://openalex.org/W1992472169","https://openalex.org/W1995063858","https://openalex.org/W2059057465","https://openalex.org/W2095981630","https://openalex.org/W2101901392","https://openalex.org/W2112631723","https://openalex.org/W2129965357","https://openalex.org/W2147340401","https://openalex.org/W2164957184","https://openalex.org/W2165489953","https://openalex.org/W2165748475"],"related_works":["https://openalex.org/W2366735455","https://openalex.org/W2073124931","https://openalex.org/W2485410144","https://openalex.org/W2991800158","https://openalex.org/W3113191420","https://openalex.org/W3034313591","https://openalex.org/W1525212250","https://openalex.org/W1589800123","https://openalex.org/W3021933246","https://openalex.org/W205195642"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":2},{"year":2013,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}