39 research outputs found
Modeling Basic Aspects of Cyber-Physical Systems
Designing novel cyber-physical systems entails significant, costly physical
experimentation. Simulation tools can enable the virtualization of experiments.
Unfortunately, current tools have shortcomings that limit their utility for
virtual experimentation. Language research can be especially helpful in
addressing many of these problems. As a first step in this direction, we
consider the question of determining what language features are needed to model
cyber-physical systems. Using a series of elementary examples of cyber-physical
systems, we reflect on the extent to which a small, experimental
domain-specific formalism called Acumen suffices for this purpose.Comment: Presented at DSLRob 2012 (arXiv:cs/1302.5082
Motion planning and obstacle avoidance for mobile robots in highly cluttered dynamic environments
After a quarter century of mobile robot research, applications of this fascinating technology appear in real-world settings. Some require operation in environments that are densely cluttered with moving obstacles. Public mass exhibitions or conventions are examples of such challenging environments. This dissertation addresses the navigational challenges that arise in settings where mobile robots move among people and possibly need to directly interact with humans who are not used to dealing with technical details. Two important aspects are solved: Reliable reactive obstacle avoidance to guarantee safe operation, and smooth path planning that allows to dynamically adapt environment information to the motion of surrounding persons and objects. Given the existing body of research results in the field of obstacle avoidance and path planning, which is reviewed in this context, particular attention is paid to integration aspects for leveraging advantages while compensating drawbacks of various methods. In particular, grid-based wavefront propagation (NF1 and fast marching level set methods), dynamic path representation (bubble band concept), and high-fidelity execution (dynamic window approach) are combined in novel ways. Experiments demonstrate the robustness of the obstacle avoidance and path planning systems
Autonomous construction using scarce resources in unknown environments: Ingredients for an intelligent robotic interaction with the physical world
The goal of creating machines that autonomously perform useful work in a safe, robust and intelligent manner continues to motivate robotics research. Achieving this autonomy requires capabilities for understanding the environment, physically interacting with it, predicting the outcomes of actions and reasoning with this knowledge. Such intelligent physical interaction was at the centre of early robotic investigations and remains an open topic. In this paper, we build on the fruit of decades of research to explore further this question in the context of autonomous construction in unknown environments with scarce resources. Our scenario involves a miniature mobile robot that autonomously maps an environment and uses cubes to bridge ditches and build vertical structures according to high-level goals given by a human. Based on a "real but contrivedâ experimental design, our results encompass practical insights for future applications that also need to integrate complex behaviours under hardware constraints, and shed light on the broader question of the capabilities required for intelligent physical interaction with the real worl
Autonomous construction using scarce resources in unknown environments - Ingredients for an intelligent robotic interaction with the physical world
The goal of creating machines that autonomously perform useful work in a safe, robust and intelligent manner continues to motivate robotics research. Achieving this autonomy requires capabilities for understanding the environment, physically interacting with it, predicting the outcomes of actions and reasoning with this knowledge. Such intelligent physical interaction was at the centre of early robotic investigations and remains an open topic. In this paper, we build on the fruit of decades of research to explore further this question in the context of autonomous construction in unknown environments with scarce resources. Our scenario involves a miniature mobile robot that autonomously maps an environment and uses cubes to bridge ditches and build vertical structures according to high-level goals given by a human. Based on a "real but contrived" experimental design, our results encompass practical insights for future applications that also need to integrate complex behaviours under hardware constraints, and shed light on the broader question of the capabilities required for intelligent physical interaction with the real world
Acumen : an open-source testbed for cyber-physical systems research
Developing Cyber-Physical Systems requires methods and tools to support simulation and verification of hybrid (both continuous and discrete) models. The Acumen modeling and simulation language is an open source testbed for exploring the design space of what rigorousbut- practical next-generation tools can deliver to developers of Cyber- Physical Systems. Like verification tools, a design goal for Acumen is to provide rigorous results. Like simulation tools, it aims to be intuitive, practical, and scalable. However, it is far from evident whether these two goals can be achieved simultaneously. This paper explains the primary design goals for Acumen, the core challenges that must be addressed in order to achieve these goals, the âagile research methodâ taken by the project, the steps taken to realize these goals, the key lessons learned, and the emerging language design