research
∙
05/28/2023
Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper)
Elevator systems are one kind of Cyber-Physical Systems (CPSs), and as s...
research
∙
01/04/2023
Automated Misconfiguration Repair of Configurable Cyber-Physical Systems with Search: an Industrial Case Study on Elevator Dispatching Algorithms
Real-world Cyber-Physical Systems (CPSs) are usually configurable. Throu...
research
∙
01/14/2021