Models, feedback control, and open problems of 3D bipedal robotic walking

JW Grizzle, C Chevallereau, RW Sinnet, AD Ames - Automatica, 2014 - Elsevier
The fields of control and robotics are working toward the development of bipedal robots that
can realize walking motions with the stability and agility of a human being. Dynamic models …

A survey on domain-specific languages in robotics

A Nordmann, N Hochgeschwender… - International conference on …, 2014 - Springer
The design, simulation and programming of robotics systems is challenging as expertise
from multiple domains needs to be integrated conceptually and technically. Domain-specific …

Dynamic humanoid locomotion: A scalable formulation for HZD gait optimization

A Hereid, CM Hubicki, EA Cousineau… - IEEE Transactions on …, 2018 - ieeexplore.ieee.org
Hybrid zero dynamics (HZD) has emerged as a popular framework for dynamic walking but
has significant implementation difficulties when applied to the high degrees of freedom …

Robox: an end-to-end solution to accelerate autonomous control in robotics

J Sacks, D Mahajan, RC Lawson… - 2018 ACM/IEEE 45th …, 2018 - ieeexplore.ieee.org
Novel algorithmic advances have paved the way for robotics to transform the dynamics of
many social and enterprise applications. To achieve true autonomy, robots need to …

The ach library: A new framework for real-time communication

NT Dantam, DM Lofaro, A Hereid, PY Oh… - IEEE Robotics & …, 2015 - ieeexplore.ieee.org
Correct real-time software is vital for robots in safety-critical roles such as service and
disaster response. These systems depend on software for locomotion, navigation …

Tzc: Efficient inter-process communication for robotics middleware with partial serialization

YP Wang, W Tan, XQ Hu, D Manocha… - 2019 IEEE/RSJ …, 2019 - ieeexplore.ieee.org
Inter-process communication (IPC) is one of the core functions of modern robotics
middleware. We propose an efficient IPC technique called TZC (Towards Zero-Copy). As a …

Interactive robot transition repair with SMT

J Holtz, A Guha, J Biswas - arxiv preprint arxiv:1802.01706, 2018 - arxiv.org
Complex robot behaviors are often structured as state machines, where states encapsulate
actions and a transition function switches between states. Since transitions depend on …

[PDF][PDF] Multiprocess communication and control software for humanoid robots

NT Dantam, DM Lofaro, A Hereid, PY Oh… - IEEE Robotics and …, 2014 - bipedalrobotics.com
Correct real-time software is vital for robots in safety-critical roles such as service and
disaster response. These systems depend on software for locomotion, navigation …

Smt-based robot transition repair

J Holtz, A Guha, J Biswas - arxiv preprint arxiv:2001.04397, 2020 - arxiv.org
State machines are a common model for robot behaviors. Transition functions often rely on
parameterized conditions to model preconditions for the controllers, where the correct …

[KİTAP][B] Control and motion planning of dynamically walking bipeds for cooperative transportation

SMS Motahar - 2018 - search.proquest.com
There is an increasing demand for assistive bipedal robots that are capable of physical
interaction with other agents possibly humans to accomplish collaborative tasks, such as …