{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T11:01:00Z","timestamp":1760266860677},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2008,5,28]],"date-time":"2008-05-28T00:00:00Z","timestamp":1211932800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Program."],"published-print":{"date-parts":[[2010,1]]},"DOI":"10.1007\/s10107-008-0230-0","type":"journal-article","created":{"date-parts":[[2008,5,27]],"date-time":"2008-05-27T13:43:24Z","timestamp":1211895804000},"page":"171-199","source":"Crossref","is-referenced-by-count":48,"title":["Non-Zenoness of a class of differential quasi-variational inequalities"],"prefix":"10.1007","volume":"121","author":[{"given":"Lanshan","family":"Han","sequence":"first","affiliation":[]},{"given":"Jong-Shi","family":"Pang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,5,28]]},"reference":[{"key":"230_CR1","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/s10107-005-0590-7","volume":"105","author":"M. Anitescu","year":"2006","unstructured":"Anitescu M.: Optimization-based simulation of nonsmooth dynamics. Math. Program. Ser. A 105, 113\u2013143 (2006)","journal-title":"Math. Program. Ser. A"},{"key":"230_CR2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s10107-004-0535-6","volume":"101","author":"M. Anitescu","year":"2004","unstructured":"Anitescu M., Hart G.D.: A fixed-point iteration approach for multibody dynamics with contact and small friction. Math. Program. 101, 3\u201332 (2004)","journal-title":"Math. Program."},{"key":"230_CR3","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1081\/SME-120022854","volume":"31","author":"M. Anitescu","year":"2003","unstructured":"Anitescu M., Hart G.D.: Solving nonconvex problems of multibody dynamics with contact and small friction by sequential convex relaxation. Mech. Based Des. Mach. Struct. 31, 335\u2013356 (2003)","journal-title":"Mech. Based Des. Mach. Struct."},{"key":"230_CR4","doi-asserted-by":"crossref","first-page":"753","DOI":"10.1002\/nme.512","volume":"55","author":"M. Anitescu","year":"2002","unstructured":"Anitescu M., Potra F.A.: Time-stepping schemes for stiff multi-rigid-body dynamics with contact and friction. Int. J. Numer. Methods Eng. 55, 753\u2013784 (2002)","journal-title":"Int. J. Numer. Methods Eng."},{"key":"230_CR5","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1023\/A:1008292328909","volume":"14","author":"M. Anitescu","year":"1997","unstructured":"Anitescu M., Potra F.A.: Formulating dynamic multi-rigid-body contact problems with friction as solvable linear complementarity problems. Nonlinear Dyn. 14, 231\u2013247 (1997)","journal-title":"Nonlinear Dyn."},{"key":"230_CR6","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/S0045-7825(98)00380-6","volume":"177","author":"M. Anitescu","year":"1999","unstructured":"Anitescu M., Potra F.A., Stewart D.: Time-stepping for three-dimensional rigid-body dynamics. Comput. Methods Appl. Mech. Eng. 177, 183\u2013197 (1999)","journal-title":"Comput. Methods Appl. Mech. Eng."},{"key":"230_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0557-2","volume-title":"Nonsmooth Mechanics","author":"B. Brogliato","year":"1999","unstructured":"Brogliato B.: Nonsmooth Mechanics, 2nd edn. Springer, Heidelberg (1999)","edition":"2"},{"key":"230_CR8","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1115\/1.1454112","volume":"55","author":"B. Brogliato","year":"2002","unstructured":"Brogliato B., ten Dam A.A., Paoli L., G\u00e9not F., Abadie M.: Numerical simulation of finite dimensional multibody nonsmooth mechanical systems. ASME Appl. Mech. Rev. 55, 107\u2013150 (2002)","journal-title":"ASME Appl. Mech. Rev."},{"key":"230_CR9","doi-asserted-by":"crossref","first-page":"344","DOI":"10.1016\/0022-0396(80)90012-1","volume":"38","author":"P. Brunovsky","year":"1980","unstructured":"Brunovsky P.: Regular synthesis for the linear-quadratic optimal control problem with linear control constraints. J. Diff. Eqs. 38, 344\u2013360 (1980)","journal-title":"J. Diff. Eqs."},{"key":"230_CR10","doi-asserted-by":"crossref","first-page":"220","DOI":"10.3166\/ejc.8.220-237","volume":"8","author":"M.K. \u00c7amlibel","year":"2002","unstructured":"\u00c7amlibel M.K., Heemels W.P.M.H., Schumacher J.M.: On linear passive complementarity systems. Eur. J. Control 8, 220\u2013237 (2002)","journal-title":"Eur. J. Control"},{"key":"230_CR11","doi-asserted-by":"crossref","first-page":"1769","DOI":"10.1137\/050645166","volume":"45","author":"K. \u00c7amlibel","year":"2006","unstructured":"\u00c7amlibel K., Pang J.S., Shen J.L.: Conewise linear systems: non-Zenoness and observability. SIAM J. Control Optim. 45, 1769\u20131800 (2006)","journal-title":"SIAM J. Control Optim."},{"key":"230_CR12","volume-title":"The Linear Complementarity Problem","author":"R.W. Cottle","year":"1992","unstructured":"Cottle R.W., Pang J.S., Stone R.E.: The Linear Complementarity Problem. Academic Press, Cambridge (1992)"},{"key":"230_CR13","volume-title":"Finite-Dimensional Variational Inequalities and Complementarity Problems","author":"F. Facchinei","year":"2003","unstructured":"Facchinei F., Pang J.S.: Finite-Dimensional Variational Inequalities and Complementarity Problems. Springer, New York (2003)"},{"issue":"Suppl. 3","key":"230_CR14","doi-asserted-by":"crossref","first-page":"S665","DOI":"10.1002\/zamm.200108115108","volume":"81","author":"Ch. Glocker","year":"2001","unstructured":"Glocker Ch.: Spatial friction as standard NLCP. Z. Angew. Math. Mech. 81(Suppl. 3), S665\u2013S666 (2001)","journal-title":"Z. Angew. Math. Mech."},{"key":"230_CR15","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/S0167-6911(99)00059-6","volume":"38","author":"K.H. Johansson","year":"1999","unstructured":"Johansson K.H., Egersted M., Lygeros J., Sastry S.: On the regularization of Zeno hybrid automata. Syst. Control Lett. 38, 141\u2013150 (1999)","journal-title":"Syst. Control Lett."},{"key":"230_CR16","volume-title":"Nonlinear Systems","author":"H. Khalil","year":"1996","unstructured":"Khalil H.: Nonlinear Systems, 2nd edn. Prentice Hall, Englewood Cliffs (1996)","edition":"2"},{"key":"230_CR17","doi-asserted-by":"crossref","unstructured":"Lu, S., Robinson, S.M.: Variational inequalities over perturbed polyhedral convex sets. Math. Oper. Res. (2008, in press)","DOI":"10.1287\/moor.1070.0297"},{"key":"230_CR18","doi-asserted-by":"crossref","unstructured":"Pang, J.S.: Frictional contact models with local compliance: semismooth formulation. Z. Angew. Math. Mech. (under review)","DOI":"10.1002\/zamm.200600039"},{"key":"230_CR19","doi-asserted-by":"crossref","first-page":"2200","DOI":"10.1137\/040612269","volume":"43","author":"J.S. Pang","year":"2005","unstructured":"Pang J.S., Kumar V., Song P.: Convergence of time-stepping methods for initial and boundary value frictional compliant contact problems. SIAM J. Numer. Anal. 43, 2200\u20132226 (2005)","journal-title":"SIAM J. Numer. Anal."},{"key":"230_CR20","unstructured":"Pang, J.S., Kumar, V., Trinkle, J.C.: On a continuous-time quasistatic frictional contact model with local compliance. Int. J. Numer. Methods Eng. (under review)"},{"key":"230_CR21","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1287\/moor.21.2.401","volume":"21","author":"J.S. Pang","year":"1996","unstructured":"Pang J.S., Ralph D.: Piecewise smoothness, local invertibility, and parametric analysis of normal maps. Math. Oper. Res. 21, 401\u2013426 (1996)","journal-title":"Math. Oper. Res."},{"key":"230_CR22","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1109\/TAC.2006.890477","volume":"52","author":"J.S. Pang","year":"2007","unstructured":"Pang J.S., Shen J.: Strongly regular differential variational systems. IEEE Trans. Autom. Control 52, 242\u2013255 (2007)","journal-title":"IEEE Trans. Autom. Control"},{"key":"230_CR23","doi-asserted-by":"crossref","unstructured":"Pang, J.S., Stewart, D.: Differential variational inequalities. Math. Program. (2008) doi: 10.1007\/s10107-006-0052-x","DOI":"10.1007\/s10107-006-0052-x"},{"key":"230_CR24","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/BF02592103","volume":"73","author":"J.S. Pang","year":"1996","unstructured":"Pang J.S., Trinkle J.C.: Complementarity formulations and existence of solutions of dynamic multi-rigid-body contact problems with Coulomb friction. Math. Program. 73, 199\u2013226 (1996)","journal-title":"Math. Program."},{"key":"230_CR25","doi-asserted-by":"crossref","DOI":"10.1002\/9783527618385","volume-title":"Multibody Dynamics with Unilateral Contacts","author":"F. Pfeiffer","year":"1996","unstructured":"Pfeiffer F., Glocker Ch.: Multibody Dynamics with Unilateral Contacts. Wiley, New York (1996)"},{"key":"230_CR26","unstructured":"Potra, F.A., Anitescu, M., Gavrea, B., Trinkle, J.: A linearly implicit trapezoidal method for stiff multibody dynamics with contact, joints and friction. Int. J. Numer. Methods Eng. (2008, in print)"},{"key":"230_CR27","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1287\/moor.5.1.43","volume":"5","author":"S.M. Robinson","year":"1980","unstructured":"Robinson S.M.: Strongly regular generalized equations. Math. Oper. Res. 5, 43\u201362 (1980)","journal-title":"Math. Oper. Res."},{"key":"230_CR28","unstructured":"Scholtes, S.: Introduction to piecewise differentiable equations. Technical report, Universitat Karlsruhe, Institut f\u00fcr Statistik und Mathematische Wirtschaftstheorie, No. 53\/1994 (1994)"},{"key":"230_CR29","first-page":"649","volume":"12","author":"S.N. Simic","year":"2005","unstructured":"Simic S.N., Johansson K.H., Lygeros J., Sastry S.: Toward a geometric theory of hybrid systems. Dyn. Contin. Discrete. Impulsive Syst. Ser. B 12, 649\u20136873 (2005)","journal-title":"Dyn. Contin. Discrete. Impulsive Syst. Ser. B"},{"key":"230_CR30","doi-asserted-by":"crossref","first-page":"1040","DOI":"10.1137\/040612270","volume":"44","author":"J. Shen","year":"2005","unstructured":"Shen J., Pang J.S.: Linear Complementarity systems: Zeno states. SIAM J. Control Optim. 44, 1040\u20131066 (2005)","journal-title":"SIAM J. Control Optim."},{"key":"230_CR31","doi-asserted-by":"crossref","unstructured":"Shen, J., Pang, J.S.: Linear complementarity systems with singleton properties: non-Zenoness. In: Proceedings of the 2007 American Control Conference, New York, July 2007","DOI":"10.1109\/ACC.2007.4282333"},{"key":"230_CR32","unstructured":"Song, P.: Modeling, analysis and simulation of multibody systems with contact and friction. Ph.D. Thesis, Department of Mechancial Engineering, University of Pennsylvania, Philadelphia (2002)"},{"key":"230_CR33","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1115\/1.1331060","volume":"68","author":"P. Song","year":"2001","unstructured":"Song P., Kraus P., Kumar V., Dupont P.: Analysis of rigid body dynamic models for simulation of systems with frictional contacts. ASME J. Appl. Mech. 68, 118\u2013128 (2001)","journal-title":"ASME J. Appl. Mech."},{"key":"230_CR34","doi-asserted-by":"crossref","unstructured":"Song, P., Kumar, V.: Distributed compliant model for efficient dynamic simulation of systems with frictional contacts. In: Proceedings of the 2003 ASME Design Engineering Technical Conferences and Information in Engineering Conference, Chicago, 2\u20136 September","DOI":"10.1115\/DETC2003\/DAC-48809"},{"key":"230_CR35","doi-asserted-by":"crossref","unstructured":"Song, P., Kumar, V., Trinkle, J.C., Pang, J.S.: A family of models for manipulation planning. In: Proceedings of the 6th IEEE International Symposium on Assembly and Task Planning. Montr\u00e9al, Canada (2005)","DOI":"10.1109\/ISATP.2005.1511479"},{"key":"230_CR36","doi-asserted-by":"crossref","first-page":"2231","DOI":"10.1002\/nme.1049","volume":"60","author":"P. Song","year":"2004","unstructured":"Song P., Pang J.S., Kumar V.: A semi-implicit time-stepping model for frictional compliant contact problems. Int. J. Numer. Methods Eng. 60, 2231\u20132261 (2004)","journal-title":"Int. J. Numer. Methods Eng."},{"key":"230_CR37","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/s002050050129","volume":"145","author":"D.E. Stewart","year":"1998","unstructured":"Stewart D.E.: Convergence of an implicit time-stepping scheme for rigid body dynamics. Arch. Ration. Mech. Anal. 145, 215\u2013260 (1998)","journal-title":"Arch. Ration. Mech. Anal."},{"key":"230_CR38","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1137\/S0036144599360110","volume":"42","author":"D.E. Stewart","year":"2000","unstructured":"Stewart D.E.: Rigid-body dynamics with friction and impact. SIAM Rev. 42, 3\u201339 (2000)","journal-title":"SIAM Rev."},{"key":"230_CR39","doi-asserted-by":"crossref","first-page":"2673","DOI":"10.1002\/(SICI)1097-0207(19960815)39:15<2673::AID-NME972>3.0.CO;2-I","volume":"39","author":"D.E. Stewart","year":"1996","unstructured":"Stewart D.E., Trinkle J.C.: An implicit time-stepping scheme for rigid body dynamics with inelastic collisions and Coulomb friction. Int. J. Numer. Methods Eng. 39, 2673\u20132691 (1996)","journal-title":"Int. J. Numer. Methods Eng."},{"key":"230_CR40","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1016\/0022-0396(82)90084-5","volume":"43","author":"H.J. Sussmann","year":"1982","unstructured":"Sussmann H.J.: Bounds on the number of switchings for trajectories of piecewise analytic vector fields. J. Differ. Equ. 43, 399\u2013418 (1982)","journal-title":"J. Differ. Equ."},{"key":"230_CR41","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1002\/zamm.19970770411","volume":"77","author":"J.C. Trinkle","year":"1997","unstructured":"Trinkle J.C., Pang J.S., Sudarsky S., Lo G.: On dynamic multi-rigid-body contact problems with Coulomb friction. Z. Angew. Math. Mech. 77, 267\u2013279 (1997)","journal-title":"Z. Angew. Math. Mech."},{"key":"230_CR42","doi-asserted-by":"crossref","first-page":"2575","DOI":"10.1098\/rsta.2001.0911","volume":"359","author":"J.C. Trinkle","year":"2001","unstructured":"Trinkle J.C., Tzitzoutis J., Pang J.S.: Dynamic multi-rigid-body systems with concurrent distributed contacts: theory and examples. Philos. Trans. Math. Phys. Eng. Sci. Ser. A 359, 2575\u20132593 (2001)","journal-title":"Philos. Trans. Math. Phys. Eng. Sci. Ser. A"},{"key":"230_CR43","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1002\/rnc.592","volume":"11","author":"J. Zhang","year":"2001","unstructured":"Zhang J., Johansson K.H., Lygeros J., Sastry S.: Zeno hybrid systems. Int. J. Robust Nonlinear Control 11, 435\u2013451 (2001)","journal-title":"Int. J. Robust Nonlinear Control"}],"container-title":["Mathematical Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10107-008-0230-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10107-008-0230-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10107-008-0230-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T09:50:05Z","timestamp":1559123405000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10107-008-0230-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,28]]},"references-count":43,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,1]]}},"alternative-id":["230"],"URL":"https:\/\/doi.org\/10.1007\/s10107-008-0230-0","relation":{},"ISSN":["0025-5610","1436-4646"],"issn-type":[{"value":"0025-5610","type":"print"},{"value":"1436-4646","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,5,28]]}}}