CPS foundations

This paper argues that cyber-physical systems present a substantial intellectual challenge that requires changes in both theories of computation and dynamical systems theory. The CPS problem is not the union of cyber and physical problems, but rather their intersection, and as such it demands models that embrace both. Two complementary approaches are identified: cyberizing the physical (CtP) means to endow physical subsystems with cyber-like abstractions and interfaces; and physicalizing the cyber (PtC) means to endow software and network components with abstractions and interfaces that represent their dynamics in time.

• Publication year

  2010

• Venue

  Design Automation Conference

• Publication date

  2010-06-13

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1145/1837274.1837462
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Computing needs time

  2009cited by this paper
• THE WHITE RABBIT PROJECT

  2009cited by this paper
• Time-Centric Models For Designing Embedded Cyber-physical Systems

  2009cited by this paper
• Real-Time Distributed Discrete-Event Execution with Fault Tolerance

  2008cited by this paper
• The worst-case execution-time problem—overview of methods and survey of tools

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

  2008cited by this paper
• Obstacles in Worst-Case Execution Time Analysis

  2008cited by this paper
• Simulation and Implementation of the PTIDES Programming Model

  2008cited by this paper
• Game-theoretic timing analysis

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

  2007cited by this paper
• Consensus and cooperation in networked multi-Agent systems

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

  2007cited by this paper
• Consensus and Cooperation in Networked Multi-Agent Systems

  2007cited by this paper
• The Case for the Precision Timed (PRET) Machine

  2007cited by this paper
• The problem with threads

  2006cited by this paper
• Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime

  2006cited by this paper
• Measurement, Control, and Communication Using IEEE 1588 (Advances in Industrial Control)

  2006cited by this paper
• Real-time interfaces for composing real-time systems

  2006cited by this paper
• Operational Semantics of Hybrid Systems

  2005cited by this paper
• Time synchronization in a local area network

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

  2003cited by this paper
• The time-triggered architecture

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

  2003cited by this paper
• IEEE-1588TM STANDARD FOR A PRECISION CLOCK SYNCHRONIZATION PROTOCOL FOR NETWORKED MEASUREMENT AND CONTROL SYSTEMS

  2003cited by this paper
• A CORBA-Based Middleware Solution for UAVs

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

  1999cited by this paper
• The design of the TAO real-time object request broker

  1998cited by this paper
• Discrete event systems: Modeling and performance analysis

  1994cited by this paper
• Synchronization and Linearity: An Algebra for Discrete Event Systems

  1994cited by this paper
• Verifying Hybrid Systems

  1992cited by this paper
• Control of Discrete Event Systems

  1992cited by this paper
• From Timed to Hybrid Systems

  1991cited by this paper
• Annotating Ada for Real-Time Program Synthesis

  1987cited by this paper
• Motivating Time as a First Class Entity

  1987cited by this paper
• Proceedings of the 5th Symposium on Operating Systems Design and Implementation Tag: a Tiny Aggregation Service for Ad-hoc Sensor Networks

  year unknowncited by this paper

• Commercial Cyber-Physical System Development Tool Chain Bug Detecting via Diversity-Guided Fuzzing Test

  2026cites this paper
• Misunderstand me correctly - comprehensibility in interdisciplinary collaboration

  2025cites this paper
• Time-Sensitive Networking in Low Latency Cyber-Physical Systems

  2025cites this paper
• How to “Measure” a Mirage: Assessing Inconsistency in Mechatronic and Cyber-Physical Development Projects

  2025cites this paper
• A theoretical framework for human-centric cyber-physical production systems in industry 5.0: Enabling resilient, autonomous, and adaptive manufacturing

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

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

  2025cites this paper
• Erfahrungsbasierte Bahnoptimierung von Montagerobotern mittels KI und Digitalen Zwillingen

  2025cites this paper
• Consistently Inconsistent: Ai-Analyzed Patterns in Inconsistency-Situations of Cyber-Physical Systems Development

  2025cites this paper
• Adaptive Attack-Resistant Protocol of Multi-Agent Systems for Consensus Tracking with Disturbance

  2025cites this paper
• Feedback stabilizability of cyber-physical systems for stochastic linear-quadratic control of sampled-data systems

  2025cites this paper
• Frost: A Simulation Platform for Early Validation and Testing of Manufacturing Software

  2025cites this paper
• Strategic Human Resource Development for Emerging Technologies: A Scoping Review in ICT, Robotics, Data Science, and CPS

  2025cites this paper
