{"total":11,"items":[{"citing_arxiv_id":"2606.26352","ref_index":25,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Scalable Reachability Analysis of Linear Continuous Systems with Property-Driven Time-Step Adaptation","primary_cat":"eess.SY","submitted_at":"2026-06-24T19:53:07+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":7.0,"formal_verification":"none","one_line_summary":"A property-driven adaptive time-step reachability algorithm for linear continuous systems that uses safety properties to enable larger steps and fewer iterations than error-driven or fixed-step methods, with optimizations for matrix exponentials and error balancing.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.21438","ref_index":5,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Temporal logics and formal synthesis for robot planning and control","primary_cat":"cs.RO","submitted_at":"2026-06-19T13:59:12+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":2.0,"formal_verification":"none","one_line_summary":"This survey presents temporal logics as expressive specification languages and outlines formal synthesis techniques from discrete to continuous methods for robot planning and control, while noting real-world deployment challenges.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.17415","ref_index":13,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Pure or Unstable: A Generic Dichotomy for Strong Stackelberg Commitments","primary_cat":"cs.GT","submitted_at":"2026-06-16T01:56:10+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":7.0,"formal_verification":"none","one_line_summary":"In generic finite leader-follower games the optimal Strong Stackelberg commitment is with probability one either pure and stable or mixed and unstable.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2606.09749","ref_index":14,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Your Model Already Knows: Attention-Guided Safety Filter for Vision-Language-Action Models","primary_cat":"cs.RO","submitted_at":"2026-06-08T17:11:16+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":6.0,"formal_verification":"none","one_line_summary":"Internal attention heads in VLA policies localize targets for a CBF safety filter that enables real-time collision avoidance with dynamic obstacles and outperforms init-time oracle identification by 43% on average.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2605.15651","ref_index":1,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Sharp Spectral Thresholds for Logit Fixed Points","primary_cat":"cs.LG","submitted_at":"2026-05-15T06:11:20+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":7.0,"formal_verification":"none","one_line_summary":"For finite-dimensional affine logit systems the sharp dimension-free stability threshold is β‖ΠWΠ‖_{T→T}<2, extending the certified regime beyond classical conservative bounds.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2604.26933","ref_index":26,"ref_count":1,"confidence":0.88,"is_internal_anchor":false,"paper_title":"Data-driven discovery of polynomial ODEs with provably bounded solutions","primary_cat":"math.DS","submitted_at":"2026-04-29T17:47:19+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":7.0,"formal_verification":"none","one_line_summary":"SILAS jointly optimizes polynomial ODE vector fields and polynomial Lyapunov functions from data to produce models with provably bounded trajectories via compact absorbing sets.","context_count":1,"top_context_role":"background","top_context_polarity":"background","context_text":"Globally convergent block-coordinate techniques for un- constrained optimization.Optim. Methods Softw., 10(4):587-637, 1999. doi: 10.1080/ 10556789908805730. [25] A. L. Heide, S.-C. Liao, S. Castiblanco-Ballesteros, G. B. Jacobs, P. Seiler, and M. S. Hemati. Data-driven nonlinear aerodynamics models with certifiably optimal bounded- ness properties. arXiv:2508.16800 [physics.flu-dyn], 2025. [26] D. Henrion and M. Korda. Convex computation of the region of attraction of polynomial controlsystems.IEEE Trans. Automat. Control, 59(2):297-312, 2014. doi: 10.1109/TAC. 2013.2283095. [27] D. Hilbert. Ueber die Darstellung definiter Formen als Summe von Formenquadraten. Math. Ann., 32(3):342-350, 1888. doi: 10.1007/BF01443605. [28] P. Holmes, J. L."},{"citing_arxiv_id":"2604.26134","ref_index":40,"ref_count":1,"confidence":0.88,"is_internal_anchor":false,"paper_title":"Reachability-Based Design Optimization for Aircraft Maneuverability","primary_cat":"math.OC","submitted_at":"2026-04-28T21:46:13+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":6.0,"formal_verification":"none","one_line_summary":"Optimizing blended-wing-body aircraft wing half-spans via reachable sets of linear longitudinal dynamics yields up to 30% lower angle-of-attack tracking error on the resulting nonlinear model under reference tracking control.","context_count":1,"top_context_role":"background","top_context_polarity":"background","context_text":", \"Application of Level Set Methods to Control and Reachability Problems in Continuous and Hybrid Systems,\" Ph.D. thesis, 2002. [39] Tomlin, C., Lygeros, J., and Sastry, S., \"Synthesizing Controllers for Nonlinear Hybrid Systems,\"Hybrid Systems: Computation andControl,Vol.1386,editedbyG.Goos,J.Hartmanis,J.Leeuwen,T.A.Henzinger,andS.Sastry,SpringerBerlinHeidelberg, Berlin, Heidelberg, 1998, pp. 360-373. https://doi.org/10.1007/3-540-64358-3_51. [40] Mitchell, I., Bayen, A., and Tomlin, C., \"A Time-Dependent Hamilton-Jacobi Formulation of Reachable Sets for Continuous Dynamic Games,\"IEEE Transactions on Automatic Control, Vol. 50, No. 7, 2005, pp. 947-957. https://doi.org/10.1109/TAC. 2005.851439. [41] Lew, T., Bonalli, R., and Pavone, M., \"Convex Hulls of Reachable Sets,\"IEEE Transactions on Automatic Control, Vol."},{"citing_arxiv_id":"2604.08913","ref_index":24,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Connections Between Determinantal Point Processes and Gramians in Control","primary_cat":"math.OC","submitted_at":"2026-04-10T03:19:43+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":7.0,"formal_verification":"none","one_line_summary":"The observability and controllability Gramians parameterized by sensor and actuator node subsets are determinantal point processes.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2512.23203","ref_index":4,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Coefficient-level output-feedback stabilization of linear port-Hamiltonian descriptor systems","primary_cat":"math.OC","submitted_at":"2025-12-29T04:58:03+00:00","verdict":"UNVERDICTED","verdict_confidence":"MODERATE","novelty_score":7.0,"formal_verification":"none","one_line_summary":"Coefficient-level conditions are given for proportional and proportional-derivative output feedback that render linear pH descriptor systems regular, impulse-free, asymptotically stable, and port-Hamiltonian without explicit pH forms.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2512.10657","ref_index":3,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Estimating Hormone Concentrations in the Pituitary-Thyroid Feedback Loop from Irregularly Sampled Measurements","primary_cat":"eess.SY","submitted_at":"2025-12-11T14:03:07+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":4.0,"formal_verification":"none","one_line_summary":"Moving horizon estimation stably recovers internal hormone concentrations from irregular samples in pituitary-thyroid models for hypo- and hyperthyroid patients, with lower error at higher sampling rates under model uncertainty.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null},{"citing_arxiv_id":"2506.01169","ref_index":6,"ref_count":1,"confidence":0.5,"is_internal_anchor":false,"paper_title":"Dynamical models for distributed social power perception in Friedkin-Johnsen influence networks","primary_cat":"eess.SY","submitted_at":"2025-06-01T21:10:15+00:00","verdict":"UNVERDICTED","verdict_confidence":"LOW","novelty_score":5.0,"formal_verification":"none","one_line_summary":"The paper proposes and analyzes a distributed perception mechanism in Friedkin-Johnsen networks that enables convergence to true social power through local interactions in static and reflected-appraisal settings.","context_count":0,"top_context_role":null,"top_context_polarity":null,"context_text":null}],"limit":50,"offset":0}