Wolf Kohn

Boeing (United States), Behavioral Tech Research, Inc.

Papers

Total Citations

H-Index

About

Wolf Kohn is a pioneer in the formal design and control of complex, intelligent systems, with foundational contributions spanning hierarchical control, declarative architectures, and hybrid systems. His seminal 1988 paper on *Hierarchical control systems for autonomous space robots* (24 citations) introduced a groundbreaking design procedure using locally finite topological automata and a factorization algorithm, enabling the decomposition of complex control tasks for autonomous agents. Building on this, his 1991 work on *Declarative control architecture* (23 citations) advanced the use of formal methods and theorem provers to derive provably correct implementations from high-level specifications—a key step toward verifiable autonomous systems. Kohn also contributed to the modeling and simulation of hybrid systems (1994), addressing interoperability challenges in distributed simulation environments like synthetic theaters of war. His research bridges theoretical computer science, control theory, and robotics, offering rigorous frameworks for building reliable, autonomous systems. With over 20 years of influence, Kohn’s work remains essential reading for researchers in formal methods, robotics, and hybrid systems engineering.