{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:28:40Z","timestamp":1729664920067,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/smc.2017.8122627","type":"proceedings-article","created":{"date-parts":[[2017,11,30]],"date-time":"2017-11-30T17:22:47Z","timestamp":1512062567000},"page":"345-350","source":"Crossref","is-referenced-by-count":2,"title":["Towards predictions of large dynamic systems' behavior using reduced-order modeling and interval computations"],"prefix":"10.1109","author":[{"given":"Leobardo","family":"Valera","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angel","family":"Garcia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Afshin","family":"Gholamy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martine","family":"Ceberio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Horacio","family":"Florez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"155","volume":"22","author":"white","year":"2003","journal-title":"A Trajectory Piecewise-Linear Approach to Model Order Reduction and Fast Simulation of Nonlinear Circuits and Micromachined Devices IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"154a","DOI":"10.1149\/1.3049347","article-title":"Reduction of Model Order Based on Proper Orthogonal Decomposition for Lithium-Ion Battery Simulations","volume":"156","author":"kelly","year":"2009","journal-title":"Journal of The Electrochemical Society"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.2514\/2.1570"},{"key":"ref13","article-title":"A First Course in Fuzzy Logic, Fuzzy Dynamical Systems, and Biomathematics. Theory and Applications","volume":"347","author":"lodwick","year":"2017","journal-title":"Studies in Fuzziness and Soft Computing"},{"key":"ref14","article-title":"Model-Order Reduction Using Interval Constraint Solving Techniques","volume":"11","author":"valera","year":"2017","journal-title":"Uncertain Systems"},{"key":"ref15","article-title":"Model-Order Reduction Using Interval Constraint Solving Techniques","author":"valera","year":"2016","journal-title":"7th International Workshop on Reliable Engineering Computing (REC)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(77)90007-8"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1132973.1132980"},{"journal-title":"Verified Branch and Bound for Singular Linear and Nonlinear programs An epsilon-inflation process","year":"2007","author":"kearfott","key":"ref6"},{"key":"ref5","first-page":"503","author":"jaffar","year":"1994","journal-title":"Constraint Logic Programming A survey The Journal of Logic Programming"},{"key":"ref8","article-title":"Where to bisect a box? A Theoretical Explanation of the Experimental Results","author":"kearfott","year":"1998","journal-title":"Proc MEXICON'98 Workshop on Interval Computations 4th World Congress on Expert Systems"},{"key":"ref7","volume":"211","author":"caroa","year":"2014","journal-title":"A branch and Prune Algorithm for the Computation of Generalized Aspects of Parallel Robots Artificial Intelligence"},{"key":"ref2","article-title":"Revising Hull and Box Consistency","author":"benhamou","year":"1999","journal-title":"Proceedings of the 1999 International Conference on Logic Programming"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898717716"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78841-6"}],"event":{"name":"2017 IEEE International Conference on Systems, Man and Cybernetics (SMC)","start":{"date-parts":[[2017,10,5]]},"location":"Banff, AB","end":{"date-parts":[[2017,10,8]]}},"container-title":["2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8114675\/8122565\/08122627.pdf?arnumber=8122627","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,7]],"date-time":"2019-10-07T01:50:50Z","timestamp":1570413050000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8122627\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/smc.2017.8122627","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}