English
Related papers

Related papers: Modeling Considerations for Developing Deep Space …

200 papers

The spread of autonomous systems into safety-critical areas has increased the demand for their formal verification, not only due to stronger certification requirements but also to public uncertainty over these new technologies. However, the…

Artificial Intelligence · Computer Science 2018-04-19 Maryam Kamali , Sven Linker , Michael Fisher

In the rapidly evolving landscape of autonomous driving, the capability to accurately predict future events and assess their implications is paramount for both safety and efficiency, critically aiding the decision-making process. World…

Machine Learning · Computer Science 2024-05-08 Yanchen Guan , Haicheng Liao , Zhenning Li , Jia Hu , Runze Yuan , Yunjian Li , Guohui Zhang , Chengzhong Xu

Service robots are complex, heterogeneous, software intensive systems built from components. Recent robotics research trends mainly address isolated capabilities on functional level. Non-functional properties, such as responsiveness or…

Robotics · Computer Science 2016-01-12 Alex Lotz , Arne Hamann , Ingo Lütkebohle , Dennis Stampfer , Matthias Lutz , Christian Schlegel

Autonomous navigation through unknown environments is a challenging task that entails real-time localization, perception, planning, and control. UAVs with this capability have begun to emerge in the literature with advances in lightweight…

Robotics · Computer Science 2019-06-18 Jesus Tordesillas , Brett T. Lopez , John Carter , John Ware , Jonathan P. How

This paper presents a methodology for simulating the Internet of Things (IoT) using multi-level simulation models. With respect to conventional simulators, this approach allows us to tune the level of detail of different parts of the model…

Performance · Computer Science 2018-08-08 Stefano Ferretti , Gabriele D'Angelo , Vittorio Ghini , Moreno Marzolla

The concept of autonomy is key to the IoT vision promising increasing integration of smart services and systems minimizing human intervention. This vision challenges our capability to build complex open trustworthy autonomous systems. We…

Systems and Control · Computer Science 2018-11-27 Joseph Sifakis

Achieving fully autonomous driving systems requires learning rational decisions in a wide span of scenarios, including safety-critical and out-of-distribution ones. However, such cases are underrepresented in real-world corpus collected by…

Computer Vision and Pattern Recognition · Computer Science 2026-04-13 Haochen Tian , Tianyu Li , Haochen Liu , Jiazhi Yang , Yihang Qiu , Guang Li , Junli Wang , Yinfeng Gao , Zhang Zhang , Liang Wang , Hangjun Ye , Tieniu Tan , Long Chen , Hongyang Li

Developing excavation autonomy is challenging given the environments where excavators operate, the complexity of physical interaction and the degrees of freedom of operation of the excavator itself. Simulation is a useful tool to build…

Autonomous underwater robots are increasingly deployed for environmental monitoring, infrastructure inspection, subsea resource exploration, and long-horizon exploration. Yet, despite rapid advances in learning-based planning and control,…

Robotics · Computer Science 2026-03-10 Jingzehua Xu , Guanwen Xie , Jiwei Tang , Shuai Zhang , Xiaofan Li

As autonomous driving technology matures, end-to-end methodologies have emerged as a leading strategy, promising seamless integration from perception to control via deep learning. However, existing systems grapple with challenges such as…

Dependability is an umbrella concept that subsumes many key properties about a system, including reliability, maintainability, safety, availability, confidentiality, and integrity. Various dependability modeling techniques have been…

Software Engineering · Computer Science 2016-06-23 Waqar Ahmed , Osman Hasan , Sofiene Tahar

This paper introduces a novel Monte Carlo (MC) method to simulate the evolution of the low-earth orbit environment, enhancing the MIT Orbital Capacity Analysis Tool (MOCAT). In recent decades, numerous space environment models have been…

Earth and Planetary Astrophysics · Physics 2024-10-15 Daniel Jang , Davide Gusmini , Peng Mun Siew , Andrea D'Ambrosio , Simone Servadio , Pablo Machuca , Richard Linares

With the complexity of lunar exploration missions, the moon needs to have a higher level of autonomy. Environmental perception and navigation algorithms are the foundation for lunar rovers to achieve autonomous exploration. The development…

Computer Vision and Pattern Recognition · Computer Science 2024-09-27 Jiayi Liu , Qianyu Zhang , Xue Wan , Shengyang Zhang , Yaolin Tian , Haodong Han , Yutao Zhao , Baichuan Liu , Zeyuan Zhao , Xubo Luo

The use of semi-autonomous Unmanned Aerial Vehicles (UAVs or drones) to support emergency response scenarios, such as fire surveillance and search-and-rescue, has the potential for huge societal benefits. Onboard sensors and artificial…

Software Engineering · Computer Science 2020-09-23 Ankit Agrawal , Jan-Philipp Steghofer , Jane Cleland-Huang

Air components, including UAVs, planes, balloons, and satellites have been widely utilized since the fixed capacity of ground infrastructure cannot meet the dynamic load of the users. However, since those air components should be…

Networking and Internet Architecture · Computer Science 2024-09-04 Baris Yamansavascilar , Atay Ozgovde , Cem Ersoy

We propose developing an integrated system to keep autonomous unmanned aircraft safely separated and behave as expected in conjunction with manned traffic. The main goal is to achieve safe manned-unmanned vehicle teaming to improve system…

Unmanned Aerial Systems (UAS) are being increasingly deployed for commercial, civilian, and military applications. The current UAS state-of-the-art still depends on a remote human controller with robust wireless links to perform several of…

Machine Learning · Computer Science 2020-09-10 Jithin Jagannath , Anu Jagannath , Sean Furman , Tyler Gwin

The development of an aircraft industrial system is a complex process which faces the challenge of digital discontinuity in multidisciplinary engineering due to various interfaces between different digital tools, leading to extra…

Software Engineering · Computer Science 2022-04-25 Xiaodu Hu , Rebeca Arista , Xiaochen Zheng , Joachim Lentes , Jyri Sorvari , Jinzhi Lu , Fernando Ubis , Dimitris Kiritsis

Software components for on-board architectures in the space domain are increasingly reliant on Commercial Off-The-Shelf (COTS), Open Source (OSS) or other third party software products. However, these software components often have not been…

Software Engineering · Computer Science 2016-08-23 David Escorial Rico , Mark Hann

Computer simulations are becoming an essential tool in many scientific fields from molecular dynamics to aeronautics. In glaciology, future predictions of sea level change require input from ice sheet models. Due to uncertainties in the…