3 papers
cs.RO2024
Formalizing Stateful Behavior Trees
Serena S. Serbinowska, Preston Robinette, Gabor Karsai +1
Behavior Trees (BTs) are high-level controllers that are useful in a variety of planning tasks and are gaining traction in robotic mission planning. As they gain popularity in safe…
eess.SY2024
On Simulation of Power Systems and Microgrid Components with SystemC-AMS
Rahul Bhadani, Satyaki Banik, Hao Tu +2
Cyber-physical systems such as microgrids consist of interconnected components, localized power systems, and distributed energy resources with clearly defined electrical boundaries…
eess.SY2024
Model-based Design Tool for Cyber-physical Power Systems using SystemC-AMS
Rahul Bhadani, Satyaki Banik, Hao Tu +2
Cyber-physical power systems, such as grids, integrate computational and communication components with physical systems to introduce novel functions and improve resilience and faul…