Specifying behavior in C++

Proceedings - IEEE International Conference on Robotics and Automation

Volumn 1, Issue , 2002, Pages 153-160

  Dai, Xiangtian ^a   Hager, Gregory ^a   Peterson, John ^b  

^a Johns Hopkins University   (United States)

^b YALE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; C (PROGRAMMING LANGUAGE); COMPUTATIONAL COMPLEXITY; DATA ACQUISITION; DATABASE SYSTEMS; ROBOTICS; SOFTWARE ENGINEERING; TIME DOMAIN ANALYSIS;

DOMAIN SPECIFIC LANGUAGE; FUNCTIONAL REACTIVE PROGRAMMING;

ROBOT PROGRAMMING;

EID: 0036055521     PISSN: 10504729     EISSN: None     Source Type: Journal    
DOI: 10.1109/ROBOT.2002.1013354     Document Type: Article

References (20)

1. Modular specification of hybrid systems in CHARON
2. A robust layered control system for a mobile robot
3. FRP in C++
4. Specifying and verifying active vision-based robotic systems with the signal environment
5. Functional reactive animation
6. Task networks for controlling continuous processes
7. Programming real time applications with signal
8. A transformational approach to the design of robot software
9. The "XVision" system: A general purpose substrate for real-time vision applications
10. Modular domain specific languages and tools
11. An architecture for real-time reasoning and system control
12. Colbert: A language for reactive control in sapphira
13. A framework for higher-order functions in C++
14. FC++: Functional programming in C++
15. A comparative review of robot programming languages
16. A language for declarative robotic programming
17. Lambda in motion: Controlling robots with Haskell
18. Prototyping real-time vision systems: An experiment in DSL design
19. A nested-loop architecture for mobile robot navigation
20. A task description language for robot control