Temporally Consistent Simulation of Robots and Their Controllers

Author(s):  
James R. Taylor ◽  
Evan M. Drumwright ◽  
Gabriel Parmer

Researchers simulate robot dynamics to optimize gains, trajectories, and controls and to validate proper robot operation. In this paper, we focus on this latter application, which allows roboticists to verify that robots do not damage themselves, the environments they are situated within, or humans. In current simulations, robot control code runs in lockstep with the dynamics integration. This design can result in code that appears viable in simulation but runs too slowly on physical systems. Addressing this problem requires overcoming significant challenges that arise due both to the speed of dynamic simulation running time (simulations may run 1/10 or 1/100 of real-time or slower) and to the variability of the running times (e.g., the speed of collision detection algorithms depends on pairwise object proximities). These difficulties imply that one must not only slow the control software but also scale controller running speeds dynamically. We describe the numerous architectural and OS-level technical challenges that we have overcome to yield temporally consistent simulation for modeling robots that use only real-time processes, and we show that our system is superior to the status quo using simulation-based experiments.


2016 ◽  
Vol 13 (1) ◽  
pp. 40-52 ◽  
Author(s):  
Peter Herrmann ◽  
Jan Olaf Blech ◽  
Fenglin Han ◽  
Heinz Schmidt

A method preserving cyber-physical systems to operate safely in a joint physical space is presented. It comprises the model-based development of the control software and simulators for the continuous physical environment as well as proving the models for spatial and real-time properties. The corresponding toolchain is based on the model-based engineering tool Reactive Blocks and the spatial model checker BeSpaceD. The real-time constraints to be kept by the controller are proven using the model checker UPPAAL.





Author(s):  
Peter Herrmann ◽  
Jan Olaf Blech ◽  
Fenglin Han ◽  
Heinz Schmidt

Many cyber-physical systems operate together with others and with humans in a joint physical space. Because of their operation in proximity to humans, they have to operate according to very high safety standards. This chapter presents a method for developing the control software of cyber-physical systems. The method is model-based and assists engineers with spatial and real-time property verification. In particular, the authors describe a toolchain consisting of the model-based development toolset Reactive Blocks, the spatial analyzer BeSpaceD in conjunction with the real-time model checkers UPPAAL and PRISM. The combination of these tools makes it possible to create models of the control software and, if necessary, simulators for the actual system behavior with Reactive Blocks. These models can then be checked for various correctness properties using the analysis tools. If all properties are fulfilled, Reactive Blocks transforms the models automatically into executable code.





2020 ◽  
pp. 623-637
Author(s):  
Peter Herrmann ◽  
Jan Olaf Blech ◽  
Fenglin Han ◽  
Heinz Schmidt

A method preserving cyber-physical systems to operate safely in a joint physical space is presented. It comprises the model-based development of the control software and simulators for the continuous physical environment as well as proving the models for spatial and real-time properties. The corresponding toolchain is based on the model-based engineering tool Reactive Blocks and the spatial model checker BeSpaceD. The real-time constraints to be kept by the controller are proven using the model checker UPPAAL.





2015 ◽  
Vol 27 (6) ◽  
pp. 793-802 ◽  
Author(s):  
Hengliang Shi ◽  
Xiaolei Bai ◽  
Jianhui Duan

Purpose – In cloth animation field, the collision detection of fabric under external force is very complex, and difficult to satisfy the needs of reality feeling and real time. The purpose of this paper is to improve reality feeling and real-time requirement. Design/methodology/approach – This paper puts forward a mass-spring model with building bounding-box in the center of particle, and designs the collision detection algorithm based on Mapreduce. At the same time, a method is proposed to detect collision based on geometric unit. Findings – The method can quickly detect the intersection of particle and triangle, and then deal with collision response according to the physical characteristics of fabric. Experiment shows that the algorithm improves real-time and authenticity. Research limitations/implications – Experiments show that 3D fabric simulation can be more efficiency through parallel calculation model − Mapreduce. Practical implications – This method can improve the reality feeling, and reduce calculation quantity. Social implications – This collision-detection can be used into more fields such as 3D games, aero simulation training and garments automation. Originality/value – This model and method have originality, and can be used to 3D animation, digital entertainment, and garment industry.



2016 ◽  
Vol 2016 ◽  
pp. 1-10 ◽  
Author(s):  
Feng Tang ◽  
Ping Zhang ◽  
Fang Li

Cyber-physical systems for robot control integrate the computing units and physical devices, which are real-time systems with periodic events. This work focuses on CPS task scheduling in order to solve the problem of slow response and packet loss caused by the interaction between each service. The two-level fuzzy feedback scheduling scheme is designed to adjust the task priority and period according to the combined effects of the response time and packet loss. Empirical results verify the rationality of the cyber-physical system architecture for robot control and illustrate the feasibility of the fuzzy feedback scheduling method.



Sign in / Sign up

Export Citation Format

Share Document