Publications
354 total
No publications found.
Research Topics
Formal Methods in Verification
Petri Nets in System Modeling
Advanced Control Systems Optimization
Smart Grid Security and Resilience
Stability and Control of Uncertain Systems
Affiliations
University of California, Los Angeles
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.