Keyphrases
- legged robots
- safety critical
- inverted pendulum
- formal methods
- quadruped robot
- legged locomotion
- fault tolerant
- safety analysis
- control system
- agent architecture
- intelligent control
- optimal control
- control method
- real time
- mobile robot
- contact force
- real world
- embedded systems
- control strategy
- adaptive control
- nonlinear systems
- support systems
- simulation study
- real robot
- source code
- software engineering
- object oriented
- user interface
- information systems