{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,24]],"date-time":"2023-05-24T12:15:52Z","timestamp":1684930552506},"reference-count":30,"publisher":"Elsevier BV","issue":"17","license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IFAC Proceedings Volumes"],"published-print":{"date-parts":[[2009]]},"DOI":"10.3182\/20090916-3-es-3003.00056","type":"journal-article","created":{"date-parts":[[2010,9,1]],"date-time":"2010-09-01T19:25:09Z","timestamp":1283369109000},"page":"322-327","source":"Crossref","is-referenced-by-count":6,"title":["Hybrid-automaton models for simulating systems with sliding motion: still a challenge"],"prefix":"10.3182","volume":"42","author":[{"given":"Eva M.","family":"Navarro-L\u00f3pez","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.3182\/20090916-3-ES-3003.00056_bib1","author":"The MathWorks, Inc."},{"key":"10.3182\/20090916-3-ES-3003.00056_bib2","series-title":"Numerical Methods for Nonsmooth Dynamical Systems","first-page":"35","author":"Acary","year":"2008"},{"key":"10.3182\/20090916-3-ES-3003.00056_bib3","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/j.entcs.2004.02.055","article-title":"Semantic translation of Simulink\/Stateflow models to hybrid automata using graph transformations","volume":"109","author":"Agrawal","year":"2004","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"10.3182\/20090916-3-ES-3003.00056_bib4","doi-asserted-by":"crossref","unstructured":"R. Alur, A. Kanade, S. Ramesh, and K.C. Shashidhar. Symbolic analysis for improving simulation coverage of Simulink\/Stateflow models. 8th ACM and IEEE International Conference on Embedded software, EMSOFT 2008, (Atlanta, USA, October 19-24), 2008.","DOI":"10.1145\/1450058.1450071"},{"key":"10.3182\/20090916-3-ES-3003.00056_bib5","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","article-title":"Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems","volume":"736","author":"Alur","year":"1993","journal-title":"Lecture Notes in Computer Science"},{"key":"10.3182\/20090916-3-ES-3003.00056_bib6","series-title":"Nonsmooth Mechanics","author":"Brogliato","year":"1999"},{"key":"10.3182\/20090916-3-ES-3003.00056_bib7","series-title":"Nonlinear hybrid dynamical systems: Modelling, optimal control, and applications. Modelling, Analysis and Design of Hybrid Systems, LNCIS 279","first-page":"311","author":"Buss","year":"2002"},{"key":"10.3182\/20090916-3-ES-3003.00056_bib8","series-title":"Object-oriented modeling of hybrid systems. European Simulation Symposium","first-page":"31","author":"Elmqvist","year":"1993"},{"key":"10.3182\/20090916-3-ES-3003.00056_bib9","series-title":"Differential Equations with Discontinuous Right-hand Sides","author":"Filippov","year":"1988"},{"key":"10.3182\/20090916-3-ES-3003.00056_bib10","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1109\/LICS.1996.561342","article-title":"The theory of hybrid automata","volume":"1","author":"Henzinger","year":"1996","journal-title":"Proc. 11th IEEE Symposium of Logic in Computer Science"},{"key":"10.3182\/20090916-3-ES-3003.00056_bib11","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/S0167-6911(99)00059-6","article-title":"On the regularization of Zeno hybrid automata","volume":"38","author":"Johansson","year":"1999","journal-title":"Systems & Control Letters"},{"key":"10.3182\/20090916-3-ES-3003.00056_bib12","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1115\/1.3140698","article-title":"Computer simulation of stick-slip friction in mechanical dynamic systems","volume":"107","author":"Karnopp","year":"1985","journal-title":"ASME Journal of Dynamic Systems, Measurement, and Control"},{"issue":"8","key":"10.3182\/20090916-3-ES-3003.00056_bib13","doi-asserted-by":"crossref","first-page":"2157","DOI":"10.1142\/S0218127403007874","article-title":"One-parameter bifurcations in planar Filippov systems","volume":"13","author":"Kuznetsov","year":"2003","journal-title":"International Journal of Bifurcations and Chaos"},{"key":"10.3182\/20090916-3-ES-3003.00056_bib14","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1023\/A:1008289604683","article-title":"Stick-slip vibrations induced by alternate friction models","volume":"16","author":"Leine","year":"1998","journal-title":"Nonlinear Dynamics"},{"key":"10.3182\/20090916-3-ES-3003.00056_bib15","doi-asserted-by":"crossref","first-page":"605","DOI":"10.1002\/zamm.19810611202","article-title":"Coulomb friction in two-dimensional rigid body systems","volume":"64","author":"L\u00f6tstedt","year":"1981","journal-title":"Z. Angew. Math. und Mech."},{"issue":"3","key":"10.3182\/20090916-3-ES-3003.00056_bib16","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/S0005-1098(98)00193-9","article-title":"Controllers for reachability specifications for hybrid systems","volume":"35","author":"Lygeros","year":"1999","journal-title":"Automatica"},{"issue":"1","key":"10.3182\/20090916-3-ES-3003.00056_bib17","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/TAC.2002.806650","article-title":"Dynamical properties of hybrid automata","volume":"48","author":"Lygeros","year":"2003","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.3182\/20090916-3-ES-3003.00056_bib18","first-page":"259","article-title":"On object-orientedmodelling of relays and sliding mode behaviour","author":"Mattsson","year":"1996","journal-title":"13th Triennial IFAC World Congress, (San Francisco, USA)"},{"key":"10.3182\/20090916-3-ES-3003.00056_bib19","series-title":"Sliding mode model semantics and simulation for hybrid systems. P. Antsaklis et al. (Eds); Hybrid Systems V, LNCS, 1567","first-page":"218","author":"Mosterman","year":"1999"},{"key":"10.3182\/20090916-3-ES-3003.00056_bib20","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/S0004-3702(00)00032-1","article-title":"A comprehensive methodology for building hybrid models of physical systems","volume":"121","author":"Mosterman","year":"2000","journal-title":"Artificial Intelligence"},{"issue":"1-2","key":"10.3182\/20090916-3-ES-3003.00056_bib21","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1016\/j.jsv.2007.06.037","article-title":"Avoiding harmful oscillations in a drillstring through dynamical analysis","volume":"307","author":"Navarro-L\u00f3pez","year":"2007","journal-title":"Journal of Sound and Vibration"},{"key":"10.3182\/20090916-3-ES-3003.00056_bib22","doi-asserted-by":"crossref","first-page":"2035","DOI":"10.1016\/j.chaos.2008.08.008","article-title":"Non-desired transitions and sliding-mode control of a multi-DOF mechanical system with stick-slip oscillations","volume":"41","author":"Navarro-L\u00f3pez","year":"2009","journal-title":"Chaos, Solitons & Fractals"},{"key":"10.3182\/20090916-3-ES-3003.00056_bib23","doi-asserted-by":"crossref","first-page":"3162","DOI":"10.1016\/j.nonrwa.2008.10.025","article-title":"An alternative characterization of bitsticking phenomena in a multi-degree-of-freedom controlled drillstring","volume":"10","author":"Navarro-L\u00f3pez","year":"2009","journal-title":"Nonlinear Analysis: Real World Applications"},{"key":"10.3182\/20090916-3-ES-3003.00056_bib24","unstructured":"E.M. Navarro-L\u00f3pez. Hybrid modelling of a discontinuous dynamical system including switching control. 2nd IFAC Conference on Analysis and Control of Chaotic Systems, (London, UK, June 22-24), 2009."},{"issue":"2","key":"10.3182\/20090916-3-ES-3003.00056_bib25","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/232807.232809","article-title":"State event location in differentialalgebraic models","volume":"6","author":"Park","year":"1996","journal-title":"ACM Transactions on Modeling and Computer Simulation"},{"key":"10.3182\/20090916-3-ES-3003.00056_bib26","unstructured":"B. Sedghi, B. Srinivasan, and R. Longchamp. Control of hybrid systems via dehybridization. American Control Conference, (Anchorage, Alaska, USA, May 8-10), 2002."},{"key":"10.3182\/20090916-3-ES-3003.00056_bib27","series-title":"Control Design of Hybrid Systems via Dehybridization. PhD thesis","author":"Sedghi","year":"2003"},{"key":"10.3182\/20090916-3-ES-3003.00056_bib28","series-title":"Sliding Modes in Control Optimization","author":"Utkin","year":"1992"},{"key":"10.3182\/20090916-3-ES-3003.00056_bib29","doi-asserted-by":"crossref","unstructured":"Zhang, F., M. Yeddanapudi, and P.J. Mosterman. Zero-crossing location and detection algorithms for hybrid system simulation. 17th IFAC Triennial World Congress, (Seoul, Korea, July 6-11)7967-7972, 2008.","DOI":"10.3182\/20080706-5-KR-1001.01346"},{"issue":"7","key":"10.3182\/20090916-3-ES-3003.00056_bib30","doi-asserted-by":"crossref","first-page":"1037","DOI":"10.1016\/0005-1098(96)00036-2","article-title":"Adaptive simulation and control variable-structure control systems in sliding regimes","volume":"32","author":"Zhao","year":"1996","journal-title":"Automatica"}],"container-title":["IFAC Proceedings Volumes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1474667015307825?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1474667015307825?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2022,5,23]],"date-time":"2022-05-23T14:13:29Z","timestamp":1653315209000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1474667015307825"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"references-count":30,"journal-issue":{"issue":"17","published-print":{"date-parts":[[2009]]}},"alternative-id":["S1474667015307825"],"URL":"https:\/\/doi.org\/10.3182\/20090916-3-es-3003.00056","relation":{},"ISSN":["1474-6670"],"issn-type":[{"value":"1474-6670","type":"print"}],"subject":[],"published":{"date-parts":[[2009]]}}}