First steps toward formal controller synthesis for bipedal robots with experimental implementation (Q2406959): Difference between revisions

@@ Property / author @@
-Paulo Tabuada
@@ Property / author: Paulo Tabuada / rank @@
-Normal rank
@@ Property / author @@
+Paulo Tabuada
@@ Property / author: Paulo Tabuada / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PESSOA
@@ Property / describes a project that uses: PESSOA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2588566816
@@ Property / OpenAlex ID: W2588566816 / rank @@
+Normal rank
@@ Property / cites work @@
+Identification of a Bipedal Robot with a Compliant Drivetrain
+Normal rank
@@ Property / cites work @@
+Human-Inspired Control of Bipedal Walking Robots
@@ Property / cites work: Human-Inspired Control of Bipedal Walking Robots / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic motion planning for dynamic robots
@@ Property / cites work: Temporal logic motion planning for dynamic robots / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Verification and Control of Hybrid Systems
@@ Property / cites work: Verification and Control of Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+First steps toward formal controller synthesis for bipedal robots
+Normal rank
@@ Property / cites work @@
+Asymptotically stable walking for biped robots: analysis via systems with impulse effects
+Normal rank
@@ Property / cites work @@
+Models, feedback control, and open problems of 3D bipedal robotic walking
+Normal rank
@@ Property / cites work @@
+Metrization and Simulation of Controlled Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Hybrid dynamical systems
@@ Property / cites work: Hybrid dynamical systems / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic multi-domain bipedal walking with atrias through SLIP based human-inspired control
+Normal rank
@@ Property / cites work @@
+Dynamical properties of hybrid automata
@@ Property / cites work: Dynamical properties of hybrid automata / rank @@
+Normal rank
@@ Property / cites work @@
+Lyapunov Theory for Zeno Stability
@@ Property / cites work: Lyapunov Theory for Zeno Stability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4857368
@@ Property / cites work: Q4857368 / rank @@
+Normal rank
@@ Property / cites work @@
+Rapidly Exponentially Stabilizing Control Lyapunov Functions and Hybrid Zero Dynamics
+Normal rank
@@ Property / cites work @@
+Nonlinear systems. Analysis, stability, and control
+Normal rank
@@ Property / cites work @@
+Dynamically stable bipedal robotic walking with NAO via human-inspired hybrid zero dynamics
+Normal rank
@@ Property / cites work @@
+Hybrid zero dynamics of planar biped walkers
@@ Property / cites work: Hybrid zero dynamics of planar biped walkers / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
+Normal rank
@@ Property / cites work @@
+An ISS self-triggered implementation of linear controllers
+Normal rank
@@ Property / cites work @@
+Input–Output Stability Properties of Networked Control Systems
+Normal rank
@@ Property / cites work @@
+Further Results on Robustness of (Possibly Discontinuous) Sample and Hold Feedback
+Normal rank