yusuke1997/dblp-id-title huggingface dataset:
Approximate counting and NP search problems
Galois Groups of First order Theories
Logical laws for short existential monadic second-order sentences about graphs
A Geometric Introduction to Forking and Thorn-Forking
There is no classification of the decidably presentable structures
Bounds on Scott ranks of some polish metric spaces
Determinacy in L(ℝ, μ)
Pseudofinite structures and simplicity
Suitable Extender Models II: beyond ω-Huge
Exact saturation in simple and NIP theories
Relativizing Chaitin's Halting Probability
Basis theorems for non-Potentially closed Sets and graphs of uncountable Borel chromatic number
Compactness and guessing principles in the Radin extensions
Erratum - On ω-strongly measurable cardinals in ℙmax extensions
Degrees containing members of thin Π10 classes are dense and co-dense
The strength of Jullien's indecomposability Theorem
On possible restrictions of the null ideal
Open Sets Satisfying Systems of Congruences
On notions of computability-theoretic reduction between Π21 principles
Incomparable Treeable Equivalence Relations
Knaster and friends II: The C-sequence number
How far is almost strong compactness from strong compactness
Isolating cardinal Invariants
Reverse Mathematics of MF Spaces
Higher indescribability and derived topologies
No Tukey reduction of Lebesgue null to Silver null sets
Continuous First order Logic for Unbounded Metric Structures
The large cardinal strength of weak Vopenka's principle
Toward a stability theory of tame abstract elementary classes
The equivalence of Axiom (∗)+ and Axiom (∗)++
Co-theory of sorted profinite groups for PAC structures
The mouse set theorem just past projective
An Ordinal Analysis of Admissible Set Theory using Recursion on Ordinal Notations
Every zero-dimensional homogeneous space is strongly homogeneous under determinacy
On perturbations of continuous Structures
Characterization of □ κ in Core Models
More definable combinatorics around the first and second uncountable cardinals
Nowhere Precipitousness of the non-stationary Ideal over
Set Mapping Reflection
On the antichain tree property
A Strong Law of computationally Weak Subsets
Boundedness and absoluteness of some dynamical invariants in model theory
The Biggest Five of Reverse Mathematics
Categoricity from One Successor cardinal in Tame Abstract Elementary Classes
Canonical Behavior of Borel Functions on superperfect Rectangles
Invariant measures in simple and in small theories
The consistency strength of hyperstationarity
Forcing axioms and coronas of C∗-algebras
Separating Principles below Ramsey's Theorem for Pairs
On löWenheim-Skolem-Tarski numbers for Extensions of First order Logic
Knight's Model, its automorphism Group, and Characterizing the uncountable Cardinals
Von Neumann Coordinatization is not First-order
Turing degrees in Polish spaces and decomposability of Borel functions
Computable aspects of the Bachmann-Howard principle
A Model with a Precipitous Ideal, but no Normal Precipitous Ideal
Strongly meager Sets do not Form an Ideal
Turing independence and Baire category
Positive Model Theory and Compact Abstract Theories
An equiconsistency Result on Partial squares
Defining integer-valued functions in rings of continuous definable functions over a topological field
Short Extenders Forcings I
Galois-stability for Tame Abstract Elementary Classes
The filter Dichotomy and Medial Limits
Few new reals
Maximal almost disjoint families, determinacy, and forcing
The axiom of multiple choice and models for constructive set theory
Valued fields with a total residue map
Local saturation and square everywhere
Logical metatheorems for accretive and (generalized) monotone set-valued operators
On the consistency of circuit lower bounds for non-deterministic time
Inner models from extended logics: Part 1
Definable V-topologies, Henselianity and NIP
Every Countable Model of Set Theory embeds into its Own Constructible Universe
The ∀∃ Theory of Peano σ 1 Sentences
Ordinal definability and combinatorics of equivalence relations
Interpolative fusions
Relative to any non-Hyperarithmetic Set
Collapsing the cardinals of HOD
Totally ω-computably Enumerable Degrees and Bounding Critical Triples
On metric approximate subgroups
Primitive Independence Results
Games of Length ω 1
Genericity and Large Cardinals
Coloring closed Noetherian graphs
Proof Theory of Weak compactness
Squares, scales and stationary Reflection
Computable Structures of Rank
Analysis and mitigation of one-step delay in real-time implementation of state-feedback controllers
Continuous-time non-linear flatness-based predictive control: an exact feedforward linearisation setting with an induction drive example
Structural transformations of probabilistic finite state machines
Monotonic convergence of iterative learning control systems with variable pass length
Adaptive finite-time output tracker design of uncertain nonlinear systems with sandwich structure and actuator saturation constraint
Robust finite-time containment control for high-order multi-agent systems with matched uncertainties under directed communication graphs
A note on the stability of bimodal systems in ℝ 3 with discontinuous vector fields
Defending the beauty of the Invariance Principle
Adaptive consensus control of leader-following systems with transmission nonlinearities
Robustification of input redundant feedback systems using robust actuator weighting in the control allocation problem
Automatic lateral emergency collision avoidance for a passenger car
Pole placement parameterisation for full-state feedback with minimal dimensionality and range
Robust state feedback stabilisation of positive LTI systems with polytopic uncertainty
Large signal-to-noise ratio quantification in MLE for ARARMAX models
Impact angle controlled integrated guidance and control with input and state constraints
Output feedback stabilisation of parallel coupled string equations with matched boundary disturbance
Comment on 'Persistent inputs and the standard H 2 -multivariable control problem' by K. Park and J.J. Bongiorno Jr
Sampled-data chain-observer design for a class of delayed nonlinear systems
Actuator fault detection for uncertain systems based on the combination of the interval observer and asymptotical reduced-order observer
Sliding mode prediction based control algorithm for discrete-time non-linear uncertain coupled systems
Parameter identification via modified twisting algorithm
Robust stability and boundedness of stochastic differential equations with delay driven by G-Brownian motion
Modelling issues and aggressive robust load frequency control of interconnected electric power systems
Global output feedback stabilisation of stochastic high-order feedforward nonlinear systems with time-delay
On the equivalence between the unbiased minimum-variance estimation and the infinity augmented Kalman filter
Restricted structure predictive control for linear and nonlinear systems
Neural network-based asymptotic tracking control of unknown nonlinear systems with continuous control command
Continuous-time nonlinear model predictive control based on Pontryagin Minimum Principle and penalty functions
State estimation and decoupling of unknown inputs in uncertain LPV systems using interval observers
Leader-follower and leaderless pose consensus of robot networks with variable time-delays and without velocity measurements
A block triangular observer form for non-linear observer design
Stabilisation of polytopic singularly perturbed linear systems
MIMO Nyquist interpretation of the large gain theorem
Robust explicit model predictive control via regular piecewise-affine approximation
An adaptive observer for wind velocity using a new torque model of a wind turbine
Passive actuator fault tolerant control for a class of MIMO nonlinear systems with uncertainties
Event-based mixed ℋ ∞ and passive filtering for discrete singular stochastic systems
A parametric approach to finite-dimensional control of linear distributed-parameter systems
Adaptive continuous twisting algorithm
Adaptive vibration control for stabilisation of the Euler-Bernoulli beam with an unknown payload
On the delay margin of dead-time compensators
Approximating distributional behaviour of LTI differential systems using Gaussian function and its derivatives
Comments on 'Differentiator application in altitude control for an indoor blimp robot'
Reduced-complexity interpolating control with periodic invariant sets
Finite-time intercept-angle guidance
An improved state-space model structure and a corresponding predictive functional control design with improved control performance
Two-person zero-sum game with terminal state constraints
Approximate controllability of fractional nonlocal delay semilinear systems in Hilbert spaces
Global adaptive HOSM differentiators via monitoring functions and hybrid state-norm observers for output feedback
Distributed adaptive leader-following tracking control of networked Lagrangian systems with unknown control directions under undirected/directed graphs
A robust adaptive control of a parallel robot
Exponential synchronisation of nonlinear multi-agent systems via distributed self-triggered hybrid control with virtual linked agents
Bilateral coordination quantisation control for master-slave flexible manipulators based on PDE dynamic model
Tuning and robustness analysis of event-based PID controllers under different event-generation strategies
Pinning synchronization of fractional-order delayed complex networks with non-delayed and delayed couplings
Integrated design of a linear/neuro-adaptive controller in the presence of norm-bounded uncertainties
Sliding-mode control of discrete-time linear plants with input saturation: application to a twin-rotor system
Finite-time path following control for a stratospheric airship with input saturation and error constraint
Composite predictive flight control for airbreathing hypersonic vehicles
Set-theoretic model reference adaptive control with time-varying performance bounds
Geometric control using the state-dependent Riccati equation: application to aerial-acrobatic maneuvers
Local-homogeneity-based global continuous control for mechanical systems with constrained inputs: finite-time and exponential stabilisation
Task-space fully distributed tracking control of networked uncertain robotic manipulators without velocity measurements
On-line structured subspace identification with application to switched linear systems
Adaptive fault-tolerant vibration control of a wind turbine blade with actuator stuck
Adaptive sliding mode control - convergence and gain boundedness revisited
Towards price-based predictive control of a small-scale electricity network
Failure-robust distributed controller architectures
Linear discrete-time global and regional anti-windup: an LMI approach
A fuzzy-based potential field hierarchical reinforcement learning approach for target hunting by multi-AUV in 3-D underwater environments
Optimal time-weighted H 2 model reduction for Markovian jump systems
An optimal control approach to robust tracking of linear systems
A flexible distributed framework for realising electric and plug-in hybrid vehicle charging policies
Decentralised consensus-based formation tracking of multiple differential drive robots
Sliding mode neurocontrol for the class of dynamic uncertain non-linear systems
Identification of Hammerstein-Wiener models with hysteresis front nonlinearities
Practical asymptotic stability of stochastic systems driven by Lévy processes and its application to control of TORA systems
Fixed-order stabilising controller design by a mixed randomised/deterministic method
Regional quadratic control problem for distributed bilinear systems with bounded controls
Adaptive output feedback control for a class of switched stochastic nonlinear time-delay systems
H 2 design of one-degree-of-freedom decoupling controllers for square plants
Harmonic suppression and delay compensation for inverters via variable horizon nonlinear model predictive control
Trajectory tracking for the magnetic ball levitation system via exact feedforward linearisation and GPI control
Perturbed nonlinear systems control using extended robust right coprime factorisation
Parameter estimation in time-triggered and event-triggered model-based control of uncertain systems
Controllability of linear systems on Heisenberg groups ℍn
Decentralised robust H∞ control of fractional-order interconnected systems with uncertainties
Distributed adaptive tracking control for high-order multi-agent systems with unknown dynamics
A new dynamic sliding mode controller with disturbance observer for controlling integrating processes with time delay
Finite-time-observer design for nonlinear impulsive systems with impact perturbation
MIMO H∞ control of three-axis ship-mounted mobile antenna systems
A distributed model predictive control (MPC) fault reconfiguration strategy for formation flying satellites
Learning-based model predictive control with moving horizon state estimation for autonomous racing
Consensus of general linear multi-agent systems based on second-order neighbours' information: directed topology case
New results on global stability analysis of discontinuous Cohen-Grossberg neural networks of neutral-type in Hale's form
Finite-time annular domain stability of Itô stochastic impulsive systems with markovian jumping under asynchronous switching
Model-free control
A revisit to inverse optimality of linear systems
Robust H ∞ control of a nonlinear uncertain system via a stable nonlinear output feedback controller
Nonovershooting state feedback and dynamic output feedback tracking controllers for descriptor systems
Prescribed and controlled finite-time convergence based on a disturbance observer for an adaptive sliding mode controller
Feedback stabilisation of infinite-dimensional bilinear systems with discrete delay
Dynamic stabilisation for an Euler-Bernoulli beam equation with boundary control and matched nonlinear disturbance
Strict feedforward control systems, linearisability, and convergent normal forms
Time delay and packet dropout compensation for networked control systems: a linear estimation method
Adaptive control of a Wiener type system: application of a pH Neutralization reactor
Decentralised adaptive tracking control for the interconnected nonlinear systems with asymmetric full state dynamic constraints
A new optimisation method of PIDC controller under constraints on robustness and sensitivity to measurement noise using amplitude optimum principle
UDE-based control of variable-speed wind turbine systems
Practical output feedback stabilisation for a class of continuous-time dynamic systems under sample-data outputs
Continuous-time mean-variance portfolio selection with value-at-risk and no-shorting constraints
A class of distributed event-triggered average consensus algorithms for multi-agent systems
Finite-time dynamic surface control using a novel nonlinear filter for nonlinear systems with input saturation and output constraint
Robust fault detection with missing measurements
Model-matching and decoupling for continuous- and discrete-time linear time-varying systems
The generalised isodamping approach for robust fractional PID controllers design
Block backstepping control of multi-input nonlinear systems with mismatched perturbations for asymptotic stability
Linear cluster consensus algorithms for signed delayed networks
Dissipative control for state-saturated discrete time-varying systems with randomly occurring nonlinearities and missing measurements
Consensus-based formation control for nonholonomic vehicles with parallel desired formations
Moving horizon observer with regularisation for detectable systems without persistence of excitation
Small-world architecture of networked control systems
On the optimally controlled stochastic shallow lake
Stability of stochastic Lévy noise coupled systems with mixed delays
Control configuration selection for bilinear systems via generalised Hankel interaction index array
Stability analysis and failure tolerant control for discrete-time linear systems with controller failure
Necessary and sufficient condition for non-concave network utility maximisation
Invariant output feedback stabilisability: the scalar case
Stabilization of nonlinear stochastic systems: event-triggered hybrid impulse control
Stabilisation of second-order LTI switched positive systems
Finite-time consensus for stochastic multi-agent systems
Parametric state feedback design of linear distributed-parameter systems
RISE-based backstepping control design for an electro-hydraulic arm system with parametric uncertainties
Stabilisation of nonlinear chemical processes via dynamic power-shaping passivity-based control
Extensions of Razumikhin-type stability theorems for nonlinear time-delay systems on time scales
Robust predictor feedback for discrete-time systems with input delays
Feedback-bounded stabilisation of certain discrete Volterra systems
Finding common quadratic Lyapunov functions for switched linear systems using particle swarm optimisation
Approximation of the set of integrable trajectories of the control system with limited control resources
Optimal velocity model with consideration of the lateral effect and its feedback control research
Prescribed performance event-triggered fault-tolerant control of uncertain pure-feedback nonlinear systems
Improved stability criteria for linear time-varying systems on time scales
Estimation-based approach for real-time optimisation of uncertain nonlinear systems
Controllability of quantum systems with switching control
Quadratic programming based data assimilation with passive drifting sensors for shallow water flows
Finite spectrum assignment of multi-input systems with non-commensurate delays
Distributed control for energy-efficient and fast consensus in wireless sensor networks
Interval state estimation for uncertain polytopic systems
A coordinates mixing matrix-based model for swarm formation
Eigenvalue optimisation-based centralised and decentralised stabilisation of time-delay systems
Linear systems, and ARMA- and Fliess models
Global output-feedback extremum seeking for a class of nonlinear dynamic systems with arbitrary relative degree
Input-to-state contraction for impulsive systems
Stabilisation of stochastic delayed systems with Lévy noise on networks via periodically intermittent control
Luenberger boundary observer synthesis for Sturm-Liouville systems
Predefined-time stabilisation of a class of nonholonomic systems
Comments on 'A new terminal sliding mode control for robotic manipulators'
Decentralised adaptive prescribed performance finite-time tracking control for a class of nonlinear interconnected systems with unknown control directions
Stochastic differential game formulation on the reinsurance and investment problem
Global asymptotic stabilisation in probability of nonlinear stochastic systems via passivity
A distributed control approach for heterogeneous linear multiagent systems
Online optimal tracking control of continuous-time linear systems with unknown dynamics by using adaptive dynamic programming
Feedback controls for desired dynamical behaviours of a new stochastic ecosystem with regime switching
Backstepping control design for stochastic systems driven by Lévy processes
On the index of convergence of a class of Boolean matrices with structural properties
Vision-based tracking using intelligent excitation
Lagrange stabilisation for uncertain phase-controlled systems
Generating self-excited oscillations for underactuated mechanical systems via two-relay controller
A switching control strategy for improving drug infusion
A numerical approach to hybrid nonlinear optimal control
Event-triggered fast finite-time adaptive neural prescribed tracking control for non-affine stochastic nonlinear systems with deception attacks
LTR design of disturbance cancellation integral controllers for time-delay plants
Adaptive second-order sliding-mode controller for shank-foot orthosis system
Multi-machine operations modelled and controlled as switched linear repetitive processes
Finite-time output feedback stabilisation of chained-form systems with inputs saturation
Interval estimation based on the reduced-order observer and peak-to-peak analysis
Optimal discrete-time H ∞ /γ 0 filtering and control under unknown covariances
Continuous global stabilisation of high-order time-delay nonlinear systems
Improved frequency sweeping technique and stability analysis of the second-order consensus protocol with distributed delays
Distributed event-triggered consensus for multi-agent systems with quantisation
An optimal stochastic multivariable PID controller: a direct output tracking approach
Cooperative control of multi-agent dynamical systems in target-enclosing operations using cyclic pursuit strategy
Mixed norm H 2 / H ∞ and entropy covariance control: a convex optimisation approach
Stability of switched stochastic reaction-diffusion systems
Suppression and stabilisation of noise
Stability analysis of a general family of nonlinear positive discrete time-delay systems
Lyapunov-based prescribed-time stabilisation control of quantum systems
Preview control for impulse-free continuous-time descriptor systems
Bumpless transfer design of virtual actuator against actuator failure
An unconstrained H 2 model order reduction optimisation algorithm based on the Stiefel manifold for bilinear systems
Nonlinear uncertain systems with nonlinear control channel and unilateral input constraints
Heavy vehicle suspension parameters identification and estimation of vertical forces: experimental results
DDPG-based controlling algorithm for upper limb prosthetic shoulder joint
Navigation of autonomous vehicles for oil spill cleaning in dynamic and uncertain environments
Numerical solution of continuous-time mean-variance portfolio selection with nonlinear constraints
The design of energy transfer filters for energy focus filtering
Parity equations-based unknown input reconstruction for MIMO stochastic systems with an application
An SRWNN-based approach on developing a self-learning and self-evolving adaptive control system for motion platforms
Dual representation and its online scheduling method for event-varying DESs with capacity constraints
Input-to-state stability of stochastic nonlinear fuzzy Cohen-Grossberg neural networks with the event-triggered control
Sampled-data observer design with time-varying scalar gain for sensorless control of induction motors
Novel hybrid MRAC-LQ control schemes: synthesis, analysis and applications
Constrained tracking control of stochastic multivariable nonlinear systems via Gaussian process predictions
Iterative linearization methods for approximately optimal control and estimation of non-linear stochastic system
Strict Lyapunov functions for finite-time control of robot manipulators
A numerical method for solving a nonlinear 2-D optimal control problem with the classical diffusion equation
Real-time economic nonlinear model predictive control for wind turbine control
Variable structure sliding mode control for a class of uncertain distributed parameter systems with time-varying delays
Adaptive nonlinear observer for state and unknown parameter estimation in noisy systems
The Lyapunov direct method for the stabilisation of the ball on the actuated beam
Consensus seeking of high-order dynamic multi-agent systems with fixed and switching topologies
Distributed linear estimation over sensor networks
Preservation of input-to-state stability under sampling and emulation: multi-rate case
Prescribed finite-time safe tracking control based on secure boundary protection method for nonlinear systems with unknown control gains
Dynamic periodic event-triggered control for input-to-state stability of multilayer coupled systems
Robust estimation-free prescribed performance back-stepping control of air-breathing hypersonic vehicles without affine models
Analysis of event-driven controllers for linear systems
Passivity-based PI control of first-order systems with I/O communication delays: a frequency domain analysis
Prescribed-time observer-based output feedback stabilisation of switched uncertain planar systems with asymmetric output constraints
Time-interval model reduction of bilinear systems
Stabilisation of a thermo-elastic system under nonuniformly bounded disturbances in the boundary input