Modeling Cyber–Physical Systems

This paper focuses on the challenges of modeling cyber-physical systems (CPSs) that arise from the intrinsic heterogeneity, concurrency, and sensitivity to timing of such systems. It uses a portion of an aircraft vehicle management system (VMS), specifically the fuel management subsystem, to illustrate the challenges, and then discusses technologies that at least partially address the challenges. Specific technologies described include hybrid system modeling and simulation, concurrent and heterogeneous models of computation, the use of domain-specific ontologies to enhance modularity, and the joint modeling of functionality and implementation architectures.

• Publication year

  2012

• Venue

  Proceedings of the IEEE

• Publication date

  2012-01-01

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1109/JPROC.2011.2160929
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Principles of Object-Oriented Modeling and Simulation with Modelica 3.3: A Cyber-Physical Approach

  2014influential reference
• I and J

  2012cited by this paper
• Disciplined heterogeneous modeling

  2010cited by this paper
• Modal Models in Ptolemy

  2010cited by this paper
• A Time-Centric Model for Cyber-Physical Applications

  2010cited by this paper
• Compositionality in Synchronous Data Flow: modular code generation from hierarchical SDF graphs

  2010cited by this paper
• Execution of UMLState Machines Using Modelica

  2010cited by this paper
• Classes and inheritance in actor-oriented design

  2009cited by this paper
• Metamodeling: An Emerging Representation Paradigm for System-Level Design

  2009cited by this paper
• Scalable Semantic Annotation Using Lattice-Based Ontologies

  2009cited by this paper
• Scalable Models Using Model Transformation

  2008cited by this paper
• CPO semantics of timed interactive actor networks

  2008cited by this paper
• Aircraft Systems: Mechanical, Electrical, and Avionics Subsystems Integration, Third Edition

  2008cited by this paper
• Cyber Physical Systems: Design Challenges

  2008cited by this paper
• Model Engineering using Multimodeling

  2008cited by this paper
• ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling

  2008cited by this paper
• Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems

  2007cited by this paper
• Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design

  2007cited by this paper
• A Programming Model for Time-Synchronized Distributed Real-Time Systems

  2007cited by this paper
• A simulation of aircraft fuel management system

  2007cited by this paper
• A framework for embedded system specification under different models of computation in SystemC

  2006cited by this paper
• Languages and Tools for Hybrid Systems Design

  2006cited by this paper
• A. and Q

  2006cited by this paper
• Knowledge, abilities, cognitive characteristics and behavioral competences of engineers with high capacity for engineering systems thinking (CEST)

  2006cited by this paper
• The problem with threads

  2006cited by this paper
• Tag machines

  2005cited by this paper
• FOR HETEROGENEOUS SYSTEM MODELING

  2005cited by this paper
• Design patterns for open tool integration

  2005cited by this paper
• Ranking and selecting terms for text categorization via SVM discriminate boundary

  2005cited by this paper
• Operational Semantics of Hybrid Systems

  2005cited by this paper
• UML vs. classical vs. rhapsody statecharts: not all models are created equal

  2005cited by this paper
• System modeling and transformational design refinement in ForSyDe [formal system design]

  2004cited by this paper
• A behavioral type system and its application in Ptolemy II

  2004cited by this paper
• Computer Automated Multi-Paradigm Modeling: An Introduction

  2004cited by this paper
• Γ and B

  2004influential reference
• Distributed process networks in Java

  2003cited by this paper
• Actor-Oriented Design of Embedded Hardware and Software Systems

  2003cited by this paper
• An end-to-end tool chain for multi-view modeling and analysis of avionics mission computing software

  2003cited by this paper
• Taming heterogeneity - the Ptolemy approach

  2003cited by this paper
• Model-Driven Development - From Object-Oriented Design to Actor-Oriented Design

  2003cited by this paper
• Metropolis: An Integrated Electronic System Design Environment

  2003cited by this paper
• Model-integrated development of embedded software

  2003cited by this paper
• The semantics and execution of a synchronous block-diagram language

  2003cited by this paper
• The Pragmatics of Model-Driven Development

  2003cited by this paper
• Modeling embedded systems and SoCs - concurrency and time in models of computation

  2003cited by this paper
• Compositional Modeling in Metropolis

  2002cited by this paper
