<--- Back to Details
First PageDocument Content
Mobile robot / Cognitive robotics / Social robot / Cyber-physical system / Technology / Computing / Institute of Robotics and Intelligent Systems / Robot competition / Robotics / Robot / Human–robot interaction
Date: 2009-11-19 14:56:01
Mobile robot
Cognitive robotics
Social robot
Cyber-physical system
Technology
Computing
Institute of Robotics and Intelligent Systems
Robot competition
Robotics
Robot
Human–robot interaction

Industry-Brief-Robotics.indd

Add to Reading List

Source URL: ilp.mit.edu

Download Document from Source Website

File Size: 743,12 KB

Share Document on Facebook

Similar Documents

Systems engineering / Digital electronics / Formal methods / Systems science / Electronic engineering / Logic simulation / Simulation / Verification / SIGNAL / Scientific modelling / Software verification and validation

    ADVANCE     ADVANCED  DESIGN  AND  VERIFICATION  ENVIRONMENT  FOR  CYBER-­‐PHYSICAL  SYSTEM  

DocID: 1xV6T - View Document

Constructible universe / Mathematical logic / Mathematics / Set theory / Operator theory / Partial differential equations / Proof theory / Ordinal numbers / Moschovakis coding lemma / Symbol

VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models Brandon Bohrer Yong Kiam Tan

DocID: 1xUj2 - View Document

Chapter 6 Publishable summary The main objective of MANTIS is to develop a cyber physical system based proactive maintenance service platform architecture enabling collaborative maintenance ecosystems.

DocID: 1v1RR - View Document

IEEE TCCPS Mid-Career Award The IEEE TCCPS Mid-Career Award recognizes a mid-career researcher from either academia or industry who has demonstrated outstanding contributions to the field of cyber-physical system (CPS) i

DocID: 1uH31 - View Document