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…
Public and private blockchain for decentralized digital building twins and building automation system
Reachsak Ly, Alireza Shojaei
The communication protocols and data transfer mechanisms employed by IoT devices in smart buildings and corresponding digital twin systems predominantly rely on centralized archite…
Autonomous Building Cyber-Physical Systems Using Decentralized Autonomous Organizations, Digital Twins, and Large Language Model
Reachsak Ly, Alireza Shojaei
Current autonomous building research primarily focuses on energy efficiency and automation. While traditional artificial intelligence has advanced autonomous building research, it…