{"id":"https://openalex.org/W1585535702","doi":"https://doi.org/10.23919/ecc.1999.7099557","title":"A case study of hybrid controller synthesis of a heating system","display_name":"A case study of hybrid controller synthesis of a heating system","publication_year":1999,"publication_date":"1999-08-01","ids":{"openalex":"https://openalex.org/W1585535702","doi":"https://doi.org/10.23919/ecc.1999.7099557","mag":"1585535702"},"language":"en","primary_location":{"id":"doi:10.23919/ecc.1999.7099557","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ecc.1999.7099557","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"1999 European Control Conference (ECC)","raw_type":"proceedings-article"},"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/A5088625612","display_name":"A. Balluchif","orcid":null},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"A. Balluchif","raw_affiliation_strings":["PARADES, Via di S. Pantaleo, 66, 00186 Roma, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"PARADES, Via di S. Pantaleo, 66, 00186 Roma, Italy","institution_ids":["https://openalex.org/I122991210"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076225221","display_name":"Luca Benvenuti","orcid":"https://orcid.org/0000-0001-7424-6853"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"L. Benvenuti","raw_affiliation_strings":["PARADES, Via di S. Pantaleo, 66, 00186 Roma, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"PARADES, Via di S. Pantaleo, 66, 00186 Roma, Italy","institution_ids":["https://openalex.org/I122991210"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047668142","display_name":"T. Villas","orcid":null},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"T. Villas","raw_affiliation_strings":["PARADES, Via di S. Pantaleo, 66, 00186 Roma, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"PARADES, Via di S. Pantaleo, 66, 00186 Roma, Italy","institution_ids":["https://openalex.org/I122991210"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027948957","display_name":"Howard Wong-Toi","orcid":null},"institutions":[{"id":"https://openalex.org/I148283060","display_name":"Lawrence Berkeley National Laboratory","ror":"https://ror.org/02jbv0t02","country_code":"US","type":"facility","lineage":["https://openalex.org/I1330989302","https://openalex.org/I148283060","https://openalex.org/I39565521"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"H. Wong-Toi","raw_affiliation_strings":["Cadence Berkeley Labs, 2001 Addison St., Third Floor, Berkeley, CA 94704, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Cadence Berkeley Labs, 2001 Addison St., Third Floor, Berkeley, CA 94704, USA","institution_ids":["https://openalex.org/I148283060"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088660554","display_name":"Alberto Sangiovanni\u2010Vincentelli","orcid":"https://orcid.org/0000-0003-1298-8389"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"A. L. Sangiovanni-Vincentelli","raw_affiliation_strings":["PARADES, Via di S. Pantaleo, 66, 00186 Roma, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"PARADES, Via di S. Pantaleo, 66, 00186 Roma, Italy","institution_ids":["https://openalex.org/I122991210"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3149,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.48612593,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1687","last_page":"1692"},"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9984999895095825,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.993399977684021,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/controller","display_name":"Controller (irrigation)","score":0.7341059446334839},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.7037069797515869},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6769620180130005},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.605707049369812},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.560579240322113},{"id":"https://openalex.org/keywords/matlab","display_name":"MATLAB","score":0.5554887056350708},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.48754116892814636},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4492015242576599},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.4412662088871002},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.43232762813568115},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.4261653423309326},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1833975613117218},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13499611616134644},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11303055286407471},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10927480459213257},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.08256492018699646}],"concepts":[{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.7341059446334839},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.7037069797515869},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6769620180130005},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.605707049369812},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.560579240322113},{"id":"https://openalex.org/C2780365114","wikidata":"https://www.wikidata.org/wiki/Q169478","display_name":"MATLAB","level":2,"score":0.5554887056350708},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.48754116892814636},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4492015242576599},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.4412662088871002},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.43232762813568115},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.4261653423309326},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1833975613117218},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13499611616134644},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11303055286407471},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10927480459213257},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.08256492018699646},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.23919/ecc.1999.7099557","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ecc.1999.7099557","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"1999 European Control Conference (ECC)","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.14.2822","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.2822","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www-cad.eecs.berkeley.edu/Respep/Research/asves/paper1999/Balluchi_ecc99.pdf","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":14,"referenced_works":["https://openalex.org/W9012611","https://openalex.org/W1515211482","https://openalex.org/W1598593415","https://openalex.org/W1606824214","https://openalex.org/W1607870502","https://openalex.org/W1847900246","https://openalex.org/W1900127520","https://openalex.org/W2007981995","https://openalex.org/W2016206563","https://openalex.org/W2059057465","https://openalex.org/W2125267391","https://openalex.org/W2144965436","https://openalex.org/W2165489953","https://openalex.org/W2888914392"],"related_works":["https://openalex.org/W2356013541","https://openalex.org/W2385444679","https://openalex.org/W3133868776","https://openalex.org/W144391745","https://openalex.org/W2360644005","https://openalex.org/W2350667299","https://openalex.org/W2365027229","https://openalex.org/W4229851301","https://openalex.org/W2349721879","https://openalex.org/W2385577065"],"abstract_inverted_index":{"A":[0],"controller":[1,30,48],"for":[2,170,200],"a":[3,37,69,89,113,117,147],"non-deterministic":[4],"hybrid":[5,51,114],"plant":[6,20,24],"must":[7],"ensure":[8],"that":[9,203],"the":[10,19,23,33,42,47,53,98,106,109,141,153,161,167,206],"closed-loop":[11],"system":[12,43,121],"meets":[13],"some":[14],"requirement,":[15],"regardless":[16],"of":[17,35,55,72,100,108,116,143,149,166],"what":[18],"does.":[21],"When":[22],"is":[25],"viewed":[26],"as":[27],"an":[28],"adversary,":[29],"synthesis":[31,168,207],"becomes":[32],"task":[34],"solving":[36,157],"two-person":[38],"game":[39],"to":[40,83,92,139,181,209],"find":[41,93],"configurations":[44],"from":[45,193],"which":[46],"wins.":[49],"For":[50,133],"systems,":[52],"moves":[54],"each":[56],"player":[57],"can":[58,67],"be":[59,210],"either":[60],"discrete":[61,75,124,154],"or":[62],"continuous.":[63],"Thus":[64],"winning":[65,95,144],"strategies":[66,96],"involve":[68],"non-trivial":[70],"mix":[71],"continuous":[73,129,162],"and":[74,77,126,128,131,156,197],"actions,":[76],"are":[78],"in":[79,97,152,160,177,213],"general":[80],"not":[81],"easy":[82],"find.":[84],"Tomlin":[85],"et":[86],"al.":[87],"describe":[88],"systematic":[90],"procedure":[91,169,208],"all":[94],"case":[99,150,172,195],"safety":[101],"properties":[102],"[13,7].":[103],"To":[104],"assess":[105],"applicability":[107],"procedure,":[110],"we":[111,136],"study":[112,173],"model":[115],"heating":[118],"system.":[119],"The":[120,164],"incorporates":[122],"both":[123],"controls":[125,130],"disturbances,":[127],"disturbances.":[132],"this":[134,194],"system,":[135],"detail":[137],"how":[138],"compute":[140],"set":[142],"configurations,":[145],"using":[146],"combination":[148],"analysis":[151],"domain":[155],"min-max":[158],"problems":[159],"domain.":[163],"steps":[165],"our":[171],"have":[174],"been":[175],"implemented":[176],"MATLAB,":[178],"enabling":[179],"us":[180],"experiment":[182],"with":[183],"different":[184],"parameter":[185],"settings.":[186],"We":[187],"also":[188],"discuss":[189],"preliminary":[190],"lessons":[191],"learned":[192],"study,":[196],"suggest":[198],"areas":[199],"future":[201],"research":[202],"will":[204],"enable":[205],"more":[211],"applicable":[212],"practice.":[214]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}