{"id":"https://openalex.org/W2076815897","doi":"https://doi.org/10.1109/mmar.2013.6669913","title":"Verified simulation of control systems with interval parameters using an exponential state enclosure technique","display_name":"Verified simulation of control systems with interval parameters using an exponential state enclosure technique","publication_year":2013,"publication_date":"2013-08-01","ids":{"openalex":"https://openalex.org/W2076815897","doi":"https://doi.org/10.1109/mmar.2013.6669913","mag":"2076815897"},"language":"en","primary_location":{"id":"doi:10.1109/mmar.2013.6669913","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mmar.2013.6669913","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 18th International Conference on Methods & Models in Automation & Robotics (MMAR)","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/A5088498976","display_name":"Andreas Rauh","orcid":"https://orcid.org/0000-0002-1548-6547"},"institutions":[{"id":"https://openalex.org/I4665924","display_name":"University of Rostock","ror":"https://ror.org/03zdwsf69","country_code":"DE","type":"education","lineage":["https://openalex.org/I4665924"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Andreas Rauh","raw_affiliation_strings":["Chair of Mechatronics, University of Rostock, Rostock, Germany","Dept. of Mechatron., Univ. of Rostock, Rostock, Germany"],"affiliations":[{"raw_affiliation_string":"Chair of Mechatronics, University of Rostock, Rostock, Germany","institution_ids":["https://openalex.org/I4665924"]},{"raw_affiliation_string":"Dept. of Mechatron., Univ. of Rostock, Rostock, Germany","institution_ids":["https://openalex.org/I4665924"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087209424","display_name":"Ramona Westphal","orcid":null},"institutions":[{"id":"https://openalex.org/I4665924","display_name":"University of Rostock","ror":"https://ror.org/03zdwsf69","country_code":"DE","type":"education","lineage":["https://openalex.org/I4665924"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Ramona Westphal","raw_affiliation_strings":["Chair of Mechatronics, University of Rostock, Rostock, Germany","Dept. of Mechatron., Univ. of Rostock, Rostock, Germany"],"affiliations":[{"raw_affiliation_string":"Chair of Mechatronics, University of Rostock, Rostock, Germany","institution_ids":["https://openalex.org/I4665924"]},{"raw_affiliation_string":"Dept. of Mechatron., Univ. of Rostock, Rostock, Germany","institution_ids":["https://openalex.org/I4665924"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061788743","display_name":"Harald Aschemann","orcid":"https://orcid.org/0000-0001-7789-5699"},"institutions":[{"id":"https://openalex.org/I4665924","display_name":"University of Rostock","ror":"https://ror.org/03zdwsf69","country_code":"DE","type":"education","lineage":["https://openalex.org/I4665924"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Harald Aschemann","raw_affiliation_strings":["Chair of Mechatronics, University of Rostock, Rostock, Germany","Dept. of Mechatron., Univ. of Rostock, Rostock, Germany"],"affiliations":[{"raw_affiliation_string":"Chair of Mechatronics, University of Rostock, Rostock, Germany","institution_ids":["https://openalex.org/I4665924"]},{"raw_affiliation_string":"Dept. of Mechatron., Univ. of Rostock, Rostock, Germany","institution_ids":["https://openalex.org/I4665924"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5088498976"],"corresponding_institution_ids":["https://openalex.org/I4665924"],"apc_list":null,"apc_paid":null,"fwci":0.7251,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.73518139,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"15","issue":null,"first_page":"241","last_page":"246"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","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/T11697","display_name":"Numerical Methods and Algorithms","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/T11236","display_name":"Control Systems and Identification","score":0.9959999918937683,"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/T10142","display_name":"Formal Methods in Verification","score":0.9907000064849854,"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/enclosure","display_name":"Enclosure","score":0.8338354229927063},{"id":"https://openalex.org/keywords/exponential-function","display_name":"Exponential function","score":0.5975964069366455},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.5418651103973389},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.5366665124893188},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4965055584907532},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.43791037797927856},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.36511021852493286},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3550593852996826},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.3346497714519501},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2778710424900055},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.19646281003952026},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08954840898513794}],"concepts":[{"id":"https://openalex.org/C98375054","wikidata":"https://www.wikidata.org/wiki/Q442709","display_name":"Enclosure","level":2,"score":0.8338354229927063},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.5975964069366455},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.5418651103973389},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.5366665124893188},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4965055584907532},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.43791037797927856},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.36511021852493286},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3550593852996826},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3346497714519501},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2778710424900055},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.19646281003952026},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08954840898513794},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/mmar.2013.6669913","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mmar.2013.6669913","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 18th International Conference on Methods & Models in Automation & Robotics (MMAR)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W30456121","https://openalex.org/W178772886","https://openalex.org/W190850486","https://openalex.org/W1988778568","https://openalex.org/W2006919190","https://openalex.org/W2041657135","https://openalex.org/W2136662198","https://openalex.org/W2395285639","https://openalex.org/W2395846212","https://openalex.org/W2539282332","https://openalex.org/W2610914687","https://openalex.org/W4206113489","https://openalex.org/W4298255709","https://openalex.org/W6601256076","https://openalex.org/W6651962720","https://openalex.org/W6711845263","https://openalex.org/W6712237895","https://openalex.org/W6794012408"],"related_works":["https://openalex.org/W2091149819","https://openalex.org/W2366011141","https://openalex.org/W1512242459","https://openalex.org/W1978756981","https://openalex.org/W2359803450","https://openalex.org/W2945598974","https://openalex.org/W2389536931","https://openalex.org/W2369988800","https://openalex.org/W4287905284","https://openalex.org/W2808031154"],"abstract_inverted_index":{"A":[0],"large":[1,134],"number":[2],"of":[3,19,25,42,46,74,78,81,101,118,131,170,176,194],"control":[4],"systems":[5,175],"is":[6,104,160],"characterized":[7],"by":[8,92],"uncertainties":[9],"which":[10,165],"result":[11],"from":[12],"manufacturing":[13],"tolerances,":[14],"imperfect":[15],"measurement,":[16],"and":[17,28,133,185],"simplifications":[18],"mathematical":[20],"models":[21],"during":[22],"the":[23,40,43,79,87,99,112,122,129,140],"design":[24],"both":[26,183],"controllers":[27],"observers.":[29],"Different":[30],"numerical":[31],"techniques":[32,67],"were":[33],"developed":[34],"in":[35,62,121,150,162],"recent":[36],"years":[37],"to":[38,114,139],"characterize":[39],"influence":[41],"above-mentioned":[44],"types":[45],"uncertainty.":[47],"In":[48,96],"this":[49,97,163,202],"field,":[50],"stochastic":[51],"simulation":[52,158],"techniques,":[53],"exploiting":[54],"for":[55,71,167,174,190],"example":[56],"Monte-Carlo":[57],"methods,":[58],"are":[59,90,145],"widely":[60,148],"used":[61,149],"engineering":[63],"applications.":[64],"However,":[65],"these":[66,154],"do":[68],"not":[69,147],"allow":[70],"a":[72,93,105,156,168,191,195],"computation":[73,169],"guaranteed":[75],"worst-case":[76],"bounds":[77,173],"sets":[80],"reachable":[82,127],"states":[83],"as":[84,86],"soon":[85],"uncertain":[88,177],"variables":[89],"given":[91],"set-valued":[94],"description.":[95],"case,":[98],"use":[100],"interval":[102,109,143,172],"arithmetic":[103,110],"promising":[106],"alternative.":[107],"Although":[108],"provides":[111],"possibility":[113],"determine":[115],"verified":[116],"enclosures":[117],"those":[119],"domains":[120],"state-space":[123],"that":[124,142],"contain":[125],"all":[126],"states,":[128],"problems":[130],"overestimation":[132],"computing":[135],"time":[136],"have":[137],"led":[138],"fact":[141],"methods":[144],"still":[146],"engineering.":[151],"To":[152],"overcome":[153],"problems,":[155],"novel":[157],"approach":[159],"presented":[161],"paper,":[164],"allows":[166],"tight":[171],"linear":[178],"ordinary":[179],"differential":[180],"equations":[181],"with":[182],"aperiodic":[184],"oscillatory":[186],"behavior.":[187],"Simulation":[188],"results":[189],"closed-loop":[192],"controller":[193],"flexible":[196],"high-bay":[197],"rack":[198],"feeder":[199],"system":[200],"conclude":[201],"paper.":[203]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}