8 citations
2 papers
eess.SY2021★ 8 cited
A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems
Yinan Li, Zhibing Sun, Jun Liu
This paper proposes a specification-guided framework for control of nonlinear systems with linear temporal logic (LTL) specifications. In contrast with well-known abstraction-based…
cs.RO2019★ 2 cited
Autonomous Locomotion Mode Transition in Quadruped Track-Legged Robots: A Simulation-Based Analysis for Step Negotiation
Jie Wang, Krispin Davies
Hybrid track/wheel-legged robots combine the advantages of wheel-based and leg-based locomotion, granting adaptability across varied terrains through efficient transitions between…