B.C. van Huijgevoort
- Similarity quantification for linear stochastic systems: A coupling compensator approach
2020/07/17 by B.C. van Huijgevoort, van Huijgevoort, B. C., Sofie Haesaert +2 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · Engineering · #FOS: Electrical engineering #Formal Methods in Verification #Gene Regulatory Network Analysis #Petri Nets in System Modeling #Safety Systems Engineering in Autonomy #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering
- Specification-guided temporal logic control for stochastic systems: a multi-layered approach
2024/07/04 by B.C. van Huijgevoort, Ruohan Wang, van Huijgevoort, Birgit C. +5 · 1 citation
Computer Science · #FOS: Electrical engineering #Formal Methods in Verification #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering