1 citations · 2 across the 11 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2026
NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations
Shih-Jie Shih, Jonghan Lim, Ilya Kovalenko +1
Supervisory control of discrete-event systems provides formal guarantees of correctness with respect to a plant model and specification. However, these guarantees heavily rely on t…
eess.SY2023
A System-Level Energy-Efficient Digital Twin Framework for Runtime Control of Batch Manufacturing Processes
Hongliang Li, Herschel C. Pangborn, Ilya Kovalenko
The manufacturing sector has a substantial influence on worldwide energy consumption. Therefore, improving manufacturing system energy efficiency is becoming increasingly important…