English
Related papers

Related papers: Toward a Science of Autonomy for Physical Systems:…

200 papers

Autonomous systems are highly complex and present unique challenges for the application of formal methods. Autonomous systems act without human intervention, and are often embedded in a robotic system, so that they can interact with the…

Logic in Computer Science · Computer Science 2021-10-25 Marie Farrell , Matt Luckcuck

Neural networks have shown great promises in planning, control, and general decision making for learning-enabled cyber-physical systems (LE-CPSs), especially in improving performance under complex scenarios. However, it is very challenging…

Robotics · Computer Science 2022-01-25 Xiangguo Liu , Chao Huang , Yixuan Wang , Bowen Zheng , Qi Zhu

Passive elastic elements can contribute to stability, energetic efficiency, and impact absorption in both biological and robotic systems. They also add dynamical complexity which makes them more challenging to model and control. The impact…

Robotics · Computer Science 2019-09-30 Ali Marjaninejad , Jie Tan , Francisco J. Valero-Cuevas

This paper proposes an extensive overview of safety applications and approaches as it relates to automated driving from the prospectives of sensor configurations, vehicle dynamics modelling, tyre modeling, and estimation approaches. First,…

Systems and Control · Electrical Eng. & Systems 2022-11-21 Hazem Fahmy , Sabita Mahrajan

We provide a summary over architectural approaches that can be used to construct dependable learning-enabled autonomous systems, with a focus on automated driving. We consider three technology pillars for architecting dependable autonomy,…

Software Engineering · Computer Science 2019-02-28 Chih-Hong Cheng , Dhiraj Gulati , Rongjie Yan

Most cyber-physical systems (CPS) encounter a large volume of data which is added to the system gradually in real time and not altogether in advance. In this paper, we provide a theoretical framework that yields optimal control strategies…

Optimization and Control · Mathematics 2022-12-21 Andreas A. Malikopoulos

Robotic systems are multi-dimensional entities, combining both hardware and software, that are heavily dependent on, and influenced by, interactions with the real world. They can be variously categorised as embedded, cyberphysical,…

Software Engineering · Computer Science 2018-09-05 Marie Farrell , Matt Luckcuck , Michael Fisher

This chapter explores the complex realm of autonomous cars, analyzing their fundamental components and operational characteristics. The initial phase of the discussion is elucidating the internal mechanics of these automobiles, encompassing…

Computational Engineering, Finance, and Science · Computer Science 2023-09-26 Md Aminul Islam , Sarah Alqahtani

Large demand for robotics and automation has been reflected in the sanding works, as current manual operations are labor-intensive, without consistent quality, and also subject to safety and health issues. While several machines have been…

Systems and Control · Computer Science 2019-03-11 Yingxin Huo , Diancheng Chen , Xiang Li , Peng Li , Yun-Hui Liu

Artificial intelligence is essential to succeed in challenging activities that involve dynamic environments, such as object manipulation tasks in indoor scenes. Most of the state-of-the-art literature explores robotic grasping methods by…

Robotics · Computer Science 2019-05-28 Paola Ardón , Èric Pairet , Ron Petrick , Subramanian Ramamoorthy , Katrin Lohan

One of the most critical features for the successful operation of autonomous UAVs is the ability to make decisions based on the information acquired from their surroundings. Each UAV must be able to make decisions during the flight in order…

Robotics · Computer Science 2025-08-14 Kelen C. Teixeira Vivaldini , Robert Pěnička , Martin Saska

Autonomous driving is a multi-agent setting where the host vehicle must apply sophisticated negotiation skills with other road users when overtaking, giving way, merging, taking left and right turns and while pushing ahead in unstructured…

Artificial Intelligence · Computer Science 2016-10-12 Shai Shalev-Shwartz , Shaked Shammah , Amnon Shashua

Autonomous robot navigation systems often rely on hierarchical planning, where global planners compute collision-free paths without considering dynamics, and local planners enforce dynamics constraints to produce executable commands. This…

Robotics · Computer Science 2025-10-14 Yuanjie Lu , Mingyang Mao , Tong Xu , Linji Wang , Xiaomin Lin , Xuesu Xiao

Mapping the surrounding environment is essential for the successful operation of autonomous robots. While extensive research has focused on mapping geometric structures and static objects, the environment is also influenced by the movement…

Robotics · Computer Science 2023-09-04 Junyi Shi , Tomasz Piotr Kucner

As drones and autonomous cars become more widespread it is becoming increasingly important that robots can operate safely under realistic conditions. The noisy information fed into real systems means that robots must use estimates of the…

Robotics · Computer Science 2017-06-01 Brian Axelrod , Leslie Pack Kaelbling , Tomás Lozano-Pérez

Cyber-physical systems (CPS) have been broadly deployed in safety-critical domains, such as automotive systems, avionics, medical devices, etc. In recent years, Artificial Intelligence (AI) has been increasingly adopted to control CPS.…

Software Engineering · Computer Science 2022-04-20 Jiayang Song , Deyun Lyu , Zhenya Zhang , Zhijie Wang , Tianyi Zhang , Lei Ma

Control systems are critical to modern technological infrastructure, spanning industries from aerospace to healthcare. This survey explores the landscape of safe robot learning, investigating methods that balance high-performance control…

Robotics · Computer Science 2025-01-06 Bassel El Mabsout

Cyber-physical systems (CPSs) embed software into the physical world. They appear in a wide range of applications such as smart grids, robotics, intelligent manufacture and medical monitoring. CPSs have proved resistant to modeling due to…

Systems and Control · Computer Science 2019-10-28 Ye Yuan , Xiuchuan Tang , Wei Pan , Xiuting Li , Wei Zhou , Hai-Tao Zhang , Han Ding , Jorge Goncalves

The field of autonomous mobile robots has undergone dramatic advancements over the past decades. Despite achieving important milestones, several challenges are yet to be addressed. Aggregating the achievements of the robotic community as…

Robot-led physical therapy (PT) offers a promising avenue to enhance the care provided by clinical exercise specialists (ES) and physical and occupational therapists to improve patients' adherence to prescribed exercises outside of a…