Pith. sign in

REVIEW 2 cited by

CPS-LLM: Large Language Model based Safe Usage Plan Generator for Human-in-the-Loop Human-in-the-Plant Cyber-Physical System

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2405.11458 v1 pith:PAJSZX3G submitted 2024-05-19 cs.AI cs.SYeess.SY

classification cs.AIcs.SYeess.SY
keywords cps-llmplanplanssystemcoefficientsmodelphysicalsafe
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

We explore the usage of large language models (LLM) in human-in-the-loop human-in-the-plant cyber-physical systems (CPS) to translate a high-level prompt into a personalized plan of actions, and subsequently convert that plan into a grounded inference of sequential decision-making automated by a real-world CPS controller to achieve a control goal. We show that it is relatively straightforward to contextualize an LLM so it can generate domain-specific plans. However, these plans may be infeasible for the physical system to execute or the plan may be unsafe for human users. To address this, we propose CPS-LLM, an LLM retrained using an instruction tuning framework, which ensures that generated plans not only align with the physical system dynamics of the CPS but are also safe for human users. The CPS-LLM consists of two innovative components: a) a liquid time constant neural network-based physical dynamics coefficient estimator that can derive coefficients of dynamical models with some unmeasured state variables; b) the model coefficients are then used to train an LLM with prompts embodied with traces from the dynamical system and the corresponding model coefficients. We show that when the CPS-LLM is integrated with a contextualized chatbot such as BARD it can generate feasible and safe plans to manage external events such as meals for automated insulin delivery systems used by Type 1 Diabetes subjects.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Generating customized prompts for Zero-Shot Rare Event Medical Image Classification using LLM

    cs.CV 2025-01 reject novelty 3.0 of 10

    CuKPL converts medical images into text descriptions of expert-defined features and asks GPT-4o to classify them as seizure onset zone or not, claiming zero-shot performance that is actually worse than supervised deep...

  2. STORM: Strategic Orchestration of Modalities for Rare Event Classification

    cs.CV 2024-12 conditional novelty 3.0 of 10

    STORM uses entropy imbalance and decision-tree logic to select informative modalities for rare-event classification, and reports that temporal expert features do not help SOZ detection.

Pith tools