All Stories

  1. Uncertainty Interaction in Software-Intensive Systems: A Community Roadmap
  2. Checkpointing and state transfer for industrial controller redundancy
  3. Introduction to the Special Issue on Control of Computing Systems
  4. Prescriptive watering: Data-driven optimization of water consumption in kiwifruit orchards
  5. An Adaptive Data-Enabled Policy Optimization Approach for Autonomous Bicycle Control
  6. Stability-Guaranteed Defense for Detecting Integrity Attacks on Cyber-Physical Systems
  7. Container Orchestration in Edge Computing with Fluctuating Green Energy: A Multi-armed Bandit Approach
  8. A Modified Adaptive Data-Enabled Policy Optimization Control to Resolve State Perturbations
  9. Conditions for Mean and First-Moment Stability of Positive Markov Jump Linear Systems with Time-Varying Subsystems
  10. Driving Closer to the Limit: Improved Virtual Racecar Drivers with Data-Driven Control
  11. A Field-Based Approach for Runtime Replanning in Swarm Robotics Missions
  12. Actors for Timing Analysis of Distributed Redundant Controllers
  13. Stochastic Scheduling for Human-Robot Collaboration in Dynamic Manufacturing Environments
  14. A Formal Definition of the Multi-Robot Multi-Task Time-extended Assignment Problem Configuration
  15. Resource Management for Stochastic Parallel Synchronous Tasks: Bandits to the Rescue
  16. dcGuard: A Holistic Approach for Detecting and Isolating Malicious Nodes in Cloud Data Centers
  17. Optimal reference tracking with arbitrary sampling
  18. Control Period Adaptation for Resource-Constrained MPC Applications
  19. FedSecure: A Privacy-Preserving Federated Learning Algorithm
  20. Nip it in the Bud: Job Acceptance Multi-Server
  21. Companion of the 16th ACM/SPEC International Conference on Performance Engineering
  22. Proceedings of the 16th ACM/SPEC International Conference on Performance Engineering
  23. Rule-Based Predictive Control for Battery Scheduling in Microgrids Under Power Generation and Load Uncertainties
  24. Fragmented Data-Driven Predictive Control: Towards smaller datasets
  25. An Improved Worst-Case Response Time Analysis for AVB Traffic in Time-Sensitive Networks
  26. A Privacy-Preserving Distributed Greedy Framework to Desynchronize Power Consumption in a Network of Thermostatically Controlled Loads
  27. Robust Online Epistemic Replanning of Multi-Robot Missions
  28. A Data-Driven Predictive Control Driver for Racing Car Simulation
  29. The computing continuum: From IoT to the cloud
  30. An Expert System for Managing the Render Farms in Cloud Data Centers
  31. Message from the General Chairs
  32. Message from the General Chairs: ACSOS-C 2024
  33. OPC UA PubSub and Industrial Controller Redundancy
  34. Towards High-Integrity Redundancy Role Leasing
  35. Efficiently bounding deadline miss probabilities of Markov chain real-time tasks
  36. A Direct Data-Driven Control Design for Autonomous Bicycles
  37. Risk-Aware Planning of Collaborative Mobile Robot Applications with Uncertain Task Durations
  38. Enhancing Sensor Attack Detection and Mitigating Sensor Compromise Impact in a Switching-Based Moving Target Defense
  39. Hybrid Moving Controller: Modified Hybrid Moving Target Defense with Stability Guarantees
  40. Beyond Von Neumann in the Computing Continuum: Architectures, Applications, and Future Directions
  41. Formal Verification of Consistency for Systems with Redundant Controllers
  42. Partible State Replication for Industrial Controller Redundancy
  43. TALESS: TSN With Legacy End-Stations Synchronization
  44. Multi-Criteria Optimization of Application Offloading in the Edge-to-Cloud Continuum
  45. CTA: A Correlation-Tolerant Analysis of the Deadline-Failure Probability of Dependent Tasks
  46. GLocal: A Hybrid Approach to the Multi-Agent Mission Re-Planning Problem
  47. Evaluating Dispatching and Scheduling Strategies for Firm Real-Time Jobs in Edge Computing
  48. Interplay of Human and AI Solvers on a Planning Problem
  49. Worst-Case Impact Assessment of Multi-Alarm Stealth Attacks Against Control Systems with CUSUM-Based Anomaly Detection
  50. On the Design and Performance of a Novel Metaheuristic Solver for the Extended Colored Traveling Salesman Problem
  51. Challenges in the Automated Disassembly Process of Electric Vehicle Battery Packs
  52. Consistency Before Availability: Network Reference Point based Failure Detection for Controller Redundancy
  53. Dependability and Security Aspects of Network-Centric Control
  54. Dispatching Deadline Constrained Jobs in Edge Computing Systems
  55. Introducing Guard Frames to Ensure Schedulability of All TSN Traffic Classes
  56. Resource Adaptation for Real-Time Containers Considering Quality of Control
  57. Towards a holistic approach to security validation of construction machinery through HIL systems
  58. Change-Point and Model Estimation with Heteroskedastic Noise and Unknown Model Structure
  59. Continuous-Emission Markov Models for Real-Time Applications: Bounding Deadline Miss Probabilities
  60. Scheduling Firm Real-time Applications on the Edge with Single-bit Execution Time Prediction
  61. The SPEC-RG Reference Architecture for The Compute Continuum
  62. Hierarchical Resource Orchestration Framework for Real-Time Containers
  63. The 30th Mediterranean Conference on Control and Automation [Conference Reports]
  64. A Scalable Heuristic for Mission Planning of Mobile Robot Teams
  65. Fault Tolerance in Cloud Manufacturing: An Overview
  66. On the Initialization Problem for Timed-Elastic Bands
  67. Optimizing Parallel Task Execution for Multi-Agent Mission Planning
  68. Optimal Reference Tracking for Sampled-Data Control Systems
  69. Analytical Approximations in Probabilistic Analysis of Real-Time Systems
  70. STRETCH: Virtual Shared-Nothing Parallelism for Scalable and Elastic Stream Processing
  71. Ethics of Autonomous Collective Decision-Making: The Caesar Framework
  72. Priority Based Ethernet Handling in Real-Time End System with Ethernet Controller Filtering
  73. GMP: A Genetic Mission Planner for Heterogeneous Multirobot System Applications
  74. On In-Vehicle Network Security Testing Methodologies in Construction Machinery
  75. TOLERANCER: A Fault Tolerance Approach for Cloud Manufacturing Environments
  76. The Effects of Clock Synchronization in TSN Networks with Legacy End-Stations
  77. Designing Self-Adaptive Software Systems with Control Theory: An Overview
  78. Kubernetes Orchestration of High Availability Distributed Control Systems
  79. On the Bar Installation Order for the Automated Fabrication of Rebar Cages
  80. Feedback-based resource management for multi-threaded applications
  81. Corrigendum: Task Roadmaps: Speeding Up Task Replanning
  82. Optimization-based attack against control systems with CUSUM-based anomaly detection
  83. HERMES: Heuristic Multi-queue Scheduler for TSN Time-Triggered Traffic with Zero Reception Jitter Capabilities
  84. Nodeguard: A Virtualized Introspection Security Approach for the Modern Cloud Data Center
  85. Task Roadmaps: Speeding up Task Replanning
  86. Automated fabrication of reinforcement cages using a robotized production cell
  87. Multi-processor scheduling of elastic applications in compositional real-time systems
  88. A Task Modelling Formalism for Industrial Mobile Robot Applications
  89. Toward Sustainable Serverless Computing
  90. Trajectory tracking and stabilisation of a riderless bicycle
  91. Installation Order in Automatic Fabrication of Reinforcement Rebar Cages
  92. LETRA: Mapping Legacy Ethernet-Based Traffic into TSN Traffic Classes
  93. REACT: Enabling Real-Time Container Orchestration
  94. Scheduling Elastic Applications in Compositional Real-Time Systems
  95. Self-adapting Industrial Augmented Reality Applications with Proactive Dynamic Software Product Lines
  96. ProDSPL
  97. Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns
  98. A systematic methodology to migrate complex real-time software systems to multi-core platforms
  99. Adaptive Runtime Estimate of Task Execution Times using Bayesian Modeling
  100. A Comparative Analysis and Design of Controllers for Autonomous Bicycles
  101. ProDSPL: Proactive self-adaptation based on Dynamic Software Product Lines
  102. Exploiting Parallelism in Multi-Task Robot Allocation Problems
  103. LOOPS: A Holistic Control Approach for Resource Management in Cloud Computing
  104. Cooperative Multi-agent Systems for the Multi-target $$\upkappa $$-Coverage Problem
  105. Heartbeat Bully: Failure Detection and Redundancy Role Selection for Network-Centric Controller
  106. Clock Synchronization in Integrated TSN-EtherCAT Networks
  107. Enabling Fog-based Industrial Robotics Systems
  108. IoT and Fog Analytics for Industrial Robot Applications
  109. Identification and Validation of Markov Models with Continuous Emission Distributions for Execution Times
  110. Situational Trust in Self-aware Collaborating Systems
  111. Packet priority assignment for wireless control systems of multiple physical systems
  112. Towards bridging the gap between control and self-adaptive system properties
  113. A Systematic Migration Methodology for Complex Real-time Software Systems
  114. Fog Computing for Augmented Reality: Trends, Challenges and Opportunities
  115. How control-friendly is a computing system? And how control-friendly could it be?
  116. A Genetic Algorithm Approach to Multi-Agent Mission Planning Problems
  117. Explicit Model-Based Real PID Tuning for Efficient Load Disturbance Rejection
  118. Work-in-Progress: Validation of Probabilistic Timing Models of a Periodic Task with Interference - A Case Study
  119. Concurrency Defect Localization in Embedded Systems using Static Code Analysis: An Evaluation
  120. DART: Dynamic Bandwidth Distribution Framework for Virtualized Software Defined Networks
  121. Classification of PROFINET I/O Configurations utilizing Neural Networks
  122. Towards Automated Installation of Reinforcement Using Industrial Robots
  123. Probabilistic Timing Analysis of a Periodic Task on a Microcontroller
  124. Towards Reactive Robot Applications in Dynamic Environments
  125. Towards a Framework for Safe and Secure Adaptive Collaborative Systems
  126. Packet Priority Assignment for Wireless Control Systems of multiple Physical Systems
  127. Fogification of industrial robotic systems
  128. A compositional modeling framework for the optimal energy management of a district network
  129. Extended Colored Traveling Salesperson for Modeling Multi-Agent Mission Planning Problems
  130. Methodological Principles for Reproducible Performance Evaluation in Cloud Computing
  131. TAMER: Task Allocation in Multi-robot Systems Through an Entity-Relationship Model
  132. Switched Control for Quantized Feedback Systems: Invariance and Limit Cycle Analysis
  133. Adaptive Autonomy in a Search and Rescue Scenario
  134. Work-in-Progress: Fog Computing for Adaptive Human-Robot Collaboration
  135. Challenges in High Performance Big Data Frameworks
  136. An Experimental Performance Evaluation of Autoscalers for Complex Workflows
  137. Progress Rate Control for Computer Applications
  138. A time-predictable fog-integrated cloud framework: One step forward in the deployment of a smart factory
  139. Hybrid Adaptive Checkpointing for Virtual Machine Fault Tolerance
  140. Engineering Self-Adaptive Software Systems
  141. FLOPSYNC-QACS
  142. Elasticity
  143. Management of Service Level Agreements for Cloud Services in IoT: A Systematic Mapping Study
  144. Power-aware cloud brownout: Response time and power consumption control
  145. FLOPSYNC-QACS: Quantization-aware clock synchronization for wireless sensor networks
  146. Automated control of multiple software goals using multiple actuators
  147. SLAs for Industrial IoT: Mind the Gap
  148. Modelling and Control of Big Data Frameworks * *This work was partially supported by the Swedish Foundation for Strategic Research under the project “Future factories in the cloud (FiC)” with grant number GMT14-0032.
  149. Performance Modeling of Stream Joins
  150. Comparing Model-Based Predictive Approaches to Self-Adaptation: CobRA and PLA
  151. Distributed Approach to the Holistic Resource Management of a Mobile Cloud Network
  152. KPI-Agnostic Control for Fine-Grained Vertical Elasticity
  153. Self-Adaptive Video Encoder: Comparison of Multiple Adaptation Strategies Made Simple
  154. Control Strategies for Self-Adaptive Software Systems
  155. An Experimental Performance Evaluation of Autoscaling Policies for Complex Workflows
  156. Self-adaptation for Individual Self-aware Computing Systems
  157. PEAS
  158. Model reduction of switched affine systems
  159. Control-based load-balancing techniques: Analysis and performance evaluation via a randomized optimization approach
  160. High-Precision Low-Power Wireless Nodes’ Synchronization via Decentralized Control
  161. Which Cloud Auto-Scaler Should I Use for my Application?
  162. Model predictive control for software systems with CobRA
  163. Reverse Flooding: Exploiting Radio Interference for Efficient Propagation Delay Compensation in WSN Clock Synchronization
  164. Virtual machine migration in cloud infrastructures: Problem formalization and policies proposal
  165. A control-theoretical approach to thread scheduling for multicore processors
  166. Event-Driven Application Brownout: Reconciling High Utilization and Low Tail Response Times
  167. Disturbance rejection in autotuners: An assessment method and a rule proposal
  168. Generation of human walking paths
  169. Software Engineering Meets Control Theory
  170. Hard real-time guarantees in feedback-based resource reservations
  171. Adaptive predictive control for software systems
  172. FLOPSYNC-2: Efficient Monotonic Clock Synchronisation
  173. Control-theoretical load-balancing for cloud applications with brownout
  174. Object-Oriented Modelling and Simulation of Air Flow in Data Centres Based on a Quasi-3D Approach for Energy Optimisation
  175. Improving Cloud Service Resilience Using Brownout-Aware Load-Balancing
  176. Automating efficiency-targeted approximations in modelling and simulation tools: dynamic decoupling and mixed-mode integration
  177. A dynamic modelling framework for control-based computing system design
  178. A model partitioning method based on dynamic decoupling for the efficient simulation of multibody systems
  179. A Comparative Evaluation of Human Motion Planning Policies
  180. Model reduction of switched affine systems
  181. Model separability indices for efficient dynamic simulation
  182. A general control-theoretical methodology for runtime resource allocation in computing systems
  183. Automatic partitioning and simulation of weakly coupled systems
  184. Generation of human walking paths
  185. Tuning of event-based industrial controllers with simple stability guarantees
  186. Control-Based Operating System Design
  187. Overpunishing is not necessary to fix cooperation in voluntary public goods games
  188. An Approach for Teaching Automatic Control in a Laboratory of Mechatronics
  189. Laboratories over the network: from remote to mobile
  190. Teaching a conscious use of PI/PID tuning rules
  191. Didactic approach to multivariable control using IEC 61131 model-based design and programmable logic controllers
  192. Comparison of Decision-Making Strategies for Self-Optimization in Autonomic Computing Systems
  193. On the Use of Feedback Control in the Design of Computing System Components
  194. A PI-based control structure as an operating system scheduler
  195. Antiwindup-aware PI autotuning
  196. Control and Design of Computing Systems: What to Model and How
  197. Function Inlining in Modelica Models
  198. General control-theoretical framework for online resource allocation in computing systems
  199. Comparative evaluation of recommender system quality
  200. Enhancing feedback process scheduling via a predictive control approach
  201. Looking for “Good” Recommendations: A Comparative Evaluation of Recommender Systems
  202. PI/PID autotuning with contextual model parametrisation
  203. PI(D) tuning with contextual model identification