conftrace_

hybrid controller

5 papers

Explore in graph

Co-occurring keywords · papers mentioning both

hybrid control (2) linear temporal logic (2) formal methods (2) motion planning (2) classical control theory (1) linear controller (1) sum of squares optimization (1) anthropomorphic hand (1) multi-robot control (1) automatic synthesis (1)

Papers

Abstraction-Based Control of Unknown Continuous-Space Models with Just Two Trajectories L4DC 2025 LEOC: A Principled Method in Integrating Reinforcement Learning and Classical Control Theory L4DC 2021 Guaranteeing High-Level Behaviors while Exploring Partially Known Maps RSS 2012 Robust Object Grasping using Force Compliant Motion Primitives RSS 2012 Controlling Wild Bodies Using Linear Temporal Logic RSS 2011