{"id":"https://openalex.org/W2117642539","doi":"https://doi.org/10.1093/bioinformatics/bts137","title":"ADMIT: a toolbox for guaranteed model invalidation, estimation and qualitative\u2013quantitative modeling","display_name":"ADMIT: a toolbox for guaranteed model invalidation, estimation and qualitative\u2013quantitative modeling","publication_year":2012,"publication_date":"2012-03-25","ids":{"openalex":"https://openalex.org/W2117642539","doi":"https://doi.org/10.1093/bioinformatics/bts137","mag":"2117642539","pmid":"https://pubmed.ncbi.nlm.nih.gov/22451270"},"language":"en","primary_location":{"id":"doi:10.1093/bioinformatics/bts137","is_oa":true,"landing_page_url":"https://doi.org/10.1093/bioinformatics/bts137","pdf_url":"https://academic.oup.com/bioinformatics/article-pdf/28/9/1290/890471/bts137.pdf","source":{"id":"https://openalex.org/S52395412","display_name":"Bioinformatics","issn_l":"1367-4803","issn":["1367-4803","1367-4811"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bioinformatics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj","pubmed"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://academic.oup.com/bioinformatics/article-pdf/28/9/1290/890471/bts137.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050202669","display_name":"Stefan Streif","orcid":"https://orcid.org/0000-0002-3398-1226"},"institutions":[{"id":"https://openalex.org/I95793202","display_name":"Otto-von-Guericke-Universit\u00e4t Magdeburg","ror":"https://ror.org/00ggpsq73","country_code":"DE","type":"education","lineage":["https://openalex.org/I95793202"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Stefan Streif","raw_affiliation_strings":["Otto-von-Guericke Universit\u00e4t Magdeburg, Institute for Automation Engineering, Systems Theory and Automatic Control Laboratory, Magdeburg, 39106, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Otto-von-Guericke Universit\u00e4t Magdeburg, Institute for Automation Engineering, Systems Theory and Automatic Control Laboratory, Magdeburg, 39106, Germany","institution_ids":["https://openalex.org/I95793202"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030657612","display_name":"Anton Savchenko","orcid":"https://orcid.org/0000-0002-6684-2812"},"institutions":[{"id":"https://openalex.org/I95793202","display_name":"Otto-von-Guericke-Universit\u00e4t Magdeburg","ror":"https://ror.org/00ggpsq73","country_code":"DE","type":"education","lineage":["https://openalex.org/I95793202"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Anton Savchenko","raw_affiliation_strings":["Otto-von-Guericke Universit\u00e4t Magdeburg, Institute for Automation Engineering, Systems Theory and Automatic Control Laboratory, Magdeburg, 39106, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Otto-von-Guericke Universit\u00e4t Magdeburg, Institute for Automation Engineering, Systems Theory and Automatic Control Laboratory, Magdeburg, 39106, Germany","institution_ids":["https://openalex.org/I95793202"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011859209","display_name":"Philipp Rumschinski","orcid":"https://orcid.org/0000-0002-7870-0504"},"institutions":[{"id":"https://openalex.org/I95793202","display_name":"Otto-von-Guericke-Universit\u00e4t Magdeburg","ror":"https://ror.org/00ggpsq73","country_code":"DE","type":"education","lineage":["https://openalex.org/I95793202"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Philipp Rumschinski","raw_affiliation_strings":["Otto-von-Guericke Universit\u00e4t Magdeburg, Institute for Automation Engineering, Systems Theory and Automatic Control Laboratory, Magdeburg, 39106, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Otto-von-Guericke Universit\u00e4t Magdeburg, Institute for Automation Engineering, Systems Theory and Automatic Control Laboratory, Magdeburg, 39106, Germany","institution_ids":["https://openalex.org/I95793202"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028716413","display_name":"Steffen Borchers","orcid":null},"institutions":[{"id":"https://openalex.org/I95793202","display_name":"Otto-von-Guericke-Universit\u00e4t Magdeburg","ror":"https://ror.org/00ggpsq73","country_code":"DE","type":"education","lineage":["https://openalex.org/I95793202"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Steffen Borchers","raw_affiliation_strings":["Otto-von-Guericke Universit\u00e4t Magdeburg, Institute for Automation Engineering, Systems Theory and Automatic Control Laboratory, Magdeburg, 39106, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Otto-von-Guericke Universit\u00e4t Magdeburg, Institute for Automation Engineering, Systems Theory and Automatic Control Laboratory, Magdeburg, 39106, Germany","institution_ids":["https://openalex.org/I95793202"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040485515","display_name":"Rolf Findeisen","orcid":"https://orcid.org/0000-0002-9112-5946"},"institutions":[{"id":"https://openalex.org/I95793202","display_name":"Otto-von-Guericke-Universit\u00e4t Magdeburg","ror":"https://ror.org/00ggpsq73","country_code":"DE","type":"education","lineage":["https://openalex.org/I95793202"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Rolf Findeisen","raw_affiliation_strings":["Otto-von-Guericke Universit\u00e4t Magdeburg, Institute for Automation Engineering, Systems Theory and Automatic Control Laboratory, Magdeburg, 39106, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Otto-von-Guericke Universit\u00e4t Magdeburg, Institute for Automation Engineering, Systems Theory and Automatic Control Laboratory, Magdeburg, 39106, Germany","institution_ids":["https://openalex.org/I95793202"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5050202669"],"corresponding_institution_ids":["https://openalex.org/I95793202"],"apc_list":{"value":3618,"currency":"USD","value_usd":3618},"apc_paid":{"value":3618,"currency":"USD","value_usd":3618},"fwci":3.2245,"has_fulltext":false,"cited_by_count":37,"citation_normalized_percentile":{"value":0.92735537,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"28","issue":"9","first_page":"1290","last_page":"1291"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.48829999566078186,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.48829999566078186,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10932","display_name":"Microbial Metabolic Engineering and Bioproduction","score":0.38269999623298645,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.05570000037550926,"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/toolbox","display_name":"Toolbox","score":0.8221702575683594},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7801514267921448},{"id":"https://openalex.org/keywords/a-priori-and-a-posteriori","display_name":"A priori and a posteriori","score":0.674322783946991},{"id":"https://openalex.org/keywords/matlab","display_name":"MATLAB","score":0.6223196983337402},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.560689389705658},{"id":"https://openalex.org/keywords/relaxation","display_name":"Relaxation (psychology)","score":0.5412416458129883},{"id":"https://openalex.org/keywords/estimation-theory","display_name":"Estimation theory","score":0.5105623006820679},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.4745814800262451},{"id":"https://openalex.org/keywords/experimental-data","display_name":"Experimental data","score":0.45093050599098206},{"id":"https://openalex.org/keywords/estimation","display_name":"Estimation","score":0.4425087571144104},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.43475186824798584},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.42126280069351196},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3875499963760376},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3394516110420227},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.13834530115127563},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.07638370990753174}],"concepts":[{"id":"https://openalex.org/C2777655017","wikidata":"https://www.wikidata.org/wiki/Q1501161","display_name":"Toolbox","level":2,"score":0.8221702575683594},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7801514267921448},{"id":"https://openalex.org/C75553542","wikidata":"https://www.wikidata.org/wiki/Q178161","display_name":"A priori and a posteriori","level":2,"score":0.674322783946991},{"id":"https://openalex.org/C2780365114","wikidata":"https://www.wikidata.org/wiki/Q169478","display_name":"MATLAB","level":2,"score":0.6223196983337402},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.560689389705658},{"id":"https://openalex.org/C2776029896","wikidata":"https://www.wikidata.org/wiki/Q3935810","display_name":"Relaxation (psychology)","level":2,"score":0.5412416458129883},{"id":"https://openalex.org/C167928553","wikidata":"https://www.wikidata.org/wiki/Q1376021","display_name":"Estimation theory","level":2,"score":0.5105623006820679},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.4745814800262451},{"id":"https://openalex.org/C55037315","wikidata":"https://www.wikidata.org/wiki/Q5421151","display_name":"Experimental data","level":2,"score":0.45093050599098206},{"id":"https://openalex.org/C96250715","wikidata":"https://www.wikidata.org/wiki/Q965330","display_name":"Estimation","level":2,"score":0.4425087571144104},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.43475186824798584},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.42126280069351196},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3875499963760376},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3394516110420227},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.13834530115127563},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07638370990753174},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","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},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","level":1,"score":0.0}],"mesh":[{"descriptor_ui":"D000465","descriptor_name":"Algorithms","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D000465","descriptor_name":"Algorithms","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D000465","descriptor_name":"Algorithms","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D008954","descriptor_name":"Models, Biological","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D008954","descriptor_name":"Models, Biological","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D008954","descriptor_name":"Models, Biological","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D009010","descriptor_name":"Monte Carlo Method","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D009010","descriptor_name":"Monte Carlo Method","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D009010","descriptor_name":"Monte Carlo Method","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D012984","descriptor_name":"Software","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D012984","descriptor_name":"Software","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D012984","descriptor_name":"Software","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D049490","descriptor_name":"Systems Biology","qualifier_ui":"Q000379","qualifier_name":"methods","is_major_topic":false},{"descriptor_ui":"D049490","descriptor_name":"Systems Biology","qualifier_ui":"Q000379","qualifier_name":"methods","is_major_topic":false},{"descriptor_ui":"D049490","descriptor_name":"Systems Biology","qualifier_ui":"Q000379","qualifier_name":"methods","is_major_topic":false}],"locations_count":5,"locations":[{"id":"doi:10.1093/bioinformatics/bts137","is_oa":true,"landing_page_url":"https://doi.org/10.1093/bioinformatics/bts137","pdf_url":"https://academic.oup.com/bioinformatics/article-pdf/28/9/1290/890471/bts137.pdf","source":{"id":"https://openalex.org/S52395412","display_name":"Bioinformatics","issn_l":"1367-4803","issn":["1367-4803","1367-4811"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bioinformatics","raw_type":"journal-article"},{"id":"pmid:22451270","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/22451270","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bioinformatics (Oxford, England)","raw_type":null},{"id":"pmh:oai:escidoc.org:escidoc:2565762","is_oa":false,"landing_page_url":"http://hdl.handle.net/21.11116/0000-0000-F1BB-D","pdf_url":null,"source":{"id":"https://openalex.org/S7407052962","display_name":"Max Planck Digital Library","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:pubmedcentral.nih.gov:3338024","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/3338024","pdf_url":null,"source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bioinformatics","raw_type":"Text"},{"id":"pmh:oai:pure.mpg.de:item_2565762","is_oa":false,"landing_page_url":"https://hdl.handle.net/21.11116/0000-0000-F1BB-D","pdf_url":null,"source":{"id":"https://openalex.org/S4306400654","display_name":"MPG.PuRe (Max Planck Society)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I149899117","host_organization_name":"Max Planck Society","host_organization_lineage":["https://openalex.org/I149899117"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bioinformatics","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1093/bioinformatics/bts137","is_oa":true,"landing_page_url":"https://doi.org/10.1093/bioinformatics/bts137","pdf_url":"https://academic.oup.com/bioinformatics/article-pdf/28/9/1290/890471/bts137.pdf","source":{"id":"https://openalex.org/S52395412","display_name":"Bioinformatics","issn_l":"1367-4803","issn":["1367-4803","1367-4811"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bioinformatics","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1983099157","https://openalex.org/W2007780425","https://openalex.org/W2025983968","https://openalex.org/W2027381650","https://openalex.org/W2104507918","https://openalex.org/W2115343689","https://openalex.org/W2148067607","https://openalex.org/W2156154713","https://openalex.org/W2165603655","https://openalex.org/W2166071821","https://openalex.org/W2168648059","https://openalex.org/W2536620281"],"related_works":["https://openalex.org/W2377984624","https://openalex.org/W2348740175","https://openalex.org/W4243049533","https://openalex.org/W2372487761","https://openalex.org/W2342104405","https://openalex.org/W290870073","https://openalex.org/W1780459493","https://openalex.org/W2949893228","https://openalex.org/W2001928443","https://openalex.org/W2278941722"],"abstract_inverted_index":{"SUMMARY:":[0],"Often":[1],"competing":[2],"hypotheses":[3,29],"for":[4,76,120,146,159],"biochemical":[5],"networks":[6],"exist":[7],"in":[8,59],"the":[9,34,39,87,104,122],"form":[10,60],"of":[11,61,89,96,157],"different":[12],"mathematical":[13],"models":[14],"with":[15,33],"unknown":[16,40],"parameters.":[17,41],"Considering":[18],"available":[19,58,155],"experimental":[20,48],"data,":[21,35,92],"it":[22],"is":[23,72,113],"then":[24],"desired":[25,123],"to":[26,37],"reject":[27],"model":[28,78],"that":[30],"are":[31,45,50,55,118,154],"inconsistent":[32],"or":[36,106,126],"estimate":[38],"However,":[42],"these":[43],"tasks":[44],"complicated":[46],"because":[47],"data":[49],"typically":[51],"sparse,":[52],"uncertain,":[53],"and":[54,68,81,98,100,116,136,138,144,151],"frequently":[56],"only":[57],"qualitative":[62,101],"if-then":[63],"observations.":[64],"ADMIT":[65],"(Analysis,":[66],"Design":[67],"Model":[69],"Invalidation":[70],"Toolbox)":[71],"a":[73,93],"MatLab(TM)-based":[74],"tool":[75],"guaranteed":[77,141],"invalidation,":[79],"state":[80],"parameter":[82],"estimation.":[83],"The":[84,129],"toolbox":[85],"allows":[86],"integration":[88],"quantitative":[90],"measurement":[91],"priori":[94],"knowledge":[95],"parameters":[97],"states,":[99],"information":[102],"on":[103,133],"dynamic":[105],"steady-state":[107],"behavior.":[108],"A":[109],"constraint":[110],"satisfaction":[111],"problem":[112],"automatically":[114],"generated":[115],"algorithms":[117],"implemented":[119,130],"solving":[121],"estimation,":[124],"invalidation":[125],"analysis":[127],"tasks.":[128],"methods":[131],"built":[132],"convex":[134],"relaxation":[135],"optimization":[137],"therefore":[139],"provide":[140],"estimation":[142],"results":[143],"certificates":[145],"invalidity.":[147],"AVAILABILITY:":[148],"ADMIT,":[149],"tutorials":[150],"illustrative":[152],"examples":[153],"free":[156],"charge":[158],"non-commercial":[160],"use":[161],"at":[162],"http://ifatwww.et.uni-magdeburg.de/syst/ADMIT/":[163]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":2},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":7},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":11},{"year":2012,"cited_by_count":3}],"updated_date":"2026-06-23T06:36:01.041984","created_date":"2025-10-10T00:00:00"}