Verification and Control of Hybrid Systems

Verification and Control of Hybrid Systems
Details
- OL Work ID
- OL16932057W
Subjects
MathematicsComputer scienceSystem theoryHybrid systemsComputer systemsVerificationDigital control systemsHybrid computersElectronic systemsMathematical Logic and Formal LanguagesModels and PrinciplesControlControl Systems Theory