Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...
Abstract: This paper considers the global exponential stability of planar distributed manipulation control schemes. The “programmable vector field” approach is a commonly prop...
Abstract. Constraint Nets provide a semantic model for modeling hybrid dynamic systems. Controllers are embedded constraint solvers that solve constraints in real-time. A controlle...
—This paper presents a new method developed for the optimal design of microrobotic compliant mechanisms. It is based on a flexible building block method, called FlexIn, which use...
Abstract— Landmark-based graphs are a useful and parsimonious tool for representing large scale environments. Relating landmarks by means of feedback-control algorithms encoded i...