8 papers
SmartHomeSecure: Automated Detection and Repair of Smart Home Configuration Errors Using Large Language Models
Yizhi Wang, Xinghua Gao, Reachsak Ly +1
Smart home automation platforms increasingly rely on user-authored YAML configuration files to define device behaviors, but these files are prone to syntax, formatting, and semanti…
What Actually Works for Spacecraft Fault-Tolerant Control: An Honest Settled-Gate Benchmark of Learned and Classical Methods
Alireza Shojaei
Recent learned fault-tolerant-control (FTC) work reports high success on spacecraft actuator faults, but often in simulation, on narrow fault sets, and with transient metrics that…
Conformal Recovery-Deadline Certificates for Runtime Assurance of Adapting Controllers
Alireza Shojaei
Runtime assurance (RTA) protects a safety-critical system by switching from an advanced controller to a verified safe controller when a monitored condition is violated. The standar…
Reliability-Asymmetric Spacecraft Autonomy: Co-Designing a Capable Learned GNC Stack with a Verified, Adaptation-Aware Runtime Shield
Alireza Shojaei
Deep-space missions need onboard autonomy that is both capable and certifiable. Rule-based autonomy is certifiable but brittle, while learned autonomy is capable but hard to verify…
Decentralized autonomous organization and blockchain-based incentivization framework for community-based facilities management
Reachsak Ly, Alireza Shojaei, Xinghua Gao +2
Traditional facility management often relies on centralized decision-making structures that limit stakeholder participation, leading to misalignment with occupant needs and reduced…
Data-driven and distributed governance of building facilities management using decentralized autonomous organization, digital twin, and large language models
Reachsak Ly, Alireza Shojaei, Xinghua Gao +2
While traditional AI and data-driven facilities management approaches have improved building operational efficiency, they remain constrained by centralized organizational structure…