{"id":"https://openalex.org/W4248040364","doi":"https://doi.org/10.1145/3313149","title":"Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT","display_name":"Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT","publication_year":2019,"publication_date":"2019-04-15","ids":{"openalex":"https://openalex.org/W4248040364","doi":"https://doi.org/10.1145/3313149"},"language":"en","primary_location":{"id":"doi:10.1145/3313149","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3313149","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"},"type":"paratext","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":true,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12772","display_name":"Control and Stability of Dynamical Systems","score":0.953000009059906,"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/T12772","display_name":"Control and Stability of Dynamical Systems","score":0.953000009059906,"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/T14470","display_name":"Advanced Data Processing Techniques","score":0.9429000020027161,"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.9377999901771545,"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/computer-science","display_name":"Computer science","score":0.7192885279655457},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.6694011092185974},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5882738828659058},{"id":"https://openalex.org/keywords/symbolic-data-analysis","display_name":"Symbolic data analysis","score":0.5387760996818542},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5288174152374268},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5258593559265137},{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.5055437088012695},{"id":"https://openalex.org/keywords/symbolic-trajectory-evaluation","display_name":"Symbolic trajectory evaluation","score":0.4999094009399414},{"id":"https://openalex.org/keywords/identification","display_name":"Identification (biology)","score":0.48268747329711914},{"id":"https://openalex.org/keywords/internet-of-things","display_name":"Internet of Things","score":0.4453389644622803},{"id":"https://openalex.org/keywords/the-symbolic","display_name":"The Symbolic","score":0.4322885274887085},{"id":"https://openalex.org/keywords/symbolic-computation","display_name":"Symbolic computation","score":0.42376214265823364},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.3930482566356659},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2358171045780182},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17033973336219788},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.13495972752571106}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7192885279655457},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.6694011092185974},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5882738828659058},{"id":"https://openalex.org/C65620979","wikidata":"https://www.wikidata.org/wiki/Q7661176","display_name":"Symbolic data analysis","level":2,"score":0.5387760996818542},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5288174152374268},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5258593559265137},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.5055437088012695},{"id":"https://openalex.org/C23123167","wikidata":"https://www.wikidata.org/wiki/Q7661193","display_name":"Symbolic trajectory evaluation","level":3,"score":0.4999094009399414},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.48268747329711914},{"id":"https://openalex.org/C81860439","wikidata":"https://www.wikidata.org/wiki/Q251212","display_name":"Internet of Things","level":2,"score":0.4453389644622803},{"id":"https://openalex.org/C2776095079","wikidata":"https://www.wikidata.org/wiki/Q489538","display_name":"The Symbolic","level":2,"score":0.4322885274887085},{"id":"https://openalex.org/C110812573","wikidata":"https://www.wikidata.org/wiki/Q175515","display_name":"Symbolic computation","level":2,"score":0.42376214265823364},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.3930482566356659},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2358171045780182},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17033973336219788},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.13495972752571106},{"id":"https://openalex.org/C59822182","wikidata":"https://www.wikidata.org/wiki/Q441","display_name":"Botany","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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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/C11171543","wikidata":"https://www.wikidata.org/wiki/Q41630","display_name":"Psychoanalysis","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3313149","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3313149","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Partnerships for the goals","score":0.49000000953674316,"id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2186150309","https://openalex.org/W2736010003","https://openalex.org/W2096406490","https://openalex.org/W1552151841","https://openalex.org/W2132514413","https://openalex.org/W1951895578","https://openalex.org/W2107687326","https://openalex.org/W2564349843","https://openalex.org/W1489085734","https://openalex.org/W131471094"],"abstract_inverted_index":{"SNR19":[0],"focuses":[1],"on":[2,50,78],"the":[3,16,57,62,68,88,93],"combination":[4],"of":[5,18,55,59,64,81,87,95],"symbolic":[6,36],"and":[7,15,26,37,52,84,99],"numeric":[8],"methods":[9,47,75],"for":[10,30,42,71],"reasoning":[11],"about":[12],"Cyber-Physical":[13],"Systems":[14],"Internet":[17],"Things":[19],"to":[20],"facilitate":[21],"model":[22,65],"identification,":[23],"specification,":[24],"verification,":[25],"control":[27,100],"synthesis":[28],"problems":[29],"these":[31],"systems.":[32],"The":[33],"synergy":[34],"between":[35],"numerical":[38,82],"approaches":[39],"is":[40],"fruitful":[41],"two":[43],"main":[44],"reasons:":[45],"\u2022Symbolic":[46],"that":[48,76],"operate":[49,77],"exact":[51],"discrete":[53],"representations":[54],"systems,":[56,89],"set":[58],"reachable":[60],"states,":[61],"distribution":[63],"parameters":[66],"or":[67],"possible":[69],"gains":[70],"controller":[72],"parameters.":[73],"\u2022Numeric":[74],"various":[79],"forms":[80],"approximations":[83],"continuous":[85,96],"transformations":[86],"as":[90],"developed":[91],"in":[92],"area":[94],"dynamical":[97],"systems":[98],"theory.":[101]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}