{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:JOQHAD57KOHTXZRTSW6VHM57QC","short_pith_number":"pith:JOQHAD57","schema_version":"1.0","canonical_sha256":"4ba0700fbf538f3be63395bd53b3bf808a1bd62b7b7d6efb1f67fc3a22956ac3","source":{"kind":"arxiv","id":"2301.02784","version":1},"attestation_state":"computed","paper":{"title":"Active Fault Isolation for Discrete Event Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Feng Lin, Lin Cao, Shaolong Shu","submitted_at":"2023-01-07T05:40:34Z","abstract_excerpt":"In practice, we can not only disable some events, but also enforce the occurrence of some events prior to the occurrence of other events by external control. In this paper, we combine these two control mechanisms to synthesize a more powerful supervisor. Here our control goal is to design an isolation supervisor which ensures in the closed-loop system, faults are isolatable in the sense that after a fault occurs, we can determine which type the fault belongs to by observing the output of the closed-loop system. The isolation supervisor starts to work when the occurrence of faults is detected. "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2301.02784","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-01-07T05:40:34Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"f432bdc2d57da456c6c6bfe4938eeabb618a4b99a7bece2f4324f94174e15566","abstract_canon_sha256":"31aea20c039eb1a6f51f507f1632d417ee7f928bfd3b2accee3dcfd53a04d099"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:31:21.811482Z","signature_b64":"SRd2jStDJt6OBWm22NVuNefFhawhG0WGs6CCz5LIlZfTl2/RSfwcMsl4RcaZQPLLroQPpgvGzZrwAB2xNNQICw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4ba0700fbf538f3be63395bd53b3bf808a1bd62b7b7d6efb1f67fc3a22956ac3","last_reissued_at":"2026-07-05T05:31:21.811078Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:31:21.811078Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Active Fault Isolation for Discrete Event Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Feng Lin, Lin Cao, Shaolong Shu","submitted_at":"2023-01-07T05:40:34Z","abstract_excerpt":"In practice, we can not only disable some events, but also enforce the occurrence of some events prior to the occurrence of other events by external control. In this paper, we combine these two control mechanisms to synthesize a more powerful supervisor. Here our control goal is to design an isolation supervisor which ensures in the closed-loop system, faults are isolatable in the sense that after a fault occurs, we can determine which type the fault belongs to by observing the output of the closed-loop system. The isolation supervisor starts to work when the occurrence of faults is detected. "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2301.02784","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2301.02784/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2301.02784","created_at":"2026-07-05T05:31:21.811129+00:00"},{"alias_kind":"arxiv_version","alias_value":"2301.02784v1","created_at":"2026-07-05T05:31:21.811129+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2301.02784","created_at":"2026-07-05T05:31:21.811129+00:00"},{"alias_kind":"pith_short_12","alias_value":"JOQHAD57KOHT","created_at":"2026-07-05T05:31:21.811129+00:00"},{"alias_kind":"pith_short_16","alias_value":"JOQHAD57KOHTXZRT","created_at":"2026-07-05T05:31:21.811129+00:00"},{"alias_kind":"pith_short_8","alias_value":"JOQHAD57","created_at":"2026-07-05T05:31:21.811129+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/JOQHAD57KOHTXZRTSW6VHM57QC","json":"https://pith.science/pith/JOQHAD57KOHTXZRTSW6VHM57QC.json","graph_json":"https://pith.science/api/pith-number/JOQHAD57KOHTXZRTSW6VHM57QC/graph.json","events_json":"https://pith.science/api/pith-number/JOQHAD57KOHTXZRTSW6VHM57QC/events.json","paper":"https://pith.science/paper/JOQHAD57"},"agent_actions":{"view_html":"https://pith.science/pith/JOQHAD57KOHTXZRTSW6VHM57QC","download_json":"https://pith.science/pith/JOQHAD57KOHTXZRTSW6VHM57QC.json","view_paper":"https://pith.science/paper/JOQHAD57","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2301.02784&json=true","fetch_graph":"https://pith.science/api/pith-number/JOQHAD57KOHTXZRTSW6VHM57QC/graph.json","fetch_events":"https://pith.science/api/pith-number/JOQHAD57KOHTXZRTSW6VHM57QC/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JOQHAD57KOHTXZRTSW6VHM57QC/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JOQHAD57KOHTXZRTSW6VHM57QC/action/storage_attestation","attest_author":"https://pith.science/pith/JOQHAD57KOHTXZRTSW6VHM57QC/action/author_attestation","sign_citation":"https://pith.science/pith/JOQHAD57KOHTXZRTSW6VHM57QC/action/citation_signature","submit_replication":"https://pith.science/pith/JOQHAD57KOHTXZRTSW6VHM57QC/action/replication_record"}},"created_at":"2026-07-05T05:31:21.811129+00:00","updated_at":"2026-07-05T05:31:21.811129+00:00"}