All Stories

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