相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。The current state of control loop performance monitoring - A survey of application in industry
Margret Bauer et al.
JOURNAL OF PROCESS CONTROL (2016)
Robust fault estimation and compensation for LPV systems under actuator and sensor faults
Maria M. Seron et al.
AUTOMATICA (2015)
CheckMATE: Confronting your favourite new physics model with LHC data
Manuel Drees et al.
COMPUTER PHYSICS COMMUNICATIONS (2015)
Analysis, Design, and Experimental Verification of a Synchronous Reference Frame Voltage Control for Single-Phase Inverters
Mohammad Monfared et al.
IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS (2014)
Lagrangian methods for approximating the viability kernel in high-dimensional systems
John N. Maidens et al.
AUTOMATICA (2013)
Control Loop Performance Assessment With a Dynamic Neuro-Fuzzy Model (dFasArt)
Jose-Manuel Cano-Izquierdo et al.
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2012)
Hybrid Systems in Robotics Toward Reachability-Based Controller Design
Jerry Ding et al.
IEEE ROBOTICS & AUTOMATION MAGAZINE (2011)
Reachability analysis of linear systems using support functions
Colas Le Guernic et al.
NONLINEAR ANALYSIS-HYBRID SYSTEMS (2010)
Safety verification and adaptive model predictive control of the hybrid dynamics of a fuel cell system
M. Fiacchini et al.
INTERNATIONAL JOURNAL OF ADAPTIVE CONTROL AND SIGNAL PROCESSING (2008)
Aircraft autolander safety analysis through optimal control-based reach set computation
Alexandre M. Bayen et al.
JOURNAL OF GUIDANCE CONTROL AND DYNAMICS (2007)
Guaranteed state estimation by zonotopes
T Alamo et al.
AUTOMATICA (2005)
Real-time implementation of multi-linear model-based control strategies -: an application to a bench-scale pH neutralization reactor
O Galán et al.
JOURNAL OF PROCESS CONTROL (2004)
Computational techniques for the verification of hybrid systems
CJ Tomlin et al.
PROCEEDINGS OF THE IEEE (2003)
Safety verification of conflict resolution maneuvers
C Tomlin et al.
IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS (2001)
Discrete abstractions of hybrid systems
R Alur et al.
PROCEEDINGS OF THE IEEE (2000)
Programming and control of robots by means of differential algebraic inequalities
RJ Spiteri et al.
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION (2000)