Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty.
Qi Heng HoRoland B. IlyesZachary SunbergMorteza LahijanianPublished in: HSCC (2023)
Keyphrases
- complex systems
- dynamic systems
- robust optimization
- multi agent systems
- manufacturing systems
- discrete event systems
- biological systems
- steady state simulation
- computational systems
- physical systems
- mathematical models
- technical systems
- industrial systems
- expert systems
- biologically inspired
- decision making
- information technology
- complex adaptive systems
- emergent behavior
- cooperative