English
Related papers

Related papers: MultiCoSim: A Python-based Multi-Fidelity Co-Simul…

200 papers

MiMiC is a framework for performing multiscale simulations in which loosely coupled external programs describe individual subsystems at different resolutions and levels of theory. To make it highly efficient and flexible, we adopt an…

Cyber-Physical Systems (CPS) are abundant in safety-critical domains such as healthcare, avionics, and autonomous vehicles. Formal verification of their operational safety is, therefore, of utmost importance. In this paper, we address the…

Cryptography and Security · Computer Science 2025-05-08 Atanu Kundu , Sauvik Gon , Rajarshi Ray

Increasing complexity in the power system and the transformation towards a smart grid lead to the necessity of new tools and methods for the development and testing of new technologies. One testing method is co-simulation, which allows…

Computational Engineering, Finance, and Science · Computer Science 2024-10-23 Jan Sören Schwarz , Cornelius Steinbrink , Sebastian Lehnhoff

MiMiC is a framework for modeling large-scale chemical processes that require treatment at multiple resolutions. It does not aim to implement single-handedly all methods required to treat individual subsystems, but instead, it relegates…

Scalable and efficient numerical simulations continue to gain importance, as computation is firmly established as the third pillar of discovery, alongside theory and experiment. Meanwhile, the performance of computing hardware grows through…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-06-26 Pietro Incardona , Antonio Leo , Yaroslav Zaluzhnyi , Rajesh Ramaswamy , Ivo F. Sbalzarini

Cyber-physical space systems are engineered systems operating within physical space with design requirements that depend on space, e.g., regarding location or movement behavior. They are built from and depend upon the seamless integration…

Software Engineering · Computer Science 2020-07-15 Nianyu Li , Christos Tsigkanos , Zhi Jin , Zhenjiang Hu , Carlo Ghezzi

Simulation-based falsification is a practical testing method to increase confidence that the system will meet safety requirements. Because full-fidelity simulations can be computationally demanding, we investigate the use of simulators with…

Systems and Control · Electrical Eng. & Systems 2023-05-02 Zahra Shahrooei , Mykel J. Kochenderfer , Ali Baheri

It is essential to find new ways of enabling experts in different disciplines to collaborate more efficient in the development of ever more complex systems, under increasing market pressures. One possible solution for this challenge is to…

Systems and Control · Computer Science 2017-02-03 Cláudio Gomes , Casper Thule , David Broman , Peter Gorm Larsen , Hans Vangheluwe

Many numerical simulation tools have been developed and are on the market, but there is still a strong need for appropriate tools capable of simulating multi-field problems, especially in aeroacoustics. Therefore, openCFS provides an…

Computational Engineering, Finance, and Science · Computer Science 2026-01-12 Andreas Wurzinger , Patrick Heidegger , Stefan Schoder

The adoption of cyber-physical systems (CPS) is on the rise in complex physical environments, encompassing domains such as autonomous vehicles, the Internet of Things (IoT), and smart cities. A critical attribute of CPS is robustness,…

Systems and Control · Electrical Eng. & Systems 2024-03-27 Changjian Zhang , Parv Kapoor , Romulo Meira-Goes , David Garlan , Eunsuk Kang , Akila Ganlath , Shatadal Mishra , Nejib Ammar

The growing complexity of Cyber-Physical Systems (CPS), together with increasingly available parallelism provided by multi-core chips, fosters the parallelization of simulation. Simulation speed-ups are expected from co-simulation and…

Systems and Control · Computer Science 2017-03-03 Abir Ben Khaled-El Feki , Laurent Duval , Cyril Faure , Daniel Simon , Mongi Ben Gaid

In recent years, tremendous effort has been spent to modernizing communication infrastructure in Cyber-Physical Systems (CPS) such as Industrial Control Systems (ICS) and related Supervisory Control and Data Acquisition (SCADA) systems.…

Networking and Internet Architecture · Computer Science 2015-07-20 Daniele Antonioli , Nils Ole Tippenhauer

Cyber Physical Systems (CPS) are the conjoining of an entities' physical and computational elements. The development of a typical CPS system follows a sequence from conceptual modeling, testing in simulated (virtual) worlds, testing in…

Computers and Society · Computer Science 2014-08-05 Vijay Gadepally , Ashok Krishnamurthy , Umit Ozguner

