All Stories

  1. An End-to-End Solution for Public Transit Stationing and Dispatch Problem
  2. Online Decision-Making Under Uncertainty for Vehicle-to-Building Systems
  3. PDPTW-DB: MILP-Based Offline Route Planning for PDPTW with Driver Breaks
  4. Introduction to the Special Issue on ICCPS 2023
  5. Designing a Human-centered AI Tool for Proactive Incident Detection using Crowdsourced Data Sources to Support Emergency Response
  6. HPRoP: Hierarchical Privacy-Preserving Route Planning for Smart Cities
  7. Scalable Pythagorean Mean based Incident Detection in Smart Transportation Systems
  8. Mobility-On-Demand Transportation: A System for Microtransit and Paratransit Operations
  9. Reinforcement Learning based Proactive Control for Enabling Power Grid Resilience to Wildfire
  10. Efficient Out-of-Distribution Detection Using Latent Space of β -VAE for Cyber-Physical Systems
  11. Spatio-temporal AI inference engine for estimating hard disk reliability
  12. Resilient Information Architecture Platform for the Smart Grid: A Novel Open-Source Platform for Microgrid Control
  13. Designing a decentralized fault-tolerant software framework for smart grids and its applications
  14. Blockchains for Transactive Energy Systems: Opportunities, Challenges, and Approaches
  15. URMILA: Dynamically trading-off fog and edge resources for performance and mobility-aware IoT services
  16. Online monitoring and control of a cyber-physical manufacturing process under uncertainty
  17. Cyber‐Physical Vulnerability Analysis of IoT Applications Using Multi‐Modeling
  18. Deep-Edge: An Efficient Framework for Deep Learning Model Update on Heterogeneous Edge
  19. Security in Mixed Time and Event Triggered Cyber-Physical Systems using Moving Target Defense
  20. Streaming computation algorithms for spatiotemporal micromobility service availability
  21. Workflow Automation for Cyber Physical System Development Processes
  22. A game-theoretic approach for power systems defense against dynamic cyber-attacks
  23. Route Planning Through Distributed Computing by Road Side Units
  24. CPS Design with Learning-Enabled Components
  25. Data-Driven Detection of Anomalies and Cascading Failures in Traffic Networks
  26. Introduction to the special issue of the 16th ACM workshop on Adaptive and Reflective Middleware (ARM)
  27. Enabling Strong Isolation for Distributed Real-Time Applications in Edge Computing Scenarios
  28. Device Access Abstractions for Resilient Information Architecture Platform for Smart Grid
  29. A Decentralized Approach for Real Time Anomaly Detection in Transportation Networks
  30. Mechanisms for Integrated Feature Normalization and Remaining Useful Life Estimation Using LSTMs Applied to Hard-Disks
  31. Message from the BITS 2019 General Chairs and TPC Chairs
  32. Mobilytics-Gym: A Simulation Framework for Analyzing Urban Mobility Decision Strategies
  33. Smart Transportation Delay and Resiliency Testbed Based on Information Flow of Things Middleware
  34. Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots
  35. DeepNNCar: A Testbed for Deploying and Testing Middleware Frameworks for Autonomous Robots
  36. Demo: Transactive Energy Application with RIAPS
  37. Message from the General Chairs
  38. On the Design of Fault- Tolerance in a Decentralized Software Platform for Power Systems
  39. Short Paper: Towards An Edge-Located Time-Series Database
  40. URMILA: A Performance and Mobility-Aware Fog/Edge Resource Management Middleware
  41. Cyber-physical simulation platform for security assessment of transactive energy systems
  42. Towards an Adaptive Multi-Modal Traffic Analytics Framework at the Edge
  43. Improving the dispatch response strategies for cities using predictive models and machine learning
  44. Consensus mechanisms and information security technologies
  45. Data-Driven Optimization of Public Transit Schedule
  46. A CPS toolchain for learning-based systems
  47. Incident management and analysis dashboard for fire departments
  48. Model-based design for CPS with learning-enabled components
  49. Supporting fog/edge-based cognitive assistance IoT services for the visually impaired
  50. Testing at scale of IoT blockchain applications
  51. Towards demand-oriented flexible rerouting of public transit under uncertainty
  52. VeriSolid: Correct-by-Design Smart Contracts for Ethereum
  53. TRANSAX: A Blockchain-Based Decentralized Forward-Trading Energy Exchanged for Transactive Microgrids
  54. Development of a Controller Hardware-in-the-Loop Platform for Microgrid Distributed Control Applications
  55. Introducing the new paradigm of Social Dispersed Computing: Applications, Technologies and Challenges
  56. On the Data-Driven Prediction of Arrival Times for Freight Trains on U.S. Railroads
  57. A Hardware-in-the-Loop Real-Time Testbed for Microgrid Hierarchical Control
  58. Distributed Microgrid Synchronization Strategy Using a Novel Information Architecture Platform
  59. CHARIOT
  60. SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities
  61. Automated aircraft separation safety assurance using Bayesian networks
  62. Real-Time Control of Cyber-Physical Manufacturing Process Under Uncertainty
  63. An Adaptive Interleaving Algorithm for Multi-Converter Systems
  64. Mobilytics- An Extensible, Modular and Resilient Mobility Platform
  65. Short-Term Transit Decision Support System Using Multi-task Deep Neural Networks
  66. Resilient Information Architecture Platform for Smart Systems (RIAPS): Case Study for Distributed Apparent Power Control
  67. Structured Summarization of Social Web for Smart Emergency Services by Uncertain Concept Graph
  68. Transit-hub: a smart public transportation decision support system with multi-timescale analytical services
  69. Vulnerability analysis of power systems based on cyber-attack and defense models
  70. Diagnosis in Cyber-Physical Systems with Fault Protection Assemblies
  71. DxNAT — Deep neural networks for explaining non-recurring traffic congestion
  72. Towards an architecture for evaluating and analyzing decentralized Fog applications
  73. DREMS-OS: An Operating System for Managed Distributed Real-Time Embedded Systems
  74. Heuristics-based approach for identifying critical N — k contingencies in power systems
  75. Implementation of a distributed microgrid controller on the Resilient Information Architecture Platform for Smart Systems (RIAPS)
  76. Incident analysis and prediction using clustering and Bayesian network
  77. Performance evaluation of smart systems under uncertainty
  78. Automated Uncertainty Quantification Through Information Fusion in Manufacturing Processes
  79. RIAPS: Resilient Information Architecture Platform for Decentralized Smart Systems
  80. Resilience at the edge in cyber-physical systems
  81. Short Paper: Towards Low-Cost Indoor Localization Using Edge Computing Resources
  82. SpeedPro: A Predictive Multi-Model Approach for Urban Traffic Speed Estimation
  83. Unsupervised Mechanisms for Optimizing On-Time Performance of Fixed Schedule Transit Vehicles
  84. A modeling framework to integrate exogenous tools for identifying critical components in power systems
  85. A simulation testbed for cascade analysis
  86. A Systematic Approach of Identifying Optimal Load Control Actions for Arresting Cascading Failures in Power Systems
  87. Indicator frameworks
  88. On the design of communication and transaction anonymity in blockchain-based transactive microgrids
  89. Optimal detection of faulty traffic sensors used in route planning
  90. PlaTIBART
  91. Providing privacy, safety, and security in IoT-based transactive energy systems using distributed ledgers
  92. Time synchronization services for low-cost fog computing applications
  93. Diagnostics and prognostics using temporal causal models for cyber physical energy systems
  94. Transactive energy demo with RIAPS platform
  95. The Role of Context and Resilient Middleware in Next Generation Smart Grids
  96. Achieving resilience in distributed software systems via self-reconfiguration
  97. DelayRadar: A multivariate predictive model for transit systems
  98. Demo Abstract: RIAPS — A Resilient Information Architecture Platform for Edge Computing
  99. Poster Abstract: A Distributed and Resilient Platform for City-Scale Smart Systems
  100. Computation and Communication Evaluation of an Authentication Mechanism for Time-Triggered Networked Control Systems
  101. Real-Time and Predictive Analytics for Smart Public Transportation Decision Support System
  102. Towards Reliability-Based Decision Making in Cyber-Physical Systems
  103. Towards a generic computation model for smart city platforms
  104. Poster Abstract: Distributed Reasoning for Diagnosing Cascading Outages in Cyber Physical Energy Systems
  105. WiP Abstract: Platform for Designing and Managing Resilient and Extensible CPS
  106. Designing a Resilient Deployment and Reconfiguration Infrastructure for Remotely Managed Cyber-Physical Systems
  107. CHARIOT: a domain specific language for extensible cyber-physical systems
  108. An improved distance relay model with directional element, and memory polarization for TCD based fault propagation studies
  109. DREMS ML: A wide spectrum architecture design language for distributed computing platforms
  110. Using temporal causal models to isolate failures in power system protection devices
  111. A component-based approach for modeling failure propagations in power systems
  112. A Rapid Testing Framework for a Mobile Cloud
  113. Establishing Secure Interactions across Distributed Applications in Satellite Clusters
  114. Using temporal causal models to isolate failures in Power System protection devices
  115. Performance evaluation of an authentication mechanism in time-triggered networked control systems
  116. A resilient and secure software platform and architecture for distributed spacecraft
  117. Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems
  118. Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems
  119. Analysis, verification, and management toolsuite for cyber-physical applications on time-varying networks
  120. Towards a resilient deployment and configuration infrastructure for fractionated spacecraft
  121. Software health management
  122. Deliberative, search-based mitigation strategies for model-based software health management
  123. F6COM: A component model for resource-constrained and dynamic space-based computing environments
  124. Generic modeling and analysis framework for shipboard system design
  125. Fault-Adaptivity in Hard Real-Time Component-Based Software Systems
  126. Reliable Distributed Real-Time and Embedded Systems through Safe Middleware Adaptation
  127. Architecting Health Management into Software Component Assemblies: Lessons Learned from the ARINC-653 Component Mode
  128. A software platform for fractionated spacecraft
  129. On state of the art in virtual machine security
  130. A Combined Model-Based and Data-Driven Prognostic Approach for Aircraft System Life Management
  131. Efficient Autoscaling in the Cloud Using Predictive Models for Workload Forecasting
  132. A component model for hard real-time systems: CCM with ARINC-653
  133. Autonomic Healing of Model-Based Systems
  134. Large Scale Monitoring and Online Analysis in a Distributed Virtualized Environment
  135. Model-based software health management for real-time systems
  136. A Capacity Planning Process for Performance Assurance of Component-based Distributed Systems
  137. Application of software health management techniques
  138. Distributed diagnosis of complex systems using timed failure propagation graph models
  139. Integrated Monitoring and Control for Performance Management of Distributed Enterprise Systems
  140. LQCD workflow execution framework: Models, provenance and fault-tolerance
  141. Middleware for Resource-Aware Deployment and Configuration of Fault-Tolerant Real-time Systems
  142. Dynamic Workflow Management and Monitoring Using DDS
  143. Enabling Self-Management by Using Model-Based Design Space Exploration
  144. A Real-Time Component Framework: Experience with CCM and ARINC-653
  145. Performance modeling of distributed multi-tier enterprise systems
  146. Algorithms for Synthesizing Safe Sets of Operation for Embedded Systems
  147. Modeling and Analysis of Probabilistic Timed Systems
  148. Using Runtime Verification to Design a Reliable Execution Framework for Scientific Workflows
  149. Compensating for Timing Jitter in Computing Systems with General-Purpose Operating Systems
  150. Scientific Computing Autonomic Reliability Framework
  151. Towards A Model-Based Autonomic Reliability Framework for Computing Clusters
  152. Model Predictive Analysis for AutonomicWorkflow Management in Large-scale Scientific Computing Environments
  153. Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems
  154. Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach
  155. GHOST: Guided Healing and Optimization Search Technique for Healing Large-Scale Embedded Systems
  156. Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems