AI Solved A Mathematical Problem That Had Stumped The World’s Best Minds For Decades

GPT-5.4 Pro cracked a conjecture in number theory that had stumped generations of mathematicians, using a proof strategy that ...
IEEE

Verification and Synthesis of Discrete-Time Control Barrier Functions

Abstract: Discrete-time Control Barrier Functions (DTCBFs) have recently attracted interest for guaranteeing safety and synthesizing safe controllers for discrete-time dynamical systems. This paper ...
IEEE

Controller Design for Constrained Discrete-Time Uncertain Linear Systems Using Implicit Functions

Abstract: This letter shows a controller design procedure for constrained discrete-time uncertain linear systems, where the control law and piece-wise functions implicitly defined by ramps give the ...