4.6 Article

Process Performance Verification Using Viability Theory

Related references

Note: Only part of the references are listed.
Review Automation & Control Systems

The current state of control loop performance monitoring - A survey of application in industry

Margret Bauer et al.

JOURNAL OF PROCESS CONTROL (2016)

Article Automation & Control Systems

Robust fault estimation and compensation for LPV systems under actuator and sensor faults

Maria M. Seron et al.

AUTOMATICA (2015)

Article Computer Science, Interdisciplinary Applications

CheckMATE: Confronting your favourite new physics model with LHC data

Manuel Drees et al.

COMPUTER PHYSICS COMMUNICATIONS (2015)

Article Automation & Control Systems

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)

Article Automation & Control Systems

Lagrangian methods for approximating the viability kernel in high-dimensional systems

John N. Maidens et al.

AUTOMATICA (2013)

Article Automation & Control Systems

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)

Article Automation & Control Systems

Hybrid Systems in Robotics Toward Reachability-Based Controller Design

Jerry Ding et al.

IEEE ROBOTICS & AUTOMATION MAGAZINE (2011)

Article Automation & Control Systems

Reachability analysis of linear systems using support functions

Colas Le Guernic et al.

NONLINEAR ANALYSIS-HYBRID SYSTEMS (2010)

Article Automation & Control Systems

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)

Article Engineering, Aerospace

Aircraft autolander safety analysis through optimal control-based reach set computation

Alexandre M. Bayen et al.

JOURNAL OF GUIDANCE CONTROL AND DYNAMICS (2007)

Article Automation & Control Systems

Guaranteed state estimation by zonotopes

T Alamo et al.

AUTOMATICA (2005)

Article Engineering, Electrical & Electronic

Computational techniques for the verification of hybrid systems

CJ Tomlin et al.

PROCEEDINGS OF THE IEEE (2003)

Article Engineering, Civil

Safety verification of conflict resolution maneuvers

C Tomlin et al.

IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS (2001)

Article Engineering, Electrical & Electronic

Discrete abstractions of hybrid systems

R Alur et al.

PROCEEDINGS OF THE IEEE (2000)

Article Automation & Control Systems

Programming and control of robots by means of differential algebraic inequalities

RJ Spiteri et al.

IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION (2000)