NTHRYS › PhD Assistance › Embedded Systems

Embedded Systems

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Real-Time Control Loop Analysis Framework

Formal methods and tools for analyzing stability, responsiveness, and safety properties of embedded control systems under worst-case scenarios.