English
Related papers

Related papers: Formal Simulation and Visualisation of Hybrid Prog…

200 papers

Hybrid systems are increasingly used in critical applications such as medical devices, infrastructure systems, and autonomous vehicles. Lince is an academic tool for specifying and simulating such systems using a C-like language with…

Logic in Computer Science · Computer Science 2025-11-19 Reydel Arrieta , José Proença , Patrick Meumeu Yomsi

Simulation is an integral part in the process of developing autonomous vehicles and advantageous for training, validation, and verification of driving functions. Even though simulations come with a series of benefits compared to real-world…

Computer Vision and Pattern Recognition · Computer Science 2023-08-01 Ferdinand Mütsch , Helen Gremmelmaier , Nicolas Becker , Daniel Bogdoll , Marc René Zofka , J. Marius Zöllner

Simulating physical systems is a core component of scientific computing, encompassing a wide range of physical domains and applications. Recently, there has been a surge in data-driven methods to complement traditional numerical simulations…

Machine Learning · Computer Science 2021-08-19 Karl Otness , Arvi Gjoka , Joan Bruna , Daniele Panozzo , Benjamin Peherstorfer , Teseo Schneider , Denis Zorin

Software-in-the-loop (SIL) simulation is a widely used method for the rapid development and testing of autonomous vehicles because of its flexibility and efficiency. This paper presents a case study on the validation of an in-house…

Software Engineering · Computer Science 2024-06-06 Zhennan Fei , Mikael Andersson , Andreas Tingberg

This paper presents the development of a real-time simulator for the validation of controlling a large vehicle manipulator. The need for this development can be justified by the lack of such a simulator: There are neither open source…

Robotics · Computer Science 2022-11-28 Balint Varga , Selina Meier , Soeren Hohmann

In the context of the energy transition, with increasing integration of renewable sources and cross-border electricity exchanges, power grids are encountering greater uncertainty and operational risk. Maintaining grid stability under…

Machine Learning · Computer Science 2025-09-24 Milad Leyli-abadi , Antoine Marot , Jérôme Picault

As the computer vision matures into a systems science and engineering discipline, there is a trend in leveraging latest advances in computer graphics simulations for performance evaluation, learning, and inference. However, there is an open…

Computer Vision and Pattern Recognition · Computer Science 2015-12-04 V S R Veeravasarapu , Rudra Narayan Hota , Constantin Rothkopf , Ramesh Visvanathan

Simulation is essential to validate autonomous driving systems. However, a simple simulation, even for an extremely high number of simulated miles or hours, is not sufficient. We need well-founded criteria showing that simulation does…

Software Engineering · Computer Science 2023-01-24 Changwen Li , Joseph Sifakis , Qiang Wang , Rongjie Yan , Jian Zhang

This paper establishes a general framework for describing hybrid dynamical systems which is particularly suitable for numerical simulation. In this context, the data structures used to describe the sets and functions which comprise the…

chao-dyn · Physics 2008-02-03 Allen Back , John Guckenheimer , Mark Myers

Unlike computation or the numerical analysis of differential equations, simulation does not have a well established conceptual and mathematical foundation. Simulation is an arguable unique union of modeling and computation. However,…

adap-org · Physics 2008-02-03 Steen Rasmussen , Christopher Barrett

As the landscape of devices that interact with the electrical grid expands, also the complexity of the scenarios that arise from these interactions increases. Validation methods and tools are typically domain specific and are designed to…

Software Engineering · Computer Science 2023-09-15 Catalin Gavriluta , Georg Lauss , Thomas I. Strasser , Juan Montoya , Ron Brandl , Panos Kotsampopoulos

As in the car industry for quite some time, dynamic simulation of complete vehicles is being practiced more and more in the development of off-road machinery. However, specific questions arise due not only to company structure and size, but…

Computational Engineering, Finance, and Science · Computer Science 2011-08-30 Reno Filla , Jan-Ove Palmberg

Numerical simulations are ubiquitous in mathematics and computational science. Several industrial and clinical applications entail modeling complex multiphysics systems that evolve over a variety of spatial and temporal scales. This study…

Mathematical Software · Computer Science 2022-11-14 Pasquale Claudio Africa

Interactive high-performance computing is doubtlessly beneficial for many computational science and engineering applications whenever simulation results should be visually processed in real time, i.e. during the computation process.…

Computational Engineering, Finance, and Science · Computer Science 2018-07-03 Ralf-Peter Mundani , Jérôme Frisch , Vasco Varduhn , Ernst Rank

With the growing popularity of digital twin and autonomous driving in transportation, the demand for simulation systems capable of generating high-fidelity and reliable scenarios is increasing. Existing simulation systems suffer from a lack…

Systems and Control · Electrical Eng. & Systems 2023-07-27 Licheng Wen , Daocheng Fu , Song Mao , Pinlong Cai , Min Dou , Yikang Li , Yu Qiao

Quantitatively evaluating and comparing the performance of robotic solutions that are designed to work under a variety of conditions is inherently challenging because they need to be evaluated under numerous precisely repeatable conditions…

Robotics · Computer Science 2019-03-26 Achim Gerstenberg , Martin Steinert

A modular, maintainable and extensible particle beam simulation architecture is presented. Design considerations for single particle, multi particle, and rms envelope simulations (in two and three dimensions) are outlined. Envelope…

Computational Physics · Physics 2007-05-23 Nicholas D. Pattengale , Christopher K. Allen

Intelligent transportation systems (ITSs) and other smart-city technologies are increasingly advancing in capability and complexity. While simulation environments continue to improve, their fidelity and ease of use can quickly degrade as…

Physics and Society · Physics 2019-07-31 Adam Morrissett , Roja Eini , Mostafa Zaman , Nasibeh Zohrabi , Sherif Abdelwahed

Simulation especially real-time simulation have been widely used for the design and testing of real-time systems. The advancement of simulation tools has largely attributed to the evolution of computing technologies. With the reduced cost…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-05-07 Xi Zheng

Building simulation environments for developing and testing autonomous vehicles necessitates that the simulators accurately model the statistical realism of the real-world environment, including the interaction with other vehicles driven by…

‹ Prev 1 2 3 10 Next ›