9 citations · 15 across the 3 of their papers we have counts for
3 papers
Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
Parv Kapoor, Eunsuk Kang, Romulo Meira-Goes
Trajectory planning is a critical process that enables autonomous systems to safely navigate complex environments. Signal temporal logic (STL) specifications are an effective way t…
Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening
Simon Chu, Emma Shedden, Changjian Zhang +4
The feature interaction problem occurs when two or more independently developed components interact with each other in unanticipated ways, resulting in undesirable system behaviors…
Using Subobservers to Synthesize Opacity-Enforcing Supervisors
Richard Hugh Moulton, Behnam Behinaein Hamgini, Zahra Abedi Khouzani +3
In discrete-event system control, the worst-case time complexity for computing a system's observer is exponential in the number of that system's states. This results in practical d…