
Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study
Keywords: سیستم هیبریدی; Multirate PALS; Cyber-physical systems; Real-Time Maude; Model checking; Hybrid systems;