All Stories

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