ASCEND
BY NTHRYS

NTHRYS › PhD Assistance › Digital Systems Embedded Computing

Digital Systems Embedded Computing

Field
▾
Category
▾

Digital Systems Embedded Computing

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Cyber Physical Systems Verification Methods

Development of formal verification and testing methodologies for systems combining discrete computation with continuous physical dynamics.

Formal Verification of Hybrid Discrete-Continuous Dynamics
Real-Time Safety Assurance in Autonomous Embedded Networks
Compositional Verification Across Heterogeneous Hardware-Software Boundaries
Temporal Logic Synthesis for Reactive Cyber-Physical Systems
Probabilistic Model Checking in Stochastic Embedded Control
Runtime Monitoring and Adaptive Verification for Evolving CPS
Verification Under Uncertainty in Sensor-Actuator Feedback Loops
Scalable Formal Methods for Distributed Embedded Coordination
Falsification-Driven Testing in Mixed-Signal CPS Design
Cyber-Physical Threat Modeling and Formal Security Verification

All Digital Systems & Embedded Computing PhD categories