"Verification and Control of Hybrid Systems: A Symbolic Approach" - читать интересную книгу автора (Paulo Tabuada)