A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf
.
Formal and practical completion of Lagrangian hybrid systems
2009
2009 American Control Conference
This paper presents a method for completing Lagrangian hybrid systems models in a formal manner. That is, given a Lagrangian hybrid system, i.e., a hybrid system that models a mechanical system undergoing impacts, we present a systematic method in which to extend executions of this system past Zeno points by adding an additional domain to the hybrid model. Moreover, utilizing results providing sufficient conditions for Zeno behavior and the stability of Zeno equilibria in Lagrangian hybrid
doi:10.1109/acc.2009.5159852
dblp:conf/amcc/OrA09
fatcat:3agtrl5jbvfj7h4z32zdds3rzm