English
Related papers

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

200 papers

Full verification of learning-enabled cyber-physical systems (CPS) has long been intractable due to challenges including black-box components and complex real-world environments. Existing tools either provide formal guarantees for limited…

Logic in Computer Science · Computer Science 2025-11-05 Eric Vin , Kyle A. Miller , Inigo Incer , Sanjit A. Seshia , Daniel J. Fremont

The substantial increase in data volume and complexity expected from future experiments will require significant investment to prepare experimental algorithms. These algorithms include physics object reconstruction, calibrations, and…

Realistic and controllable simulation is critical for advancing end-to-end autonomous driving, yet existing approaches often struggle to support novel view synthesis under large viewpoint changes or to ensure geometric consistency. We…

Cyber-Physical Systems (CPS) are being widely adopted in critical infrastructures, such as smart grids, nuclear plants, water systems, transportation systems, manufacturing and healthcare services, among others. However, the increasing…

Cryptography and Security · Computer Science 2021-11-23 Eyasu Getahun Chekole , Martin Ochoa , Sudipta Chattopadhyay

We present the basic idea, implementation, measured performance and performance model of FDPS (Framework for developing particle simulators). FDPS is an application-development framework which helps the researchers to develop particle-based…

Instrumentation and Methods for Astrophysics · Physics 2016-06-15 Masaki Iwasawa , Ataru Tanikawa , Natsuki Hosono , Keigo Nitadori , Takayuki Muranushi , Junichiro Makino

The PySCF package has emerged as a powerful and flexible open-source platform for quantum chemistry simulations. However, the efficiency of electronic structure calculations can vary significantly depending on the choice of computational…

Chemical Physics · Physics 2025-06-10 Zhichen Pu , Qiming Sun

Cyber-physical systems (CPS) are often defended in the same manner as information technology (IT) systems -- by using perimeter security. Multiple factors make such defenses insufficient for CPS. Resiliency shows potential in overcoming…

Cryptography and Security · Computer Science 2021-10-12 Cody Fleming , Carl Elks , Georgios Bakirtzis , Stephen C. Adams , Bryan Carter , Peter A. Beling , Barry Horowitz

The integration of cyber technologies (computing and communication) with the physical world gives rise to complex systems referred to as Cyber Physical Systems (CPS), for example, manufacturing, transportation, smart grid, and water…

Cryptography and Security · Computer Science 2020-04-08 Chuadhry Mujeeb Ahmed , Jianying Zhou

Studying the rapid variability of many astronomical objects is key to understanding the underlying processes at play. However, a combination of limited telescope availability, viewing constraints, and the unpredictable nature of many…

Instrumentation and Methods for Astrophysics · Physics 2024-03-15 John A. Paice , Poshak Gandhi , Ranjeev Misra

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

MGSim is an open source discrete event simulator for on-chip hardware components, developed at the University of Amsterdam. It is intended to be a research and teaching vehicle to study the fine-grained hardware/software interactions on…

Hardware Architecture · Computer Science 2013-02-07 Mike Lankamp , Raphael Poss , Qiang Yang , Jian Fu , Irfan Uddin , Chris R. Jesshope

Quantum simulation of chemistry and materials is predicted to be an important application for both near-term and fault-tolerant quantum devices. However, at present, developing and studying algorithms for these problems can be difficult due…

Over the past decade, the Python-based Simulations of Chemistry Framework (PySCF) has developed into a widely used open-source platform for electronic structure theory and quantum chemical method development. This article reviews the major…