Cyber-Physical Systems (CPSs) have become an intrinsic part of the 21st century world. Systems like Smart Grids, Transportation, and Healthcare help us run our lives and businesses smoothly, successfully and safely. Since malfunctions in…

Software Engineering · Computer Science 2019-05-15 Massimo Nazaria

Co-simulation is a promising approach for the modelling and simulation of complex systems, that makes use of mature simulation tools in the respective domains. It has been applied in wildly different domains, oftentimes without a…

Computers and Society · Computer Science 2019-01-21 Gerald Schweiger , Claudio Gomes , Georg Engel , Josef-Peter Schoeggl , Alfred Posch , Irene Hafner , Thierry Nouidu

The optimization of large experiments in fundamental science, such as detectors for subnuclear physics at particle colliders, shares with the optimization of complex systems for industrial or societal applications the common issue of…

Instrumentation and Detectors · Physics 2026-03-30 Tommaso Dorigo , Pietro Vischia , Shahzaib Abbas , Tosin Adewumi , Lama Alkhaled , Lorenzo Arsini , Muhammad Awais , Maxim Borisyak , András Bóta , Florian Bury , Sascha Caron , James Carzon , Long Chen , Prakash C. Chhipa , Paul Christakopoulos , Jacopo De Piccoli , Andrea De Vita , Zlatan Dimitrov , Michele Doro , Luigi Favaro , Francesco Ferranti , Santiago Folgueras , Rihab Gargouri , Nicolas R. Gauger , Andrea Giammanco , Christian Glaser , Tobias Golling , João A. Gonçalves , Hui Han , Hamza Hanif , Lukas Heinrich , Yan Chai Hum , Florent Imbert , Andreas Ipp , Michael Kagan , Noor Kainat Syeda , Rukshak Kapoor , Aparup Khatua , Eduard J. Kerkhoven , Jan Kieseler , Tobias Kortus , Ashish Kumar Singh , Marius S. Köppel , Daniel Lanchares , Ann Lee , Pelayo Leguina , Christos Leonidopoulos , Giuseppe Levi , Boying Li , Chang Liu , Marcus Liwicki , Karl Lowenmark , Enrico Lupi , Carlo Mancini-Terracciano , Dominik Maršík , Leonidas Matsakas , Hamam Mokayed , Federico Nardi , Amirhossein Nayebiastaneh , Xuan T. Nguyen , Aitor Orio , Jingjing Pan , Jigar Patel , Carmelo Pellegrino , María Pereira Martínez , Karolos Potamianos , Shah Rukh Qasim , Martin Ravn , Luis Recabarren Vergara , Humberto Reyes-González , Hipolito A. Riveros Guevara , Ippocratis D. Saltas , Rajkumar Saini , Fredrik Sandin , Alexander Schilling , Kylian Schmidt , Nicola Serra , Saqib Shahzad , Foteini Simistira Liwicki , Giles C. Strong , Kristian Tchiorniy , Mia Tosi , Andrey Ustyuzhanin , Xabier Cid Vidal , Kinga A. Wozniak , Mengqing Wu , Zahraa Zaher

Cyber-Physical Systems (CPS) are systems composed by a physical component that is controlled or monitored by a cyber-component, a computer-based algorithm. Advances in CPS technologies and science are enabling capability, adaptability,…

Logic in Computer Science · Computer Science 2018-10-17 Mario Lezoche , Hervé Panetto

Consumer grade cyber-physical systems (CPS) are becoming an integral part of our life, automatizing and simplifying everyday tasks. Indeed, due to complex interactions between hardware, networking and software, developing and testing such…

Cryptography and Security · Computer Science 2021-03-24 Dmytro Humeniuk , Giuliano Antoniol , Foutse Khomh

As the era of autonomous cyber-physical systems (ACPSs), such as unmanned aerial vehicles and self-driving cars, unfolds, the demand for robust testing methodologies is key to realizing the adoption of such systems in real-world scenarios.…

Software Engineering · Computer Science 2024-05-03 Christian Birchler , Sajad Khatiri , Pooja Rani , Timo Kehrer , Sebastiano Panichella

With the exponential growth of cyber-physical systems (CPS), new security challenges have emerged. Various vulnerabilities, threats, attacks, and controls have been introduced for the new generation of CPS. However, there lack a systematic…

Cryptography and Security · Computer Science 2017-01-18 Abdulmalik Humayed , Jingqiang Lin , Fengjun Li , Bo Luo