PPT-Symbolic Planning for Dynamic Robots

Laya Shamgah Advisor Dr Karimoddini       TECHLAV Project Testing Evaluation and Control of Heterogeneous Largescale Autonomous systems of Vehicles TECHLAV Thrust 1 Modeling Analysis and Control of Largescale Autonomous Vehicles MACLAV. Wei Le. Rochester Institute of Technology. Motivation. Symbolic analysis has many important applications in software tools . [. S. en. , . Marinov. , Agha ‘05] [. Godefroid. , . Klarlund. , . Sen. . Landy. , . Allen,. . Zednik. . 2014. Rishav Raj Agarwal. Arpit. Agarwal. What is Symbolic Reasoning?. The science of reasoning by the aid of representative symbols. 2+2. Contemporary. Views. What had been proposed previously. (but might have been afraid to ask). IEEE S&P 2010. Overview. Two Main Contributions. Precisely describe the algorithms for dynamic taint analysis and forward symbolic execution as extensions to the run-time semantics of a general language. Dr. Long Tran-Thanh. ltt08r@ecs.soton.ac.uk. University of Southampton. Robotics. Robotics in popular culture. One of the most noticeable areas of AI. Many . people identify AI as robotics. Robotics in popular culture. Edward J. Schwartz, . Thanassis. Avgerinos, David . Brumley. Presented by: . Haitao Xu. 1. The Root of All Evil. Humans write programs. This Talk:. Computers Analyzing Programs Dynamically at Runtime. Ben Reed. Introduction. Boston Dynamics was founded in 1992. Engineering company that originated as a spinoff form MIT. Specialize in robotics and human simulation software. Funded largely by DARPA (Defense Advanced Research Projects Agency). humans. This research was conducted in order to develop a method of mapping carried out primarily by Lego Mindstorms EV3 robots. The robots were made to use leJOS, allowing them to run Java programs. An algorithm was developed that would make a robot traverse an area, scanning the terrain at a frequency chosen by the user, allowing a balance of speed and precision. One robot can map a flat area of user-given dimensions with satisfactory precision. When additional robots are added, the mapping process is much faster. Based on the number of robots, the area is divided into smaller sections which are then scanned by individual robots. This research shows that robotic mapping systems are viable.. Analysis of . Closed-Loop Control Software. Aditya Zutshi. Sriram Sankaranarayanan . 1. Xiaoqing . Jin. Jyotirmoy Deshmukh. Sampled Data Control Systems. Controller.  . Plant.  . D/A. A/D.  .  . Learning Objectives~ Ch. 16. Discuss how products, special possessions, and consumption activities gain symbolic meaning and how this meaning is conveyed from one consumer to another.. Identify how marketers can influence or make use of the symbolic meaning that consumption may have for consumers.. Advanced Math and Science Academy. iRobot, UMass Lowell, and. The Revolving Museum. Robots that make a difference. Home robots. To do things we don’t want to do. Roomba. Military robots. What defines a robot?. Sense. – a robot has to take in information about its environment. Plan. – a robot has to use that information to make a decision. Act. – a robot needs moving parts . to carry out commands. Two Challenges for Optimal Path planning. Classic Two-Layered Architecture for Mobile Robots. Dynamic Window Approach (DWA). Dynamic Window Approach. Admissible Velocities. Reachable Velocities. DWA Search Space. In work environments, the use of dexterous mobile manipulators as co-workers poses several challenges with respect to the human-robot collaboration. On the one hand, its focus is in the autonomy (i.e Jemin. . Hwangbo. , . Joonho. Lee, Alexey . Dosovitskiy. , Dario . Bellicoso. , . Joonho. Lee, Vassilios . Tsounis. , . Vladlen. . Koltun. , and Marco Hutter .  . Presented by Steven Mazzola. UNI: slm2242.