2 papers
cs.OS2026
Ensuring Data Freshness in Multi-Rate Task Chains Scheduling
José Luis Conradi Hoffmann, Antônio Augusto Fröhlich
In safety-critical autonomous systems, data freshness presents a fundamental design challenge. While the Logical Execution Time (LET) paradigm ensures compositional determinism, it…
cs.AI2026
Position: Certifiable State Integrity Should Be Built from Local Validity, Not Global Scale
Enzo Nicolás Spotorno, Enzo Nicolás Spotorno, Antônio Augusto Medeiros Fröhlich +2
Breakthroughs in language and vision have motivated increasingly general foundation models for time series and physical dynamics, where evidence is promising but less mature. In sa…