Verification and Control of Hybrid Systems
No description available.
MathematicsComputer scienceSystem theoryHybrid systemsComputer systemsVerificationDigital control systemsHybrid computersElectronic systemsMathematical Logic and Formal LanguagesModels and PrinciplesControl