Mark-Oliver Stehr
Papers
5
Total Citations
100
H-Index
5
About
Mark-Oliver Stehr is a leading researcher in the field of networked cyber-physical systems (NCPSs), with a focus on the intersection of distributed computing, formal logic, and adaptive wireless networks. His major contributions center on developing declarative control frameworks that enable loosely coupled, heterogeneous nodes to autonomously coordinate while maintaining tight integration with the physical world. Stehr’s foundational work, including his most-cited paper “An Application Framework for Loosely Coupled Networked Cyber-Physical Systems” (35 citations), addresses the architectural and implementation challenges of NCPSs. He further advanced the field with “Toward Distributed Declarative Control of Networked Cyber-Physical Systems” (31 citations) and a series of papers on a distributed logic for NCPSs (totaling 25 citations), which provide a formal basis for reasoning about these complex systems. His research on adaptive wireless networks as declarative fractionated systems (9 citations) demonstrates the practical application of his theories. Stehr’s work is notable for bridging theoretical logic with real-world engineering, offering a principled approach to the design of resilient, autonomous cyber-physical systems.
Research Focus
Key Achievements
Top Papers
- 1
- 2Toward Distributed Declarative Control of Networked Cyber-Physical Systems31 citations · 2010
- 3A distributed logic for Networked Cyber-Physical Systems13 citations · 2013
- 4A Distributed Logic for Networked Cyber-Physical Systems12 citations · 2012
- 5