3 papers
cs.PL2026
Stream-based Online and Offline Monitoring under Measurement Noise
Bernd Finkbeiner, Martin Fränzle, Florian Kohn +1
Stream-based monitoring is a runtime verification approach for cyber-physical systems that translates streams of input data, such as sensor readings, into streams of aggregate stat…
eess.SY2026
Overload-Based Cascades in Multiplex Flow Networks with Partial Functionality
Orkun Ä°rsoy, Osman YaÄan
Cascading failures driven by load or flow redistribution arise in networked systems such as power grids, supply chains, and cloud computing centers. Most flow-network models assume…
eess.SY2025
Analysis and Optimization of Robustness in Multiplex Flow Networks Against Cascading Failures
Orkun Ä°rsoy, Osman YaÄan
Networked systems are susceptible to cascading failures, where the failure of an initial set of nodes propagates through the network, often leading to system-wide failures. In this…