Sasinee Pruekprasert

Papers

Total Citations

H-Index

About

Sasinee Pruekprasert is a researcher specializing in formal methods for control systems, with a particular focus on symbolic control, self-triggered control synthesis, and formal verification of nonlinear dynamical systems. Her most notable work proposes innovative procedures for synthesizing self-triggered controllers for continuous-time non-deterministic nonlinear systems, a technically challenging domain that traditionally requires restrictive stability assumptions. By removing these assumptions, her research significantly broadens the applicability of formal controller synthesis to more realistic and complex system models. Her approach leverages fragments of Linear Temporal Logic (LTL) to encode dual control objectives, enabling rigorous, mathematically grounded guarantees on system behavior — a contribution of considerable importance to both the control theory and formal verification communities. Although her publication record is still developing, with her cited work accumulating citations that reflect an emerging but growing recognition in the field, her research addresses a fundamental gap between theoretical control frameworks and practical implementation challenges. Students and researchers working at the intersection of cyber-physical systems, automated verification, and robust control will find her contributions particularly relevant to advancing provably correct controller design methodologies.