• Convertibility verification and converter synthesis: two faces of the same coin [IP block interfaces]

  2002cited by this paper
• Overcoming heterophobia: modeling concurrency in heterogeneous systems

  2001cited by this paper
• Ptolemy: A Framework for Simulating and Prototyping Heterogenous Systems

  2001cited by this paper
• Theory of latency-insensitive design

  2001cited by this paper
• Metamodeling-rapid design and evolution of domain-specific modeling environments

  1999cited by this paper
• Interoperation of heterogeneous CAD tools in Ptolemy II

  1999cited by this paper
• Modeling concurrent real-time processes using discrete events

  1999cited by this paper
• The Unified Modeling Language User Guide

  1998cited by this paper
• A framework for comparing models of computation

  1998cited by this paper
• Model-Integrated Computing

  1997cited by this paper
• Design of embedded systems: formal models, validation, and synthesis

  1997cited by this paper
• Hardware-Software Co-Design of Embedded Systems

  1997cited by this paper
• Dataflow process networks

  1995cited by this paper
• A Comparison of Statecharts Variants

  1994cited by this paper
• A multimodel methodology for qualitative model engineering

  1992cited by this paper
• From Timed to Hybrid Systems

  1991cited by this paper
• Statecharts: A Visual Formalism for Complex Systems

  1987influential reference
• Structure and interpretation of computer programs

  1985cited by this paper
• and as an in

  year unknowncited by this paper

• FlowRepair: Search-based automated program repair of CPS controllers modeled in Simulink-Stateflow

  2026cites this paper
• Field disturbance observer enhances the false data injection attack detection accuracy in industrial cyber physical systems

  2026cites this paper
• Cognitive-Flexible Control via Latent Model Reorganization with Predictive Safety Guarantees

  2026cites this paper
• A Model-Free Stealthy Attack for Cyber-Physical Systems Based on Deep Reinforcement Learning

  2025cites this paper
• Enforcing Timing Requirements in Time-Sensitive Networks

  2025cites this paper
• Certified Neural Approximations of Nonlinear Dynamics

  2025cites this paper
• A Lightweight Wireless Sensor Protocol for Power and Computational Efficiency

  2025cites this paper
• Structure-Aware Reinforcement Learning for Optimal Transmission Scheduling Over Packet Length-Dependent Lossy Networks

  2025influential citation
• Methodology of Using CAx and Digital Twin Methods in the Development of a Multifunctional Portal Centre in Its Pre-Production Phase

  2025cites this paper
• Fast generation of quantum logic gate with Rydberg superatoms

  2025cites this paper
• Semantic Foundations for Precision Medicine

  2025cites this paper
• A Security Protection Scheme for Distributed State Estimation Based on Double-Watermarks

  2025cites this paper
• Test case specification techniques and system testing tools in the automotive industry: A review

  2025cites this paper
• Automated Concern Extraction from Textual Requirements of Cyber-Physical Systems: A Multi-solution Study

  2025cites this paper
• Experiences and challenges from a software ecosystem for cyber-physical systems development: An empirical study on industry-academia collaboration

  2025cites this paper
• Architectural Transformations and Emerging Verification Demands in AI-Enabled Cyber-Physical Systems

  2025cites this paper
• Property-Guided Cyber-Physical Reduction and Surrogation for Safety Analysis in Robotic Vehicles

  2025cites this paper
• Research on Typical Digital Twin Scenarios and Simulation Platforms in the Distribution IoT

  2025cites this paper
• High-Level Reconfigurable Embedded System Design Based on Heterogeneous Models of Computation

  2025cites this paper
• Foundation Models for Software Engineering of Cyber-Physical Systems: the Road Ahead

  2025cites this paper
• System-Level Timing Performance Estimation Based on a Unifying HW/SW Performance Metric

  2025cites this paper
• Defining and generating multi-level and uncertainty-wise test oracles for cyber-physical systems

  2025cites this paper
• Framework for circular AI-driven model-based systems engineering

  2025cites this paper
• Automated Repair of Cyber-Physical Systems

  2025cites this paper
• Refactoring with Confidence: An Assistant for Repair-Integrated Refactoring in Block-based Industrial Models

  2025cites this paper
• Representing Time-Continuous Behavior of Cyber-Physical Systems in Knowledge Graphs

  2025influential citation
• An industrial experience report on applying search-based boundary input generation to cyber-physical systems

  2025cites this paper
• Automatic Mapping of AutomationML Files to Ontologies for Graph Queries and Validation

  2025cites this paper
• Supporting Large-Scale Distributed Simulations Through the Topic-Based Data Distribution Management System

  2025cites this paper
• Arduino-Based Sensor System Prototype for Microclimate Monitoring of an Experimental Greenhouse

  2025cites this paper
• Modelling of Cyber-Physical Systems through Domain-Specific Languages: Decision, Analysis, Design

  2024influential citation
• Towards Leveraging the Concept of Influence to Enhance Collaborative Cyber-Physical Systems Development

  2024cites this paper
• Reliability-by-design for Digital Twins: Value Creation and Trust Throughout the Whole Lifecycle

  2024cites this paper
• A Two-Phase Algorithm for Reliable and Energy-Efficient Heterogeneous Embedded Systems

  2024cites this paper
• An architecture for model-based and intelligent automation in DevOps

  2024cites this paper
• Deep Reinforcement Learning-Based Multi-Layer Cascaded Resilient Recovery for Cyber-Physical Systems

  2024cites this paper
• Research on risk assessment model and simulation of online group polarization in emergencies

  2024cites this paper
• Towards Automating Model-Based Systems Engineering in Industry - An Experience Report

  2024cites this paper
• Enabling Service-Oriented Manufacturing Through Architectures, Models, and Protocols

  2024cites this paper
• Integrated management of safety and security barriers in chemical plants to cope with emerging cyber-physical attack risks under uncertainties

  2024cites this paper
• Modeling of Industrial Park Cyber-Physical Systems for Abnormal Event Load Control and Edge Node Self Organizing Function Migration Technology

  2024cites this paper
• A novel probabilistic modeling for multilateral random attacks in cyber‐physical system reliability analysis

  2024cites this paper
• Complexity Analysis of Industrial Scale Cyber Physical Systems

  2024cites this paper
• Experiences and challenges from developing cyber‐physical systems in industry‐academia collaboration

  2024cites this paper
• Model-free distributed integral sliding mode predictive control for multi-agent systems with communication delay

  2024cites this paper
• Distributed Supervision Strategies for Cyber-Physical Systems With Varying Network Topology

  2024cites this paper
• Cooperative Game-Based Digital Twin Drives Decision Making: Overall Framework, Basic Formalization and Application Case

  2024cites this paper
• A scoping review of In-the-loop paradigms in the energy sector focusing on software-in-the-loop

  2024cites this paper
• Designing Secure and Resilient Cyber-Physical Systems: A Model-Based Moving Target Defense Approach

  2024cites this paper
• Search-based Automated Program Repair of CPS Controllers Modeled in Simulink-Stateflow

  2024cites this paper
• Robust Saturated Stabilization With Measurement Errors: From a Chain of Integrators to Feedforward Systems

  2024cites this paper
• Agile digital machine development

  2024cites this paper
• Secure Control for Cyber-Physical System under Stealthy Attacks using Lifted System Model

  2024cites this paper
• Vulnerability analysis for a class of nonlinear cyber-physical systems under stealthy attacks

  2024cites this paper
• Contradictions Identification of Safety and Security Requirements for Industrial Cyber–Physical Systems

  2024cites this paper
• TapChecker: A Lightweight SMT-Based Conflict Analysis for Trigger-Action Programming

  2024cites this paper
• Hardware and Software Generation from Large Actor Machines in Streaming Applications

  2024cites this paper
• Heterogeneous System Modeling Using Timed- and Untimed-Based Models of Computation: A Case Study for Avionics Systems Domain

  2024cites this paper
• Power management via STL specifications of a DC microgrid integrating renewables and storage devices: a smart railway station case study

  2024cites this paper
• AIoTML: A Unified Modeling Language for AIoT-Based Cyber–Physical Systems

  2023cites this paper
• Impact of Open Communication Networks on Load Frequency Control with Plug-In Electric Vehicles By Cyber-Physical Dynamic Co-simulation

  2023cites this paper
• From UML/MARTE Specifications to ESL HW/SW Co-Design: Early Functional Verification and Timing Validation

  2023cites this paper
• Neural Abstractions

  2023cites this paper
