- A Formally Verified Lightning Network Grzegorz Fabiański Rafał Stefański Orfeas Stefanos Thyfronitis Litos Sat 05 April 2025
- The Fertile Steppe: Computability Logic and the decidability of one of its fragments Stella Spadoni Sat 05 April 2025
- Esquisses pour une théorie des systèmes non linéaires en temps discret Michel Fliess Fri 04 April 2025
- Should the Theories for Continuous-Time and Discrete-Time Linear and Nonlinear Systems Really Look Alike M. Fliess Fri 04 April 2025
- Automatique en temps discret et algèbre aux différences Michel Fliess Fri 04 April 2025
- Invertibility of causal discrete time dynamical systems Michel Fliess Fri 04 April 2025
- A fundamental result on the invertibility of discrete time dynamics Michel Fliess Fri 04 April 2025
- Differential flatness and defect: an overview Michel Fliess Jean Lévine Philippe Martin Pierre Rouchon Fri 04 April 2025
- Algorithmic analysis of systems with affine input and polynomial state Lorenzo Clemente Thu 03 April 2025
- Data-driven SISO predictive control using adaptive discrete-time Fliess operator approximations W. Steven Gray Luis A. Duffaut Espinosa Laurence T. Kell Thu 03 April 2025
- Ideal observability for bilinear discrete-time systems with and without delays in observation Mustapha Lhous Mostafa Rachik El Mostafa Magri Thu 03 April 2025
- On controllability of discrete-time bilinear systems Lin Tie Kai-Yuan Cai Yan Lin Thu 03 April 2025
- Control design and analysis for discrete time bilinear systems using Sum of Squares methods Mohsen Vatani Morten Hovd Sorin Olaru Thu 03 April 2025
- Controllability of discrete-time inhomogeneous bilinear systems with real spectrum: Algebraically verifiable criteria Lin Tie Thu 03 April 2025
- Partial model checking H.R. Andersen Wed 02 April 2025
- Discrete-time ChenFliess Series for Learning and Adaptive Control W. Steven Gray Mon 31 March 2025
- The life and work of Kuo-Tsai Chen Richard Hain Philippe Tondeur Mon 31 March 2025
- Hopf Algebras in General and in Combinatorial Physics: a practical introduction G. H. E. Duchamp P. Blasiak A. Horzela K. A. Penson A. I. Solomon Mon 31 March 2025
- Direct and dual laws for automata with multiplicities G. Duchamp M. Flouret É. Laugerotte J.-G. Luque Mon 31 March 2025
- Hopf algebra of permutation pattern functions Yannic Vargas Mon 31 March 2025
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A