ASCEND
BY NTHRYS

NTHRYS › PhD Assistance › Formal Methods

Formal Methods

Field
▾
Category
▾

Formal Methods

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Hybrid Systems Verification Methods

Formal techniques for analyzing systems combining continuous differential equations with discrete state transitions and mode switches.

Discrete-Continuous Abstraction Hierarchies in Hybrid Verification
Reachability Certification at Modal Discontinuities
Compositional Verification of Asynchronously Coupled Hybrid Subsystems
Neural Network Controllers in Formally Verified Hybrid Loops
Temporal Logic Specifications Across Hybrid State Space Boundaries
Incremental Verification Under Uncertain Switching Dynamics
Invariant Synthesis for Systems with Continuous Drift and Discrete Jumps
Bisimulation Metrics for Hybrid Automata with Stochastic Transitions
Safety Certificates Under Model Mismatch in Hybrid Plants
Decidability Frontiers in Linear Hybrid Systems with Restricted Guards

All Formal Methods PhD categories