{"as_of":"2026-08-20T00:39:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:edfd3abe16af5d16aff60bd7b15f6dde60893636b20a66f37ce4fc7a08c00d36","coverage":[{"denominator":28,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":28,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T23:57:07.269091Z","state":"measured"},{"denominator":29,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":29,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-13T18:06:46.465416Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-13T18:08:15.366132Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.03612","last_updated":"2025-05-06T15:10:29Z","snapshot_observed_at":"2026-08-16T08:42:10.709109Z","submitted_at":"2025-05-06T15:10:29Z","title":"Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees","version":1},"cited_work":{"arxiv_id":"2505.03612","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2505.03612","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Backstepping reach-avoid con- troller synthesis for multi-input multi-output systems with mixed relative degrees","venue":null,"work_id":"7fc481f2-c21e-4d20-8c8b-0f63b4af2545","year":2025},"citing_paper":{"arxiv_id":"2604.03407","last_updated":"2026-04-03T19:09:42Z","snapshot_observed_at":"2026-08-11T13:49:11.906353Z","submitted_at":"2026-04-03T19:09:42Z","title":"Reach-Avoid Model Predictive Control with Guaranteed Recursive Feasibility via Input Constrained Backstepping","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-13T18:06:46.465416Z"},"links":{"cited_paper":"/paper/2505.03612","citing_paper":"/paper/2604.03407"},"observation_digest":"sha256:52b9cd1048bd5bf68b60c25600dda285bb33ff9b28562df60741673019902c1a","observation_id":"8fe00045-123f-4dc0-8686-8a9d83275468","resolution":{"observed_at":"2026-05-13T18:08:15.367612Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2505.03612/citation-record","integrity":"/paper/2505.03612/integrity","json":"/paper/2505.03612/citation-record.json","paper":"/paper/2505.03612"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:57:07.757084Z","title":"Robust control barrier–value functions for safety-critical control,","venue":null,"work_id":"3149ae19-5ca6-4e7e-9463-131e3384038d","year":2021},"citing_paper":{"arxiv_id":"2505.03612","last_updated":"2025-05-06T15:10:29Z","snapshot_observed_at":"2026-08-16T08:42:10.709109Z","submitted_at":"2025-05-06T15:10:29Z","title":"Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T23:57:07.151427Z"},"links":{"citing_paper":"/paper/2505.03612"},"observation_digest":"sha256:98bcba99ca680b07cf1c8832cb2198778f4fcfaafc9068a790dd313980a161b3","observation_id":"48799418-7793-40bf-93fe-6642f95e9bbb","resolution":{"observed_at":"2026-08-15T23:57:07.764046Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:57:07.156295Z","title":"Control barrier function based quadratic programs for safety critical systems,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2505.03612","last_updated":"2025-05-06T15:10:29Z","snapshot_observed_at":"2026-08-16T08:42:10.709109Z","submitted_at":"2025-05-06T15:10:29Z","title":"Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T23:57:07.156295Z"},"links":{"citing_paper":"/paper/2505.03612"},"observation_digest":"sha256:4ece0d3fe8b7f1b0630993b889128e9fbcc52b02c2003237f964279f89fd46b9","observation_id":"b9bd1c54-9337-4208-b0c9-36c38401ad21","resolution":{"observed_at":"2026-08-15T23:57:07.156295Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:57:07.160786Z","title":"Control barrier functions: Theory and applications,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2505.03612","last_updated":"2025-05-06T15:10:29Z","snapshot_observed_at":"2026-08-16T08:42:10.709109Z","submitted_at":"2025-05-06T15:10:29Z","title":"Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-15T23:57:07.160786Z"},"links":{"citing_paper":"/paper/2505.03612"},"observation_digest":"sha256:f9c6f80f0a1a46e22d222dda3d66f279a0e7713c57596806de7909ed570390a3","observation_id":"3272ec16-aa91-44e2-8d40-8ae8eaa3a9c1","resolution":{"observed_at":"2026-08-15T23:57:07.160786Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:57:07.725873Z","title":"Robust safety-critical control for dy- namic robotics,","venue":null,"work_id":"6cd67ca8-3e00-4a13-8ed7-3e540078e0f2","year":2021},"citing_paper":{"arxiv_id":"2505.03612","last_updated":"2025-05-06T15:10:29Z","snapshot_observed_at":"2026-08-16T08:42:10.709109Z","submitted_at":"2025-05-06T15:10:29Z","title":"Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-15T23:57:07.165268Z"},"links":{"citing_paper":"/paper/2505.03612"},"observation_digest":"sha256:714dfc230197954c721dc6c17639532abced8357a4561da76a9705c32e8ddf51","observation_id":"deeec189-171d-4320-89b0-d1437f046349","resolution":{"observed_at":"2026-08-15T23:57:07.730120Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:57:07.712321Z","title":"Robust and safe coordination of multiple robotic manipulators: An approach using modified avoidance functions,","venue":null,"work_id":"be01d3b7-4100-4c66-a2f9-a12003778bc0","year":2018},"citing_paper":{"arxiv_id":"2505.03612","last_updated":"2025-05-06T15:10:29Z","snapshot_observed_at":"2026-08-16T08:42:10.709109Z","submitted_at":"2025-05-06T15:10:29Z","title":"Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T23:57:07.169828Z"},"links":{"citing_paper":"/paper/2505.03612"},"observation_digest":"sha256:e9582a2f2c9b5e290cd468fa084a5ef726fd5fb0e481b2e6862119d1ad6ae7ff","observation_id":"17143c48-d6d8-483e-9b33-92a3371a47dc","resolution":{"observed_at":"2026-08-15T23:57:07.716725Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:57:07.174055Z","title":"Data-driven safety filters: Hamilton-jacobi reachability, control barrier functions, and predictive methods for uncertain systems,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.03612","last_updated":"2025-05-06T15:10:29Z","snapshot_observed_at":"2026-08-16T08:42:10.709109Z","submitted_at":"2025-05-06T15:10:29Z","title":"Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T23:57:07.174055Z"},"links":{"citing_paper":"/paper/2505.03612"},"observation_digest":"sha256:2c7dd0bb820f33372b8c36a95bd6a9ed03f1305a93c4af15c0715a1ad3ace12e","observation_id":"bb31791a-1f7f-4066-bf3e-b6afde29471d","resolution":{"observed_at":"2026-08-15T23:57:07.174055Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:57:07.178736Z","title":"Safety-critical model predictive control with discrete-time control barrier function,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.03612","last_updated":"2025-05-06T15:10:29Z","snapshot_observed_at":"2026-08-16T08:42:10.709109Z","submitted_at":"2025-05-06T15:10:29Z","title":"Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-15T23:57:07.178736Z"},"links":{"citing_paper":"/paper/2505.03612"},"observation_digest":"sha256:64660e2dfaf004025d9b41287f7ea8d6f5ea6b0c74599a0362ff75baec9b5c77","observation_id":"c0a88421-e05b-4bef-92fe-af66a53e1875","resolution":{"observed_at":"2026-08-15T23:57:07.178736Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:57:07.680616Z","title":"Safe-by-construction autonomous vehicle overtaking using control barrier functions and model predictive control,","venue":null,"work_id":"56104479-8b03-42d9-b2de-9d4d97e55c4b","year":2024},"citing_paper":{"arxiv_id":"2505.03612","last_updated":"2025-05-06T15:10:29Z","snapshot_observed_at":"2026-08-16T08:42:10.709109Z","submitted_at":"2025-05-06T15:10:29Z","title":"Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T23:57:07.182670Z"},"links":{"citing_paper":"/paper/2505.03612"},"observation_digest":"sha256:641866644e70a32e35a12632c36770d5e2881f9de1c46856225cb2084d6fc6a4","observation_id":"c60e807d-9618-4f20-93dd-1212f14799fc","resolution":{"observed_at":"2026-08-15T23:57:07.685067Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:57:07.665771Z","title":"Efficient sum of squares-based verification and construction of control barrier functions by sampling on algebraic varieties,","venue":null,"work_id":"8c01f084-0415-4465-80ac-b8d52b883146","year":2023},"citing_paper":{"arxiv_id":"2505.03612","last_updated":"2025-05-06T15:10:29Z","snapshot_observed_at":"2026-08-16T08:42:10.709109Z","submitted_at":"2025-05-06T15:10:29Z","title":"Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-15T23:57:07.187134Z"},"links":{"citing_paper":"/paper/2505.03612"},"observation_digest":"sha256:3d7747ceeb1f0f2159d88f6e49a80b23c67cfbbace1615560fa7926fa921c025","observation_id":"9575323f-f959-4762-ab64-a36308fa32f3","resolution":{"observed_at":"2026-08-15T23:57:07.670576Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:57:07.651813Z","title":"Hamilton-jacobi reachability: A brief overview and recent advances,","venue":null,"work_id":"c2444757-8cde-4c78-80fa-6e2fef1d7fbe","year":2017},"citing_paper":{"arxiv_id":"2505.03612","last_updated":"2025-05-06T15:10:29Z","snapshot_observed_at":"2026-08-16T08:42:10.709109Z","submitted_at":"2025-05-06T15:10:29Z","title":"Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-15T23:57:07.191270Z"},"links":{"citing_paper":"/paper/2505.03612"},"observation_digest":"sha256:66a3df0de7cc85c4a98118970ae04ca559e03528ab8b4afc5543a462353700b3","observation_id":"a261a1b2-94a4-44e6-9fae-2593ee458942","resolution":{"observed_at":"2026-08-15T23:57:07.656325Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:57:07.195468Z","title":"Distributionally robust control synthesis for stochastic systems with safety and reach-avoid specifi- cations,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.03612","last_updated":"2025-05-06T15:10:29Z","snapshot_observed_at":"2026-08-16T08:42:10.709109Z","submitted_at":"2025-05-06T15:10:29Z","title":"Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-15T23:57:07.195468Z"},"links":{"citing_paper":"/paper/2505.03612"},"observation_digest":"sha256:1096c21d708b0ebddeaacdaa9872f3aea86c81dbee05ba25b4894ddb1a104b35","observation_id":"89b87837-0e43-4349-86cf-261fb171ac3a","resolution":{"observed_at":"2026-08-15T23:57:07.195468Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:57:07.636610Z","title":"Vaidyanathan and A","venue":null,"work_id":"87594e92-bfa8-42b5-8b9c-7f4ded58b2d3","year":2020},"citing_paper":{"arxiv_id":"2505.03612","last_updated":"2025-05-06T15:10:29Z","snapshot_observed_at":"2026-08-16T08:42:10.709109Z","submitted_at":"2025-05-06T15:10:29Z","title":"Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-15T23:57:07.200573Z"},"links":{"citing_paper":"/paper/2505.03612"},"observation_digest":"sha256:4d56b4e948a4ce454dbba323cc881d299ec3e8c649a5ca4df0eae2212da32f2e","observation_id":"0ee2bfd2-08f7-4d02-abaa-eed6976b4746","resolution":{"observed_at":"2026-08-15T23:57:07.641604Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:57:07.621664Z","title":"Safe backstep- ping with control barrier functions,","venue":null,"work_id":"f9f58283-2c05-4fa6-b837-44c88b1368a8","year":2022},"citing_paper":{"arxiv_id":"2505.03612","last_updated":"2025-05-06T15:10:29Z","snapshot_observed_at":"2026-08-16T08:42:10.709109Z","submitted_at":"2025-05-06T15:10:29Z","title":"Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-15T23:57:07.204984Z"},"links":{"citing_paper":"/paper/2505.03612"},"observation_digest":"sha256:8daf14a2fe6657508576229031455530b428efa896fc0b67cfab772d45c05c7b","observation_id":"9df94774-dc05-4640-9ae8-6a9ffb9e3306","resolution":{"observed_at":"2026-08-15T23:57:07.625825Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:57:07.608338Z","title":"Safe control synthesis for multicopter via control barrier function backstepping,","venue":null,"work_id":"8520bde7-a130-4c8b-8ae6-c4d7b679e4f3","year":2023},"citing_paper":{"arxiv_id":"2505.03612","last_updated":"2025-05-06T15:10:29Z","snapshot_observed_at":"2026-08-16T08:42:10.709109Z","submitted_at":"2025-05-06T15:10:29Z","title":"Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-15T23:57:07.209062Z"},"links":{"citing_paper":"/paper/2505.03612"},"observation_digest":"sha256:923edbdfa917dec00b0005df9815cfbe09028cac4413dbb17f61417fab1ff7d8","observation_id":"c5850d6f-f767-4b11-a432-c2596b19162e","resolution":{"observed_at":"2026-08-15T23:57:07.612696Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:57:07.594207Z","title":"Safe pde backstepping qp control with high relative degree cbfs: Stefan model with actuator dynamics,","venue":null,"work_id":"d5e684a9-2210-45dc-b301-04a32ee43412","year":2023},"citing_paper":{"arxiv_id":"2505.03612","last_updated":"2025-05-06T15:10:29Z","snapshot_observed_at":"2026-08-16T08:42:10.709109Z","submitted_at":"2025-05-06T15:10:29Z","title":"Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-15T23:57:07.214200Z"},"links":{"citing_paper":"/paper/2505.03612"},"observation_digest":"sha256:2bd2921664ba847d4a6305df571258d0aa2f71c3be12dc51b4c6b75f9095dab4","observation_id":"b641058a-00a1-4765-9b86-e3a77f37c4f5","resolution":{"observed_at":"2026-08-15T23:57:07.598582Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:57:07.580312Z","title":"Exponential control barrier functions for enforcing high relative-degree safety-critical constraints,","venue":null,"work_id":"23bf32d7-bdd2-44bf-b8b3-53b3dfcb5329","year":2016},"citing_paper":{"arxiv_id":"2505.03612","last_updated":"2025-05-06T15:10:29Z","snapshot_observed_at":"2026-08-16T08:42:10.709109Z","submitted_at":"2025-05-06T15:10:29Z","title":"Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-15T23:57:07.218436Z"},"links":{"citing_paper":"/paper/2505.03612"},"observation_digest":"sha256:a4605adcb8628b39e9106be0d58d0f49cf1e0d3493a6446cd6d62cfd4a5eeb00","observation_id":"d9b4b09a-ed07-410e-8970-2b199dcc090d","resolution":{"observed_at":"2026-08-15T23:57:07.584717Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:57:07.566464Z","title":"Control barrier functions for systems with high relative degree,","venue":null,"work_id":"d88f72af-1b1f-40e3-ac90-8cdcfa42ef9e","year":2019},"citing_paper":{"arxiv_id":"2505.03612","last_updated":"2025-05-06T15:10:29Z","snapshot_observed_at":"2026-08-16T08:42:10.709109Z","submitted_at":"2025-05-06T15:10:29Z","title":"Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-15T23:57:07.222516Z"},"links":{"citing_paper":"/paper/2505.03612"},"observation_digest":"sha256:d1acfdde6183b1744a31908432c0d7be7ba6c2baadd1ec3cde1d0b1a93bcd628","observation_id":"0bc055ab-e26c-40f0-b48b-74c76f7d5fca","resolution":{"observed_at":"2026-08-15T23:57:07.571032Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:57:07.226952Z","title":"High-order control barrier functions,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.03612","last_updated":"2025-05-06T15:10:29Z","snapshot_observed_at":"2026-08-16T08:42:10.709109Z","submitted_at":"2025-05-06T15:10:29Z","title":"Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-15T23:57:07.226952Z"},"links":{"citing_paper":"/paper/2505.03612"},"observation_digest":"sha256:56a64c8efcd267fbe5503806e55c1182eda98c459259c096ce06e020180c1bc7","observation_id":"c1e609cb-e62a-4bd6-a46d-79a01370ee87","resolution":{"observed_at":"2026-08-15T23:57:07.226952Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:57:07.231050Z","title":"Constructive safety- critical control: Synthesizing control barrier functions for partially feedback linearizable systems,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.03612","last_updated":"2025-05-06T15:10:29Z","snapshot_observed_at":"2026-08-16T08:42:10.709109Z","submitted_at":"2025-05-06T15:10:29Z","title":"Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-15T23:57:07.231050Z"},"links":{"citing_paper":"/paper/2505.03612"},"observation_digest":"sha256:4d3e504e61efb9c67cba4a8bb01f4290fb5f698509b34bdeec7ef0e2ff29adfc","observation_id":"891eb343-d6a4-413e-995f-68fa80a700e3","resolution":{"observed_at":"2026-08-15T23:57:07.231050Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:57:07.235177Z","title":"Constrained control of input–output linearizable systems using control sharing barrier functions,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2505.03612","last_updated":"2025-05-06T15:10:29Z","snapshot_observed_at":"2026-08-16T08:42:10.709109Z","submitted_at":"2025-05-06T15:10:29Z","title":"Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-15T23:57:07.235177Z"},"links":{"citing_paper":"/paper/2505.03612"},"observation_digest":"sha256:1d04b3088fb0aa7060ddd451e6184af8a20c2313cf11c93ac9d1c0f2d0b67201","observation_id":"d1630a9d-4918-493c-878d-ea08f89cbfc6","resolution":{"observed_at":"2026-08-15T23:57:07.235177Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:57:07.525533Z","title":"Prescribed-time safety design for strict-feedback nonlinear systems,","venue":null,"work_id":"71db006a-a0cd-462d-a10b-0c45ce602230","year":2023},"citing_paper":{"arxiv_id":"2505.03612","last_updated":"2025-05-06T15:10:29Z","snapshot_observed_at":"2026-08-16T08:42:10.709109Z","submitted_at":"2025-05-06T15:10:29Z","title":"Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-15T23:57:07.239585Z"},"links":{"citing_paper":"/paper/2505.03612"},"observation_digest":"sha256:cdf0ab3148f53d0db63dd723ae8ade566092e3f458a472a0da6fcb42b1fd62d9","observation_id":"09825783-381b-45dd-ae34-1d622c30854b","resolution":{"observed_at":"2026-08-15T23:57:07.529876Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:57:07.243886Z","title":"Learning safe, generalizable perception-based hybrid control with certificates,","venue":null,"work_id":null,"year":1904},"citing_paper":{"arxiv_id":"2505.03612","last_updated":"2025-05-06T15:10:29Z","snapshot_observed_at":"2026-08-16T08:42:10.709109Z","submitted_at":"2025-05-06T15:10:29Z","title":"Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-15T23:57:07.243886Z"},"links":{"citing_paper":"/paper/2505.03612"},"observation_digest":"sha256:a8d2c66a409526009c84b9fd1cf1f14744a541ba8a700c05e2e8f43458eb06bb","observation_id":"81303056-84e9-484b-aa0c-1547094b319c","resolution":{"observed_at":"2026-08-15T23:57:07.243886Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2112.12288","last_updated":"2021-12-23T00:44:38Z","snapshot_observed_at":"2026-08-19T09:52:52.519732Z","submitted_at":"2021-12-23T00:44:38Z","title":"Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2112.12288","snapshot_observed_at":"2026-08-15T23:57:07.248094Z","title":"Safety and liveness guarantees through reach-avoid reinforcement learning,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.03612","last_updated":"2025-05-06T15:10:29Z","snapshot_observed_at":"2026-08-16T08:42:10.709109Z","submitted_at":"2025-05-06T15:10:29Z","title":"Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-15T23:57:07.248094Z"},"links":{"cited_paper":"/paper/2112.12288","citing_paper":"/paper/2505.03612"},"observation_digest":"sha256:955a48ddd276e5abf11a6ed73ea735d908cd0ac935fc0b04a3760853146d8247","observation_id":"c6a2671a-89ae-4803-b660-73c15264de37","resolution":{"observed_at":"2026-08-15T23:57:07.248094Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:57:07.503775Z","title":"Reach-avoid controllers synthesis for safety critical systems,","venue":null,"work_id":"359acfbf-6c4d-4729-942b-4ba2d667d2dd","year":2024},"citing_paper":{"arxiv_id":"2505.03612","last_updated":"2025-05-06T15:10:29Z","snapshot_observed_at":"2026-08-16T08:42:10.709109Z","submitted_at":"2025-05-06T15:10:29Z","title":"Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-15T23:57:07.252444Z"},"links":{"citing_paper":"/paper/2505.03612"},"observation_digest":"sha256:3437b0b9a1eb41ac1bc7d2b4b5f428c9b65b527ef3dd03bd9579468760ae789b","observation_id":"2b005308-7844-497d-9840-e9981978e955","resolution":{"observed_at":"2026-08-15T23:57:07.508186Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:57:07.489731Z","title":"Reach-avoid verification based on convex optimization,","venue":null,"work_id":"d6c2e380-765f-4a3a-80f7-b57c34434bce","year":2023},"citing_paper":{"arxiv_id":"2505.03612","last_updated":"2025-05-06T15:10:29Z","snapshot_observed_at":"2026-08-16T08:42:10.709109Z","submitted_at":"2025-05-06T15:10:29Z","title":"Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-15T23:57:07.256485Z"},"links":{"citing_paper":"/paper/2505.03612"},"observation_digest":"sha256:451d15e831fe2f4dc220aa117a02fb8dfa544454305f6aa57f4e9d59f41f348e","observation_id":"324bc1d2-3e66-4e85-a746-9500bcc29823","resolution":{"observed_at":"2026-08-15T23:57:07.494052Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:57:07.475873Z","title":"Isidori, Nonlinear control systems: an introduction","venue":null,"work_id":"5528fcba-e495-4d9e-8287-8871894dbbd4","year":1985},"citing_paper":{"arxiv_id":"2505.03612","last_updated":"2025-05-06T15:10:29Z","snapshot_observed_at":"2026-08-16T08:42:10.709109Z","submitted_at":"2025-05-06T15:10:29Z","title":"Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-15T23:57:07.260601Z"},"links":{"citing_paper":"/paper/2505.03612"},"observation_digest":"sha256:34a6abef7c68cb97e7b84bde95ee17301b76b35f034d07e08f2f5e6e979cc3ad","observation_id":"73f82240-3f57-4448-9fab-1c3b688130b8","resolution":{"observed_at":"2026-08-15T23:57:07.480323Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1310.4716","last_updated":"2021-12-27T23:37:26Z","snapshot_observed_at":"2026-08-16T00:35:02.259584Z","submitted_at":"2013-10-17T14:30:42Z","title":"SOSTOOLS Version 4.00 Sum of Squares Optimization Toolbox for MATLAB","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1310.4716","snapshot_observed_at":"2026-08-15T23:57:07.264556Z","title":"Papachristodoulou, J","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2505.03612","last_updated":"2025-05-06T15:10:29Z","snapshot_observed_at":"2026-08-16T08:42:10.709109Z","submitted_at":"2025-05-06T15:10:29Z","title":"Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-15T23:57:07.264556Z"},"links":{"cited_paper":"/paper/1310.4716","citing_paper":"/paper/2505.03612"},"observation_digest":"sha256:ea3308aa686d145ee7e5edfa0c016aa8478f4c15d4d1077ec842bf4477db55e3","observation_id":"4902fd91-05ad-4af4-b1a3-3a4dcd93ee54","resolution":{"observed_at":"2026-08-15T23:57:07.264556Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T23:57:07.459408Z","title":"Mosek optimization toolbox for matlab,","venue":null,"work_id":"25ab61af-1193-415c-9857-4be1112a4354","year":2019},"citing_paper":{"arxiv_id":"2505.03612","last_updated":"2025-05-06T15:10:29Z","snapshot_observed_at":"2026-08-16T08:42:10.709109Z","submitted_at":"2025-05-06T15:10:29Z","title":"Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-15T23:57:07.269091Z"},"links":{"citing_paper":"/paper/2505.03612"},"observation_digest":"sha256:54d99001703b9b09dc9c16db4faad38ce52ee2d98cea6a8a66e7b8b153135357","observation_id":"170355c6-208f-40a3-9181-54646f1b13fd","resolution":{"observed_at":"2026-08-15T23:57:07.466120Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.03612","last_updated":"2025-05-06T15:10:29Z","latest_version":1,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-16T08:42:10.709109Z","submitted_at":"2025-05-06T15:10:29Z","title":"Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees"},"reference_resolution":{"displayed":28,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":11,"verified_exact":0,"verified_fuzzy":17},"total_outbound_references":28},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 28 of 28 outbound references and 1 inbound Pith citation observation for arXiv:2505.03612."}