• Structuring Inconsistency Situations in Engineering of Cyber-Physical Systems - a Description Template Proposal

  2025cites this paper
• Localized Privacy Protection in a Cooperative LQG Control System with Multiple Sensors

  2024cites this paper
• Formal Foundations of Consistency in Model-Driven Development

  2024cites this paper
• Exploring Product Development of Cyber-Physical Systems in Startups: A Status Quo Study

  2024cites this paper
• MiniDAM: A Dam Cybersecurity Toolkit

  2024influential citation
• A scoping review of In-the-loop paradigms in the energy sector focusing on software-in-the-loop

  2024cites this paper
• Feedback Stabilization of Cyber-Physical Systems for Sampled-Data Control: Synthesizing the Cyber and the Physical With Closed-Loop Interactions

  2024influential citation
• Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems Engineering

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

  2024cites this paper
• Adaptive optimization strategy and evaluation of vehicle-road collaborative perception algorithm in real-time settings

  2024cites this paper
• Cyber-Physical Security Testbed for River Basin Gate Control System

  2023influential citation
• Ensure: Towards Reliable Control of Cyber-Physical Systems Under Uncertainty

  2023cites this paper
• Pretrain, Prompt, and Transfer: Evolving Digital Twins for Time-to-Event Analysis in Cyber-Physical Systems

  2023cites this paper
• Digital Process Twins as Intelligent Design Technology for Engineering Metaverse/XR Applications

  2023cites this paper
• Stabilization of cyber-physical systems: a foundational theory of computer-mediated control systems

  2023cites this paper
• A Survey on Cyber–Physical Systems Security

  2023cites this paper
• An Integrated Approach to Formal Analyze Cyber Physical Systems

  2022cites this paper
• Modeling and Real-Time Verification for CPS based on Time Automata

  2022cites this paper
• Model-Based Systems Engineering Tool-Chain for Automated Parameter Value Selection

  2022cites this paper
• Parallel Radars: From Digital Twins to Digital Intelligence for Smart Radar Systems

  2022cites this paper
• Cyber-Physical Systems as Key Element to Industry 4.0: Characteristics, Applications and Related Technologies

  2022cites this paper
• DESIRABLE WORLD WITH CPS AND IOT

  2022cites this paper
• Industry 4.0: What makes it a revolution? A historical framework to understand the phenomenon

  2022cites this paper
• A framework for prototyping Distributed Cyber-Physical Systems with reference nets

  2022cites this paper
• Bio‐Cyber‐Physical Systems: from concepts to human‐systems integration engineering

  2022cites this paper
• Plan B: Design Methodology for Cyber-Physical Systems Robust to Timing Failures

  2022cites this paper
• SoK: Demystifying Cyber Resilience Quantification in Cyber-Physical Systems

  2022cites this paper
• Digitalization in Industrial Logistics: Contemporary Evidence and Future Directions

  2021cites this paper
• Security control for two-time-scale cyber physical systems with multiple transmission channels under DoS attacks: The input-to-state stability

  2021cites this paper
• A resilient control strategy for networked multi-agent systems subject to covert attacks

  2021cites this paper
• Time in Cyber-Physical Systems Specifications, Modeling and Measurements

  2021cites this paper
• Design of a self-learning multi-agent framework for the adaptation of modular production systems

  2021cites this paper
• Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems

  2021cites this paper
• SMT-Based Consistency Checking of Configuration-Based Components Specifications

  2021cites this paper
• The Fourth Industrial Revolution and private commercial banks: the good, bad and ugly

  2021cites this paper
• Conceptual Use Cases for Integrating Artificial Intelligence in Cyber-Physical Twins

  2021cites this paper
• Cloud of Things Assimilation with Cyber Physical System: A Review

  2021cites this paper
• A GRL-compliant iStar extension for collaborative cyber-physical systems

  2021cites this paper
• Convergence of IoT and CPS in Robotics

  2021cites this paper
• Human modeling and interaction in cyber-physical systems: A reference framework

  2021cites this paper
• Smart Logistics – Conceptualization and Empirical Evidence

  2021cites this paper
• Enviable roles of manufacturing processes in sustainable fourth industrial revolution – A case study of mechatronics

  2021cites this paper
• ENGLISH LANGUAGE TEACHING IN THE INDONESIAN CONTEXT TOWARD EDUTECH 4.0

  2021cites this paper
• An Automated Approach for Execution Sequence-Driven Software and Physical Co-Design of Mechatronic Systems Based on Hybrid Functional Ontology

  2021cites this paper
