State feedback control of condition/event systems

From MaRDI portal