Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Lubos Spacek
Verification of Robust Properties of Digital Control Closed-Loop Systems
Related publications
Robust Grey-Box Closed-Loop Stop-And-Go Control
Robust Fault Detection in Open Loop vs. Closed Loop
Open-Loop and Closed-Loop Control of Flying Qubits
Journal of Physics B: Atomic, Molecular and Optical Physics
Condensed Matter Physics
Optics
Atomic
Molecular Physics,
Interval Analysis of the Eigenvalues of Closed-Loop Control Systems With Uncertain Parameters
Actuators
Control
Systems Engineering
Optimization
Formal Non-Fragile Stability Verification of Digital Control Systems With Uncertainty
IEEE Transactions on Computers
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Software
Interconnection of Subsystems in Closed-Loop Systems
Closed-Loop Verification of Medical Devices With Model Abstraction and Refinement
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Testing of Concrete Under Closed-Loop Control
Advanced Cement Based Materials
Partner Perspectives on Closed Loop Systems
PLAID: People Living with And Inspired by Diabetes