pQLL calculi assign real-valued strength to proofs, generalize hypersequent and deep inference systems, prove cut elimination, and achieve completeness for soft residuated lattices, recovering MALL as p goes to infinity.
hub Canonical reference
In: 2020 American Control Conference (ACC), pp
Canonical reference. 80% of citing Pith papers cite this work as background.
13
Pith papers citing it
Background
80% of classified citations
hub tools
citation-role summary
background 4
method 1
citation-polarity summary
years
2026 13representative citing papers
Presents a successive convexification framework that enforces continuous-time STL specifications in trajectory optimization via GMSR robustness and prox-convex solving.
QLL is a novel logic for neuro-symbolic learning that uses ML-native operations (sum, log-sum-exp) on logits to embed constraints, satisfying most linear logic properties and showing stronger correlation between empirical robustness and formal verification than prior approaches.
Introduces a stochastic DDP algorithm that optimizes nominal controls and feedback gains for belief-state trajectory problems under partial observability without relying on the separation principle.
SALM converges globally to M-stationary points under PLCQ when the nonsmooth term is locally Lipschitz continuous, with a counterexample and numerical evidence on sparse portfolio problems.
A homogenized model derived from Poisson-Nernst-Planck equations with 3D state reconstruction enables PID-based fast charging of Li-ion batteries while keeping anode potentials above the lithium plating threshold.
For elliptical evader orbits the derived pursuit-evasion system is non-autonomous and equilibrium-free; faster pursuers achieve finite-time capture with an explicit upper bound while slower pursuers converge globally to a unique periodic orbit.
Pyomo.DoE gains callback-based support for eigenvalue optimality criteria (E- and ME-optimality) plus a new experiment-creation abstraction for uncertainty quantification in high-fidelity models.
LMI-parametrized dynamic output-feedback controller synthesis from noisy I/O data for dissipativity and H2 performance in unknown discrete-time LTI systems, claimed non-conservative within the setting.
Lissajous-curve parameters are optimized via nonlinear programming to maximize average power output during the reel-out phase of crosswind AWES under curvature constraints.
Nonlinear controllability analysis shows that the condition number of a battery cell's controllability matrix predicts required control effort, with sensitivity analysis indicating uniform parameter impact on conditioning for new and aged cells.
Framework extracts capacity, degradation rate, and dV/dQ features from 25 BESS modules that statistically distinguish 25 faulty cell groups from 325 non-faulty ones, while resistance does not.
citing papers explorer
-
Quantitative Linear Logic
pQLL calculi assign real-valued strength to proofs, generalize hypersequent and deep inference systems, prove cut elimination, and achieve completeness for soft residuated lattices, recovering MALL as p goes to infinity.
-
Successive Convexification for Trajectory Optimization with Continuous-time Satisfaction of Signal Temporal Logic Specifications
Presents a successive convexification framework that enforces continuous-time STL specifications in trajectory optimization via GMSR robustness and prox-convex solving.
-
Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
QLL is a novel logic for neuro-symbolic learning that uses ML-native operations (sum, log-sum-exp) on logits to embed constraints, satisfying most linear logic properties and showing stronger correlation between empirical robustness and formal verification than prior approaches.
-
Stochastic Differential Dynamic Programming for Trajectory Optimization under Partial Observability
Introduces a stochastic DDP algorithm that optimizes nominal controls and feedback gains for belief-state trajectory problems under partial observability without relying on the separation principle.
-
Convergence of the Safeguarded Augmented Lagrangian Method under the Polyak-Lojasiewicz constraint qualification for Constrained Composite Optimization
SALM converges globally to M-stationary points under PLCQ when the nonsmooth term is locally Lipschitz continuous, with a counterexample and numerical evidence on sparse portfolio problems.
-
Health-Aware Fast Charging Using Homogenized Model with Heterogeneous Internal State Reconstruction
A homogenized model derived from Poisson-Nernst-Planck equations with 3D state reconstruction enables PID-based fast charging of Li-ion batteries while keeping anode potentials above the lithium plating threshold.
-
Dynamical Systems in Elliptical Pursuit and Evasion
For elliptical evader orbits the derived pursuit-evasion system is non-autonomous and equilibrium-free; faster pursuers achieve finite-time capture with an explicit upper bound while slower pursuers converge globally to a unique periodic orbit.
-
Optimal Experimental Design using Eigenvalue-Based Criteria with Pyomo.DoE
Pyomo.DoE gains callback-based support for eigenvalue optimality criteria (E- and ME-optimality) plus a new experiment-creation abstraction for uncertainty quantification in high-fidelity models.
-
Dynamic Output-Feedback Controller Synthesis for Dissipativity and $H_2$ Performance from Noisy Input-Output Data
LMI-parametrized dynamic output-feedback controller synthesis from noisy I/O data for dissipativity and H2 performance in unknown discrete-time LTI systems, claimed non-conservative within the setting.
-
A Computationally Tractable Path-Planning Method for Airborne Wind Energy Systems
Lissajous-curve parameters are optimized via nonlinear programming to maximize average power output during the reel-out phase of crosswind AWES under curvature constraints.
-
A Study on the Controllability of Lithium-Ion Batteries
Nonlinear controllability analysis shows that the condition number of a battery cell's controllability matrix predicts required control effort, with sensitivity analysis indicating uniform parameter impact on conditioning for new and aged cells.
-
Health feature extraction from battery energy storage system field fault data
Framework extracts capacity, degradation rate, and dV/dQ features from 25 BESS modules that statistically distinguish 25 faulty cell groups from 325 non-faulty ones, while resistance does not.
- Experimental Demonstration of a Decentralized Electromagnetic Formation Flying Control Using Alternating Magnetic Field Forces