Publication | Closed Access

Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study

EngineeringCyber MonitoringVerificationAutomationComputer EngineeringSystems EngineeringResilient Control SystemControl System SecurityDistributed SystemsCritical ComputingCps SecurityFormal VerificationControl SystemsDistributed Cyber-physical SystemsMultirate Pals