{"as_of":"2026-08-08T02:30:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9e42b336124090b9095d96c548c86e8e5d16b420d85f9d74f49803c6ef606f18","coverage":[{"denominator":25,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":25,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T11:41:43.947143Z","state":"measured"},{"denominator":25,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":25,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2506.01742/citation-record","integrity":"/paper/2506.01742/integrity","json":"/paper/2506.01742/citation-record.json","paper":"/paper/2506.01742"},"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-07T11:41:44.292305Z","title":null,"venue":null,"work_id":"9db21bed-b21a-4d4f-b6dc-b1c39a6e826c","year":2010},"citing_paper":{"arxiv_id":"2506.01742","last_updated":"2025-09-03T15:17:57Z","snapshot_observed_at":"2026-08-07T11:32:14.117449Z","submitted_at":"2025-06-02T14:50:17Z","title":"Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T11:41:43.822043Z"},"links":{"citing_paper":"/paper/2506.01742"},"observation_digest":"sha256:0d3948252b30cb0b4111dd348eecf52189e0f03fe00e7998fc97748396e5203f","observation_id":"a88a7f03-2cac-4a89-9685-92d33281603e","resolution":{"observed_at":"2026-08-07T11:41:44.296768Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:41:44.278324Z","title":"Nocedal and S","venue":null,"work_id":"843d9ee3-bbca-4246-b0b4-04e7d1dde860","year":2006},"citing_paper":{"arxiv_id":"2506.01742","last_updated":"2025-09-03T15:17:57Z","snapshot_observed_at":"2026-08-07T11:32:14.117449Z","submitted_at":"2025-06-02T14:50:17Z","title":"Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T11:41:43.828867Z"},"links":{"citing_paper":"/paper/2506.01742"},"observation_digest":"sha256:7e5aa9a047d3ef09e1460e6300278d4c7c5af3a63f994383ed066f0b58f16ab4","observation_id":"9207f27e-188e-4258-9063-736c91e9bbc7","resolution":{"observed_at":"2026-08-07T11:41:44.283330Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:41:43.834831Z","title":"Optimization-based control for dynamic legged robots,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.01742","last_updated":"2025-09-03T15:17:57Z","snapshot_observed_at":"2026-08-07T11:32:14.117449Z","submitted_at":"2025-06-02T14:50:17Z","title":"Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T11:41:43.834831Z"},"links":{"citing_paper":"/paper/2506.01742"},"observation_digest":"sha256:74707ee3f1dc08e1a428fa70aead4db5906a3e557f588e1aaa9b01e1240b3ad8","observation_id":"845c36e0-820c-4428-aa18-9489b4a26a98","resolution":{"observed_at":"2026-08-07T11:41:43.834831Z","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-07T11:41:44.257794Z","title":"Robust optimal control for demand side management of multi- carrier microgrids,","venue":null,"work_id":"8885a21d-6172-463f-b9fb-4c6b91510d27","year":2022},"citing_paper":{"arxiv_id":"2506.01742","last_updated":"2025-09-03T15:17:57Z","snapshot_observed_at":"2026-08-07T11:32:14.117449Z","submitted_at":"2025-06-02T14:50:17Z","title":"Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T11:41:43.840268Z"},"links":{"citing_paper":"/paper/2506.01742"},"observation_digest":"sha256:159b7ecb517334cbf19b2cac5ed51f590246884b9702ec576028c1d074117148","observation_id":"cce2f824-fb15-4cdf-a7a6-33eb5af01a80","resolution":{"observed_at":"2026-08-07T11:41:44.263553Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:41:44.244154Z","title":"Fast homotopy for spacecraft ren- dezvous trajectory optimization with discrete logic,","venue":null,"work_id":"9185b668-9733-4436-adcd-518c3b658e08","year":2023},"citing_paper":{"arxiv_id":"2506.01742","last_updated":"2025-09-03T15:17:57Z","snapshot_observed_at":"2026-08-07T11:32:14.117449Z","submitted_at":"2025-06-02T14:50:17Z","title":"Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T11:41:43.845175Z"},"links":{"citing_paper":"/paper/2506.01742"},"observation_digest":"sha256:e87e4cd1375cfece0190c2b3020b5f8cec3a5e60d0da5aab34d57a1f585436ea","observation_id":"dce726cc-17c5-4139-83f2-121c109b117a","resolution":{"observed_at":"2026-08-07T11:41:44.249113Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:41:44.231266Z","title":"A review and comparison of solvers for convex MINLP,","venue":null,"work_id":"70c18f3d-d27b-44f2-8719-f31bb8685aa6","year":2019},"citing_paper":{"arxiv_id":"2506.01742","last_updated":"2025-09-03T15:17:57Z","snapshot_observed_at":"2026-08-07T11:32:14.117449Z","submitted_at":"2025-06-02T14:50:17Z","title":"Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T11:41:43.850594Z"},"links":{"citing_paper":"/paper/2506.01742"},"observation_digest":"sha256:98aefaf72b30264f839659c5ad75d0a2371d4950dc22191cb94d62f8dea5bd1a","observation_id":"472ce33d-5b7d-4f01-9256-1a090162d045","resolution":{"observed_at":"2026-08-07T11:41:44.236088Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:41:44.216838Z","title":"Undecidability and hardness in mixed-integer nonlinear programming,","venue":null,"work_id":"8fbe3717-8ac5-49c3-9c67-48c4ebd13302","year":2019},"citing_paper":{"arxiv_id":"2506.01742","last_updated":"2025-09-03T15:17:57Z","snapshot_observed_at":"2026-08-07T11:32:14.117449Z","submitted_at":"2025-06-02T14:50:17Z","title":"Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T11:41:43.856486Z"},"links":{"citing_paper":"/paper/2506.01742"},"observation_digest":"sha256:ab7691212f29d18e04340181e2847d555a44228f522e33132101415e5a6e7473","observation_id":"3c969aaa-927a-419c-b84b-11cc874f4c24","resolution":{"observed_at":"2026-08-07T11:41:44.222364Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:41:44.204358Z","title":"Approximation properties and tight bounds for constrained mixed-integer optimal control,","venue":null,"work_id":"8b06c352-7a19-493c-bffc-f20e4883b8ca","year":2020},"citing_paper":{"arxiv_id":"2506.01742","last_updated":"2025-09-03T15:17:57Z","snapshot_observed_at":"2026-08-07T11:32:14.117449Z","submitted_at":"2025-06-02T14:50:17Z","title":"Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T11:41:43.861644Z"},"links":{"citing_paper":"/paper/2506.01742"},"observation_digest":"sha256:39aa0971befc3cdd3f66fd49047a223ab772d06e624c49939a4c960d7bb6b53a","observation_id":"baec8029-c5f2-442d-b1cc-2e38b3ce8fbf","resolution":{"observed_at":"2026-08-07T11:41:44.209023Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:41:44.191547Z","title":"Non-convex mixed-integer nonlinear programming: A survey,","venue":null,"work_id":"d79679dd-4b6d-496b-aa66-afb56fcf37f5","year":2012},"citing_paper":{"arxiv_id":"2506.01742","last_updated":"2025-09-03T15:17:57Z","snapshot_observed_at":"2026-08-07T11:32:14.117449Z","submitted_at":"2025-06-02T14:50:17Z","title":"Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T11:41:43.866933Z"},"links":{"citing_paper":"/paper/2506.01742"},"observation_digest":"sha256:9fb0b31287a41587cdc664fa4be2a4c12c49ccae088e69b1f51c86620380cadf","observation_id":"18cb061d-8046-424b-a6d0-aa36a19f1d9b","resolution":{"observed_at":"2026-08-07T11:41:44.196130Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:41:44.177605Z","title":"A unified approach to mixed-integer optimization problems with logical constraints,","venue":null,"work_id":"2be7040d-fea0-4174-8890-51a18701972a","year":2021},"citing_paper":{"arxiv_id":"2506.01742","last_updated":"2025-09-03T15:17:57Z","snapshot_observed_at":"2026-08-07T11:32:14.117449Z","submitted_at":"2025-06-02T14:50:17Z","title":"Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T11:41:43.872207Z"},"links":{"citing_paper":"/paper/2506.01742"},"observation_digest":"sha256:8b3b6698cb283c2754378a201aff9f0b2b766e30d10b04cda6bb822c5e360925","observation_id":"1d4d7488-1ae1-4497-950d-6b3a422bbf20","resolution":{"observed_at":"2026-08-07T11:41:44.182642Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:41:44.163194Z","title":null,"venue":null,"work_id":"a8cbd933-f5dc-4a28-a036-f273c2e083d3","year":2011},"citing_paper":{"arxiv_id":"2506.01742","last_updated":"2025-09-03T15:17:57Z","snapshot_observed_at":"2026-08-07T11:32:14.117449Z","submitted_at":"2025-06-02T14:50:17Z","title":"Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T11:41:43.877341Z"},"links":{"citing_paper":"/paper/2506.01742"},"observation_digest":"sha256:017cd279c197a03a2d24b6a085398a865ec547bb50638882530e3e042e16d150","observation_id":"4730b21c-8478-45b2-9cb5-a3a75ad1aabe","resolution":{"observed_at":"2026-08-07T11:41:44.169006Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:41:44.150089Z","title":"On handling indicator constraints in mixed integer programming,","venue":null,"work_id":"1804ee25-2a5d-4204-9d13-74d629882ce5","year":2016},"citing_paper":{"arxiv_id":"2506.01742","last_updated":"2025-09-03T15:17:57Z","snapshot_observed_at":"2026-08-07T11:32:14.117449Z","submitted_at":"2025-06-02T14:50:17Z","title":"Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T11:41:43.882430Z"},"links":{"citing_paper":"/paper/2506.01742"},"observation_digest":"sha256:1c7657c44d89ded7ef779a2a601dee05c15fe5fd648eb4d0d142e93ef0d52918","observation_id":"5d80f360-ff04-4225-84c3-6708da4a015a","resolution":{"observed_at":"2026-08-07T11:41:44.155686Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:41:43.887389Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2506.01742","last_updated":"2025-09-03T15:17:57Z","snapshot_observed_at":"2026-08-07T11:32:14.117449Z","submitted_at":"2025-06-02T14:50:17Z","title":"Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T11:41:43.887389Z"},"links":{"citing_paper":"/paper/2506.01742"},"observation_digest":"sha256:9dc12f89c04c4bf6d604fb683d2d0e873c84b69f87673a48cfa58be0cda03f2c","observation_id":"c52382c7-2549-49b9-b069-28ca2bcaef88","resolution":{"observed_at":"2026-08-07T11:41:43.887389Z","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-07T11:41:44.128075Z","title":"On the approximation of the step function by some sigmoid functions,","venue":null,"work_id":"63be2628-4da1-48f1-ab9c-847342d7670a","year":2017},"citing_paper":{"arxiv_id":"2506.01742","last_updated":"2025-09-03T15:17:57Z","snapshot_observed_at":"2026-08-07T11:32:14.117449Z","submitted_at":"2025-06-02T14:50:17Z","title":"Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T11:41:43.891594Z"},"links":{"citing_paper":"/paper/2506.01742"},"observation_digest":"sha256:0ea25d7c3094b4cced7745fafd31074d5c441629e4e0eea5264b184aecaa237c","observation_id":"ce5f1fed-e197-45ce-af33-d19b0f1857d0","resolution":{"observed_at":"2026-08-07T11:41:44.133925Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:41:44.115849Z","title":"Perspective reformulations of mixed integer nonlinear programs with indicator variables,","venue":null,"work_id":"85dbbd22-82a2-4544-b747-403c3e2d1812","year":2010},"citing_paper":{"arxiv_id":"2506.01742","last_updated":"2025-09-03T15:17:57Z","snapshot_observed_at":"2026-08-07T11:32:14.117449Z","submitted_at":"2025-06-02T14:50:17Z","title":"Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T11:41:43.897101Z"},"links":{"citing_paper":"/paper/2506.01742"},"observation_digest":"sha256:f1644da642202b69682aa806d3f5fe0c5dd6ca5f6cad64fcfddd59aa5728103f","observation_id":"9338db04-f5cc-4172-a0db-eff4cc1535bb","resolution":{"observed_at":"2026-08-07T11:41:44.120620Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:41:44.104170Z","title":"Optimization-based control of nonlinear systems with linear temporal logic specifications,","venue":null,"work_id":"498e3657-eb22-4042-b1f4-72ad1a6a2fdf","year":2014},"citing_paper":{"arxiv_id":"2506.01742","last_updated":"2025-09-03T15:17:57Z","snapshot_observed_at":"2026-08-07T11:32:14.117449Z","submitted_at":"2025-06-02T14:50:17Z","title":"Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T11:41:43.901366Z"},"links":{"citing_paper":"/paper/2506.01742"},"observation_digest":"sha256:ba19b3411d620e23b7872ab10530607211ab4fe2c854cc12b88fa9641c1940f0","observation_id":"7a604001-5bc7-4f7e-b866-5bdd02b861ac","resolution":{"observed_at":"2026-08-07T11:41:44.108646Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:41:44.090303Z","title":"Formal methods for control synthesis: An optimization perspective,","venue":null,"work_id":"20f97d91-d2da-43c1-8aee-144e954e1fde","year":2019},"citing_paper":{"arxiv_id":"2506.01742","last_updated":"2025-09-03T15:17:57Z","snapshot_observed_at":"2026-08-07T11:32:14.117449Z","submitted_at":"2025-06-02T14:50:17Z","title":"Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T11:41:43.906154Z"},"links":{"citing_paper":"/paper/2506.01742"},"observation_digest":"sha256:30998c1008cf3053b54dd33c7fa1bfe69fa83541ec319b2e886d500de9d3d607","observation_id":"993b1c1e-b622-4d94-8aa2-9cf0476c968c","resolution":{"observed_at":"2026-08-07T11:41:44.095433Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:41:44.077850Z","title":"The continuous quadrant penalty formulation of logical constraints,","venue":null,"work_id":"f7838ad8-a9e1-4cd1-98eb-b05f28ab4160","year":2023},"citing_paper":{"arxiv_id":"2506.01742","last_updated":"2025-09-03T15:17:57Z","snapshot_observed_at":"2026-08-07T11:32:14.117449Z","submitted_at":"2025-06-02T14:50:17Z","title":"Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T11:41:43.911976Z"},"links":{"citing_paper":"/paper/2506.01742"},"observation_digest":"sha256:607852bcdf9fa4a6bc729d598c9bd27cbd1869d6ea93232d66c35e744c620b20","observation_id":"4d5e692c-a666-49e5-af7a-f004fa31efd0","resolution":{"observed_at":"2026-08-07T11:41:44.082452Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:41:44.064069Z","title":"On the conversion of optimization problems with max-min constraints to standard optimization prob- lems,","venue":null,"work_id":"7d45d2bf-a155-40c2-aa96-cca7253d9616","year":1998},"citing_paper":{"arxiv_id":"2506.01742","last_updated":"2025-09-03T15:17:57Z","snapshot_observed_at":"2026-08-07T11:32:14.117449Z","submitted_at":"2025-06-02T14:50:17Z","title":"Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T11:41:43.916291Z"},"links":{"citing_paper":"/paper/2506.01742"},"observation_digest":"sha256:716f0062c127b052269afa75446590a88f4eaa999265b12be4504cc7d9c8ca1b","observation_id":"3288c576-6bef-414e-9250-36eafa704702","resolution":{"observed_at":"2026-08-07T11:41:44.069065Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:41:44.050734Z","title":"Semi-infinite programs for robust con- trol and optimization: Efficient solutions and extensions to existence constraints,","venue":null,"work_id":"a0ed1ac7-1ea5-4758-8186-aa53930559f2","year":2024},"citing_paper":{"arxiv_id":"2506.01742","last_updated":"2025-09-03T15:17:57Z","snapshot_observed_at":"2026-08-07T11:32:14.117449Z","submitted_at":"2025-06-02T14:50:17Z","title":"Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T11:41:43.921514Z"},"links":{"citing_paper":"/paper/2506.01742"},"observation_digest":"sha256:6f84fc6df3f5e68e3506b9feefbb75e98a71800a8657f4a8831d55fc006daf8b","observation_id":"4773c85c-ddd5-405a-b081-efa49301d00a","resolution":{"observed_at":"2026-08-07T11:41:44.055008Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:41:44.035869Z","title":null,"venue":null,"work_id":"891ceaeb-a249-4fe1-a2e0-5a6f4ea89809","year":2001},"citing_paper":{"arxiv_id":"2506.01742","last_updated":"2025-09-03T15:17:57Z","snapshot_observed_at":"2026-08-07T11:32:14.117449Z","submitted_at":"2025-06-02T14:50:17Z","title":"Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T11:41:43.926459Z"},"links":{"citing_paper":"/paper/2506.01742"},"observation_digest":"sha256:a99774a9e46d4915677ba80619352c25dbb6b06413c50a164b29ea893232d21d","observation_id":"0064fb9b-ac79-40cb-b48a-b46df34e507a","resolution":{"observed_at":"2026-08-07T11:41:44.041614Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:41:44.019441Z","title":null,"venue":null,"work_id":"3fdd3431-ded1-47e4-9e6b-f743dbfb82ea","year":1999},"citing_paper":{"arxiv_id":"2506.01742","last_updated":"2025-09-03T15:17:57Z","snapshot_observed_at":"2026-08-07T11:32:14.117449Z","submitted_at":"2025-06-02T14:50:17Z","title":"Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T11:41:43.931557Z"},"links":{"citing_paper":"/paper/2506.01742"},"observation_digest":"sha256:b212dad630130e840dda7476e1aa122d1b6b82315cca7bd7c470a13677b313a3","observation_id":"9dafd168-b363-4034-8c9f-52146a163a54","resolution":{"observed_at":"2026-08-07T11:41:44.025795Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:41:44.004091Z","title":"Robust output feedback of nonlin- ear systems through the efficient solution of min-max optimization problems,","venue":null,"work_id":"ee7925d6-e8eb-4f08-8c53-a5e2166fb3f0","year":2024},"citing_paper":{"arxiv_id":"2506.01742","last_updated":"2025-09-03T15:17:57Z","snapshot_observed_at":"2026-08-07T11:32:14.117449Z","submitted_at":"2025-06-02T14:50:17Z","title":"Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T11:41:43.936610Z"},"links":{"citing_paper":"/paper/2506.01742"},"observation_digest":"sha256:97fbba12e6891e80f26c9bb2fe754fa7e3e6199806f7e2d117d31c9aa5dae548","observation_id":"65cd181b-e74c-406d-b443-117b53f5bc77","resolution":{"observed_at":"2026-08-07T11:41:44.009519Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:41:43.991339Z","title":"JuMP 1.0: Recent improvements to a modeling language for mathematical optimization,","venue":null,"work_id":"9f8baac4-9515-43f6-a9af-1256051ef5de","year":2023},"citing_paper":{"arxiv_id":"2506.01742","last_updated":"2025-09-03T15:17:57Z","snapshot_observed_at":"2026-08-07T11:32:14.117449Z","submitted_at":"2025-06-02T14:50:17Z","title":"Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T11:41:43.942227Z"},"links":{"citing_paper":"/paper/2506.01742"},"observation_digest":"sha256:104b423b0e93b062c5b9aff99b983c8748b6a06106772197e626eaa0c7af8310","observation_id":"5df40fe9-b900-431a-b8a0-e2c7a50e5205","resolution":{"observed_at":"2026-08-07T11:41:43.995441Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:41:43.975151Z","title":"On the implementation of an interior- point filter line-search algorithm for large-scale nonlinear program- ming,","venue":null,"work_id":"d60e5224-1b74-4d77-b4df-b492eb13609b","year":2006},"citing_paper":{"arxiv_id":"2506.01742","last_updated":"2025-09-03T15:17:57Z","snapshot_observed_at":"2026-08-07T11:32:14.117449Z","submitted_at":"2025-06-02T14:50:17Z","title":"Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T11:41:43.947143Z"},"links":{"citing_paper":"/paper/2506.01742"},"observation_digest":"sha256:21d061b78ff6442e8b1216f363a54d9bc7e671ac06c951234c4a8aeb9570da32","observation_id":"9852adee-ae10-44bc-a761-b9c8e670eb94","resolution":{"observed_at":"2026-08-07T11:41:43.982408Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.01742","last_updated":"2025-09-03T15:17:57Z","latest_version":2,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-07T11:32:14.117449Z","submitted_at":"2025-06-02T14:50:17Z","title":"Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems"},"reference_resolution":{"displayed":25,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":6,"verified_exact":0,"verified_fuzzy":19},"total_outbound_references":25},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 25 of 25 outbound references and 0 inbound Pith citation observations for arXiv:2506.01742."}