English
Related papers

Related papers: McFSM: Globally Taming Complex Systems

200 papers

From a closed and controlled environment, neglecting all the external disturbances, information processing systems are now exposed to the complexity and the aleas of the physical environment, open and uncontrolled. Indeed, as envisioned by…

Computers and Society · Computer Science 2020-01-28 Gérald Rocher , Jean-Yves Tigli , Stéphane Lavirotte , Nhan Le Thanh

We discuss the problems of modeling, control, and decision support in complex dynamic systems from a general system theoretic point of view. The main characteristics of complex systems and of system approach to complex system study are…

Systems and Control · Computer Science 2013-12-30 Armen Bagdasaryan

The standard assumptions that underlie many conceptual and quantitative frameworks do not hold for many complex physical, biological, and social systems. Complex systems science clarifies when and why such assumptions fail and provides…

Physics and Society · Physics 2020-11-11 Alexander F. Siegenfeld , Yaneer Bar-Yam

System prompts provide a lightweight yet powerful mechanism for conditioning large language models (LLMs) at inference time. While prior work has focused on English-only settings, real-world deployments benefit from having a single prompt…

Computation and Language · Computer Science 2025-12-03 Lechen Zhang , Yusheng Zhou , Tolga Ergen , Lajanugen Logeswaran , Moontae Lee , David Jurgens

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

The future development of quantum technologies relies on creating and manipulating quantum systems of increasing complexity, with key applications in computation, simulation and sensing. This poses severe challenges in the efficient…

Periodic control systems used in spacecrafts and automotives are usually period-driven and can be decomposed into different modes with each mode representing a system state observed from outside. Such systems may also involve intensive…

Logic in Computer Science · Computer Science 2013-01-03 Zheng Wang , Geguang Pu , Jianwen Li , Jifeng He , Shengchao Qin , Kim G. Larsen , Jan Madsen , Bin Gu

A broad class of systems, including ecological, epidemiological, and sociological ones, are characterized by populations of individuals assigned to specific categories, e.g., a chemical species, an opinion or an epidemic state, that are…

Statistical Mechanics · Physics 2025-07-17 Giorgio Vittorio Visco , Johannes Nauta , Tomas Scagliarini , Oriol Artime , Manlio De Domenico

Computer systems can be found everywhere: in space, in our homes, in our cars, in our pockets, and sometimes even in our own bodies. For concerns of safety, economy, and convenience, it is important that such systems work correctly.…

Logic in Computer Science · Computer Science 2019-05-22 Mathias Ruggaard Pedersen

Modern cyber-physical systems (CPS) have a close inter-dependence between software and physical components. Automotive embedded systems are typical CPS, as physical chips, sensors and actuators are physical components and software embedded…

Software Engineering · Computer Science 2016-03-17 Yuchen Zhou , John Baras , Shige Wang

Inspired by the pioneering work of Gilles Kahn on concurrent systems, we propose to model timed systems as a network of software components (implemented as real-time processes or tasks), each of which is specified to compute a collection of…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-11-30 Wang Yi , Morteza Mohaqeqi , Susanne Graf

The development of Machine Learning (ML) based systems is complex and requires multidisciplinary teams with diverse skill sets. This may lead to communication issues or misapplication of best practices. Process models can alleviate these…

Software Engineering · Computer Science 2024-08-29 Sergio Morales , Robert Clarisó , Jordi Cabot

This work introduces (1) a technique that allows large language models (LLMs) to leverage user-provided code when solving programming tasks and (2) a method to iteratively generate modular sub-functions that can aid future code generation…

Machine Learning · Computer Science 2023-12-05 Patrick Hajali , Ignas Budvytis

Accountability is an often called for property of technical systems. It is a requirement for algorithmic decision systems, autonomous cyber-physical systems, and for software systems in general. As a concept, accountability goes back to the…

Software Engineering · Computer Science 2021-04-30 Severin Kacianka , Alexander Pretschner

Exotic behaviour of mechanical metamaterials often relies on an internal transformation of the underlying microstructure triggered by its local instabilities, rearrangements, and rotations. Depending on the presence and magnitude of such a…

Soft Condensed Matter · Physics 2020-04-16 Ondřej Rokoš , Jan Zeman , Martin Doškář , Petr Krysl

Industrial facilities and critical infrastructures are transforming into "smart" environments that dynamically adapt to external events. The result is an ecosystem of heterogeneous physical and cyber components integrated in cyber-physical…

Logic in Computer Science · Computer Science 2021-05-25 Ruggero Lanotte , Massimo Merro , Simone Tini

Structural modeling is a fundamental component of computational engineering science, in which even minor physical inconsistencies or specification violations may invalidate downstream simulations. The potential of large language models…

Software Engineering · Computer Science 2026-02-10 Yongqing Jiang , Jianze Wang , Zhiqi Shen , Zhenghong Lin , Jiayuan Wang , Yijian Yang , Kaoshan Dai , Haoran Luo

Typical design flows are hierarchical and rely on assembling many individual technology elements from standard cells to complete boards. Providers use compact models to provide simplified views of their products to their users. Designers…

Hardware Architecture · Computer Science 2021-04-23 Dan Alexandrescu , Aneesh Balakrishnan , Thomas Lange , Maximilien Glorieux

The design of complex man-made systems mostly involves a conceptual modeling phase; therefore, it is important to ensure an appropriate analysis method for these models. A key concept for such analysis is the development of a diagramming…

Software Engineering · Computer Science 2022-05-17 Sabah Al-Fedaghi

Safety constraints are crucial to the development of mission-critical systems. The practice of developing software for systems of this type requires reliable methods for identifying and analysing project artefacts. This paper proposes a…

Logic in Computer Science · Computer Science 2020-05-15 Grygoriy Zholtkevych , Maksym Labzhaniia