• Design of Next-Generation Cyber-Physical Energy Management Systems: Monitoring to Mitigation

  2023cites this paper
• LightCTS: A Lightweight Framework for Correlated Time Series Forecasting

  2023cites this paper
• Machine Learning-based Intrusion Detection for Smart Grid Computing: A Survey

  2023cites this paper
• Survivability Analysis of IoT Systems Under Resource Exhausting Attacks

  2023cites this paper
• Automated Misconfiguration Repair of Configurable Cyber-Physical Systems with Search: an Industrial Case Study on Elevator Dispatching Algorithms

  2023cites this paper
• Petri nets-based digital twin drives dual-arm cooperative manipulation

  2023cites this paper
• FACT: A Domain-Specific Language Based on a Functional Algebra for Continuous Time Modeling

  2023cites this paper
• Observer-Based Self-Triggered Resilient Control for Multiagent Systems: A k-Connected Graph Construction Approach

  2023cites this paper
• Model-Unknown Spoofing Attack via False Data Injections

  2023cites this paper
• How Do Deep Learning Faults Affect AI-Enabled Cyber-Physical Systems in Operation? A Preliminary Study Based on DeepCrime Mutation Operators

  2023cites this paper
• Machine intelligence and medical cyber-physical system architectures for smart healthcare: Taxonomy, challenges, opportunities, and possible solutions

  2023cites this paper
• Nussbaum gain adaptive control for full‐state constrained cyber‐physical system under network attacks and actuator failures

  2023cites this paper
• Cyber-Physical Risk Assessment Framework for A Real-Life Automatic Generation Control Systems

  2023cites this paper
• A Novel Back-Propagation Neural Network for Intelligent Cyber-Physical Systems for Wireless Communications

  2023cites this paper
• A Hybrid Approach to Modeling of Cyber-Physical Distribution Grids Considering Packet Losses & Delays

  2023cites this paper
• Towards the Automatic Generation of Models for Prediction, Monitoring, and Testing of Cyber-Physical Systems

  2023cites this paper
• An Online Kullback–Leibler Divergence-Based Stealthy Attack Against Cyber-Physical Systems

  2023cites this paper
• Advancements in Industrial Cyber-Physical Systems: An Overview and Perspectives

  2023cites this paper
• Secure hierarchical fog computing-based architecture for industry 5.0 using an attribute-based encryption scheme

  2023cites this paper
• Developing Digital Twin for Transforming CNC Machine to Industry 4.0 for Remote Monitoring

  2023cites this paper
• Modeling and analysing Cyber-Physical Systems in HOL-CSP

  2023cites this paper
• Toward a conceptual framework for designing sustainable cyber-physical system architectures: A systematic mapping study

  2023cites this paper
• Data-Driven Bayesian Control of Port-Hamiltonian Systems

  2023cites this paper
• A data-driven framework for learning hybrid dynamical systems.

  2023cites this paper
• EMF-Syncer: scalable maintenance of view models over heterogeneous data-centric software systems at run time

  2023cites this paper
• Design of Stealthy Deception Attacks With Partial System Knowledge

  2023cites this paper
• Review on the key technologies of power grid cyber-physical systems simulation

  2023cites this paper
• Systems Engineering and Simulation: Towards a Unified Methodology for Developing Cyber-Physical Systems

  2023cites this paper
• Resource Choreography in Cyber-Physical-Social Systems: Representation, Modeling and Execution

  2023cites this paper
• A Topic-Based Data Distribution Management for HLA

  2023cites this paper
• Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper)

  2023cites this paper
• PhD thesis proposal - Contract-based approaches for control and monitoring of cyber-physical systems

  2023cites this paper
• Design of Privacy Mechanism for Cyber Physical Systems: A Nash Q-learning Approach

  2022cites this paper
• Sliding Mode Control Based on Disturbance Observer for Cyber-Physical Systems Security

  2022cites this paper
• Cyber-Physical Modeling of Intelligent Traffic Controllers Using Simulator for Urban Mobility (SUMO)

  2022cites this paper
• Modeling and Simulation of Cyber-Physical Systems using An Extensible Co-Simulation Framework

  2022cites this paper
• Gaussian Process Port-Hamiltonian Systems: Bayesian Learning with Physics Prior

  2022cites this paper