• The Importance of Implementing Cyber Physical Systems to Acquire Real-Time Data and Indicators

  2021cites this paper
• A Generic DigitalTwin Model for Artificial Intelligence Applications

  2021cites this paper
• The challenges, approaches, and used techniques of CPS for manufacturing in Industry 4.0: a literature review

  2021cites this paper
• On Reasonable Inquiry and Analysis Domains of Sympérasmology

  2021cites this paper
• Impact of Manufacturing-as-a-Service: Business Model Adaption for Enterprises

  2021cites this paper
• Cyber-Physische Zwillinge

  2020cites this paper
• A Framework for the Extension of DEVS With Sensor Fusion Capabilities

  2020cites this paper
• Analysis and Identification of Possible Automation Approaches for Embedded Systems Design Flows

  2020cites this paper
• A constraint and risk-aware approach to attribute-based access control for cyber-physical systems

  2020cites this paper
• Cyber Physical System: Achievements and challenges

  2020cites this paper
• Towards a Verification-Driven Iterative Development of Cyber-Physical System

  2020cites this paper
• State-of-the-Art Analysis of the Usage and Potential of Automation in Logistics

  2020cites this paper
• Siemens' Customer Value Proposition for the Migration of Legacy Devices to Cyber-Physical Systems in Industrie 4.0

  2020cites this paper
• Development of a New KPI for the Economic Quantification of Six Big Losses and Its Implementation in a Cyber Physical System

  2020cites this paper
• 5G-oriented IOT coverage enhancement and physical education resource management

  2020cites this paper
• Dynamic and adaptive allocation of workers to integrate human factors into cyber production systems

  2020cites this paper
• Adoption of IR4.0 into Agricultural Sector in Malaysia: Potential and Challenges

  2020cites this paper
• The Paperless Factory: From Document Driven Factories to Model Driven Factories

  2020cites this paper
• A TRIZ-BASED METHOD FOR SMART PRODUCT DESIGN

  2020cites this paper
• The DigitalTwin from an Artificial Intelligence Perspective

  2020influential citation
• Cyber-physical twins - definition, conception and benefit

  2020cites this paper
• Towards Creation of Automated Prediction Systems for Trust and Dependability Evaluation

  2020cites this paper
• A survey of model-driven techniques and tools for cyber-physical systems

  2020cites this paper
• Human-cyber-physical systems: concepts, challenges, and research opportunities

  2020cites this paper
• Error-Robust Distributed Denial of Service Attack Detection Based on an Average Common Feature Extraction Technique

  2020cites this paper
• A novel simulation strategy for equation-based models of cyber-physical systems

  2019cites this paper
• Large and Infinite Mass–Spring–Damper Networks

  2019cites this paper
• Integration of Modeling Methods for Cyber-Physical Systems

  2019influential citation
• A Design of Encoding Arbitration and Interrupt Request for Dynamic Reconfigurable High-Speed Serial Bus in Cyber Physical System

  2019cites this paper
• Automation Approaches for Embedded Systems Design Flows Based on Formal Models of Computation Estratégias de Automação para Desenvolvimento de Projetos de Sistemas Embarcados Baseados em Modelos Formais de Computação

  2019influential citation
• Towards Design for Cyber-Physical Inspection

  2019cites this paper
• TuSoW: Tuple Spaces for Edge Computing

  2019influential citation
• Design and Implementation of a Cyber Physical Testbed for Security Training

  2019cites this paper
• Architecture of Cyber-Physical Systems Based on Cloud

  2019cites this paper
• Modeling Semantic Dependencies to Allow Flow Monitoring in Networks with Black-Box Nodes

  2019cites this paper
• AntesCollider: Control and Signal Processing in the Same Score

  2019cites this paper
• A Framework for Cyber-physical System Tool-chain Development: A Service-oriented and Model-based Systems Engineering Approach

  2019cites this paper
• Integration of Human Actors in IoT and CPS Landscape

  2019cites this paper
• Towards a Framework for Data Stream Processing in the Fog

  2019cites this paper
• Industry 4.0 as a data-driven paradigm: a systematic literature review on technologies

  2019cites this paper
• Optimization techniques for time-critical cyber-physical systems

  2019cites this paper
• Architecture trace diagrams for cyber-physical systems

  2019cites this paper
• Agricultural cyber-physical system enabled for remote management of solar-powered precision irrigation

  2019cites this paper