bibliographer - Control

On the Minimum Number of Control Laws for Nonlinear Systems with Input-Output Linearisation Singularities Nikolaos D. Tantaroudas Tue 24 March 2026
CLUE: exact maximal reduction of kinetic models by constrained lumping of differential equations Alexey Ovchinnikov Isabel Pérez Verona Gleb Pogudin Mirco Tribastone Mon 16 March 2026
Global Identifiability of Differential Models Hoon Hong Alexey Ovchinnikov Gleb Pogudin Chee Yap Mon 16 March 2026
Employing observability rank conditions for taking into account experimental information a priori Alejandro F. Villaverde Thu 12 March 2026
PAC Finite-Time Safety Guarantees for Stochastic Systems with Unknown Disturbance Distributions Taoran Wu Dominik Wagner C.-H. Luke Ong Bai Xue Fri 06 March 2026
Simple generators of rational function fields Alexander Demin Gleb Pogudin Fri 06 March 2026
Vector Certificates for -regular Specifications Mohammed Adib Oumer Vishnu Murali Majid Zamani Wed 04 March 2026
The inverted Pendulum: A fundamental Benchmark in Control Theory and Robotics Olfa Boubaker Wed 11 February 2026
Robust Verification of Concurrent Stochastic Games Angel Y. He David Parker Thu 22 January 2026
Immersion-based model predictive control of constrained nonlinear systems: Polyflow approximation Zheming Wang Raphael M. Jungers Wed 26 November 2025
Flag Algebras: A First Glance Marcel K. de Carli Silva Fernando Mário de Oliveira Filho Cristiane Maria Sato Fri 04 July 2025
Algorithmic analysis of systems with affine input and polynomial state Lorenzo Clemente Thu 03 April 2025
On Symmetries in Analytic Input-Output Systems W. Steven Gray Erik I. Verriest Fri 21 February 2025
An Interval Arithmetic Approach to Input-Output Reachability Ivan Perez Avellaneda Luis A. Duffaut Espinosa Fri 21 February 2025
Turing in the shadows of Nobel and Abel: an algorithmic story behind two recent prizes David Gamarnik Wed 29 January 2025
Formal Power Series Approach to Nonlinear Systems with Additive Static Feedback Subbarao Venkatesh Guggilam W. Steven Gray Sat 25 January 2025
Parameter Dependent Chen--Fliess Series and Their Nonrecursive Interconnections W. Steven Gray Natalie Pham Wed 15 January 2025
Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives Marius Belly Nathanael Fijalkow Hugo Gimbert Florian Horn Guillermo A. Pérez Pierre Vandenhove Mon 06 January 2025
The Subspace Flatness Conjecture and Faster Integer Programming Victor Reis Thomas Rothvoss Thu 01 August 2024
Provably Safe Neural Network Controllers via Differential Dynamic Logic Samuel Teuber Stefan Mitsch André Platzer Sun 23 June 2024
Learning Algorithms for Verification of Markov Decision Processes Tomáš Brázdil Krishnendu Chatterjee Martin Chmelik Vojtěch Forejt Jan Křetínský Marta Kwiatkowska Tobias Meggendorfer David Parker Mateusz Ujma Tue 02 April 2024
On the Complexity of Initial-and-Final-State Opacity for Discrete Event Systems Tomáš Masopust Petr Osička Sun 03 March 2024
Generating Series for Networks of Chen-Fliess Series W. Steven Gray Kurusch Ebrahimi-Fard Thu 29 February 2024
Combinatorics-Based Approaches to Controllability Characterization for Bilinear Systems Gong Cheng Wei Zhang -Shin Jr Li Thu 08 February 2024
A New Framework for Bounding Reachability Probabilities of Continuous-time Stochastic Systems Bai Xue Sat 30 December 2023
Solving Odd-Fair Parity Games Irmak Sağlam Anne-Kathrin Schmuck Thu 26 October 2023
A General Verification Framework for Dynamical and Control Models via Certificate Synthesis Alec Edwards Andrea Peruffo Alessandro Abate Thu 21 September 2023
Algorithmic Verification of Continuous and Hybrid Systems Oded Maler Wed 09 August 2023
Zero-Sum Games and Linear Programming Duality Bernhard von Stengel Thu 22 June 2023
Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives Jan Křetínský Tobias Meggendorfer Maximilian Weininger Fri 28 April 2023
Computing real radicals by moment optimization Lorenzo Baldi Bernard Mourrain Thu 20 October 2022
The variance-penalized stochastic shortest path problem Jakob Piribauer Ocan Sankur Christel Baier Sat 30 April 2022
Decentralized Observation of Discrete-Event Systems: At Least One Can Tell Stavros Tripakis Karen Rudie Mon 16 August 2021
Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method: The Brusselator and biped examples Jawher Jerray Laurent Fribourg Étienne André Thu 12 August 2021
Generation of bounded invariants via stroboscopic set-valued maps: Application to the stability analysis of parametric time-periodic systems Jawher Jerray Laurent Fribourg Thu 12 August 2021
Robust optimal control using dynamic programming and guaranteed Euler's method Jawher Jerray Laurent Fribourg Étienne André Thu 12 August 2021
Constructing invariant tori using guaranteed Euler method Jawher Jerray Laurent Fribourg Mon 26 July 2021
Robust Abstractions for Control Synthesis: Robustness Equals Realizability for Linear-Time Properties Jun Liu Wed 26 May 2021
Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey Abolfazl Lavaei Sadegh Soudjani Alessandro Abate Majid Zamani Fri 07 May 2021
Extraction of a computer-certified ODE solver Grigory Devadze Lars Flessing Stefan Streif Thu 08 April 2021
A survey of computational complexity results in systems and control Vincent D. Blondel John N. Tsitsiklis Thu 18 March 2021
Transience in Countable MDPs Stefan Kiefer Richard Mayr Mahsa Shirmohammadi Patrick Totzke Tue 05 January 2021
Deciding ømega-Regular Properties on Linear Recurrence Sequences Shaull Almagor Toghrul Karimov Edon Kelmendi Jøel Ouaknine James Worrell Fri 30 October 2020
Stackelberg Mean-payoff Games with a Rationally Bounded Adversarial Follower Mrudula Balachander Shibashis Guha Jean-François Raskin Sat 18 July 2020
Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game Rupak Majumdar Anne-Kathrin Schmuck Mon 06 July 2020
Detectability of labeled weighted (max-plus) automata Kuize Zhang Fri 26 June 2020
Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis Grigory Devadze Victor Magron Stefan Streif Mon 22 June 2020
On the Decidability of Reachability in Continuous Time Linear Time-Invariant Systems Mohan Dantam Amaury Pouly Mon 22 June 2020
On Decidability of Time-bounded Reachability in CTMDPs Rupak Majumdar Mahmoud Salamati Sadegh Soudjani Sat 13 June 2020
Automated Formal Synthesis of Lyapunov Neural Networks Alessandro Abate Daniele Ahmed Mirco Giacobbe Andrea Peruffo Sat 21 March 2020
FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints Anastasios Kyrillidis Anshumali Shrivastava Moshe Y. Vardi Zhiwei Zhang Tue 03 March 2020
Decisiveness of Stochastic Systems and its Application to Hybrid Models Patricia Bouyer Thomas Brihaye Mickael Randour Cédric Rivière Pierre Vandenhove Tue 14 January 2020
On the Skolem Problem for Continuous Linear Dynamical Systems Ventsislav Chonev Joel Ouaknine James Worrell Tue 30 April 2019
On the Decidability of Reachability in Linear Time-Invariant Systems Nathanael Fijalkow Joel Ouaknine Amaury Pouly João Sousa-Pinto James Worrell Mon 18 March 2019
Games for synthesis of controllers with partial observation A. Arnold A. Vincent I. Walukiewicz Tue 03 April 2018

Library Size: 13G (55 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]