Chemical Physics · Physics 2026-04-09 Qiming Sun , Matthew R Hermes , Xiaojie Wu , Huanchen Zhai , Xing Zhang , Abdelrahman M. Ahmed , Juan José Aucar , Oliver J. Backhouse , Samragni Banerjee , Peng Bao , Nikolay A. Bogdanov , Kyle Bystrom , Frédéric Chapoton , Ning-Yuan Chen , Ivan Yu. Chernyshov , Helen S. Clifford , Sander Cohen-Janes , Zhi-Hao Cui , Yann D. Damour , Nike Dattani , Linus Bjarne Dittmer , Sebastian Ehlert , Janus Juul Eriksen , Francesco A. Evangelista , Simon A. Ewing , Ardavan Farahvash , Kevin Focke , Yang Gao , Kevin E. Gasperich , Nathan Gillispie , Jonas Greiner , Matthew R. Hennefarth , Jan Hermann , Christopher Hillenbrand , Joonatan Huhtasalo , Basil Ibrahim , Bhavnesh Jangid , Alireza Nejati Javaremi , Andrew J. Jenkins , Yu Jin , Daniel S. King , Derk Pieter Kooi , Jo S. Kurian , Henrik R. Larsson , Bryan Tak Gwong Lau , Seunghoon Lee , Susi Lehtola , Chenghan Li , Hao Li , Jiachen Li , Rui Li , Shuhang Li , Aleksandr O. Lykhin , Ankit Mahajan , Nastasia Mauger , Pablo del Mazo-Sevillano , Jonathan Moussa , Kousuke Nakano , Verena A. Neufeld , Linqing Peng , Hung Q. Pham , Peter Pinski , Pavel Pokhilko , Zhichen Pu , Yubing Qian , Stephen Jon Quiton , Wanja T. Schulze , Thais R. Scott , Aniruddha Seal , James D. Serna , James E. T. Smith , Kori E. Smyser , Terrence Stahl , Chong Sun , Kevin J. Sung , Egor Trushin , Shiv Upadhyay , Ethan A. Vo , Thijs Vogels , Shirong Wang , Tai Wang , Xiao Wang , Xubo Wang , Yuanheng Wang , Mark Williamson , Junjie Yang , Hong-Zhou Ye , Chia-Nan Yeh , Haiyang Yu , Jincheng Yu , Victor Wen-zhe Yu , Chaoqun Zhang , Dayou Zhang , Yichi Zhang , Zijun Zhao , Zehao Zhou , Andrew J. Zhu , Tianyu Zhu , Timothy C. Berkelbach , Laura Gagliardi , Sandeep Sharma , Alexander Sokolov , Garnet Kin-Lic Chan

Electronic-photonic integrated circuits (EPICs) offer transformative potential for next-generation high-performance AI but require interdisciplinary advances across devices, circuits, architecture, and design automation. The complexity of…

Optics · Physics 2024-11-22 Ziang Yin , Meng Zhang , Amir Begovic , Rena Huang , Jeff Zhang , Jiaqi Gu

Simulation tools and testbeds have been proposed to assess the performance of control designs and wireless protocols in isolation. A cyber-physical system (CPS), however, integrates control with network elements, which must be evaluated…

Networking and Internet Architecture · Computer Science 2021-04-19 Dominik Baumann , Fabian Mager , Harsoveet Singh , Marco Zimmerling , Sebastian Trimpe

Industrial Cyber-Physical Systems (ICPS) integrate the disciplines of computer science, communication technology, and engineering, and have emerged as integral components of contemporary manufacturing and industries. However, ICPS…

Artificial Intelligence · Computer Science 2024-01-23 Ruonan Liu , Quanhu Zhang , Te Han

This work introduces ParAMS -- a versatile Python package that aims to make parameterization workflows in computational chemistry and physics more accessible, transparent and reproducible. We demonstrate how ParAMS facilitates the parameter…

Chemical Physics · Physics 2021-05-18 Leonid Komissarov , Robert Rüger , Matti Hellström , Toon Verstraelen

Cyber-Physical Systems (CPS) integrate physical and embedded systems with information and communication technology systems, monitoring and controlling physical processes with minimal human intervention. The connection to information and…

Cryptography and Security · Computer Science 2024-09-17 Asila AlHarmali , Saqib Ali , Waqas Aman , Omar Hussain

PCIe-connected FPGAs are gaining popularity as an accelerator technology in data centers. However, it is challenging to jointly develop and debug host software and FPGA hardware. Changes to the hardware design require a time-consuming FPGA…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-01-28 Shenghsun Cho , Mrunal Patel , Basavaraj Kaladagi , Han Chen , Tapti Palit , Michael Ferdman , Peter Milder

In precision agriculture, integrating advanced technologies is crucial for optimizing plant growth and health monitoring. Cyber-physical system (CPS) platforms tailored to specific agricultural environments have emerged, but the diversity…

Systems and Control · Electrical Eng. & Systems 2024-10-10 Pawan Kumar , Hokeun Kim