Search

Now showing items 1-10 of 76

Information Security Incident Management: Identified Practice in Large Organizations

Type: Conference Paper

Author : Hove, C. , Tarnes, M. , Line, M.B. , Bernsmed, K.

Publisher: IEEE

Year: 2014

A Heuristic Approach to Static Output-Feedback Controller Synthesis With Restricted Frequency-Domain Specifications

Type: Journal Paper

Author : Xianwei Li; Huijun Gao

Publisher: IEEE

Year: 2014

Application of Supervisory Control Synthesis to a Patient Support Table of a Magnetic Resonance Imaging Scanner

Type: Journal Paper

Author : Theunissen, R.J.M.; Petreczky, Mihaly; Schiffelers, Ramon R. H.; van Beek, D.A.; Rooda, J.E.

Publisher: IEEE

Year: 2014

Framework for Optimal Fault-Tolerant Control Synthesis: Maximize Prefault While Minimize Post-Fault Behaviors

Type: Journal Paper

Author : Qin Wen; Kumar, Ravindra; Jing Huang

Publisher: IEEE

Year: 2014

Fault-Tolerant Control for Safety of Discrete-Event Systems

Type: Journal Paper

Author : Shaolong Shu; Feng Lin

Publisher: IEEE

Year: 2014

A Method to Automate the Calibration of a Multiple Fiducial Marker Setup

Type: Conference Paper

Publisher: IEEE

Year: 2014

Formal Synthesis of Control Policies for Continuous Time Markov Processes From Time-Bounded Temporal Logic Specifications

Type: Journal Paper

Author : Ayala, Ana Medina; Andersson, Sean B.; Belta, Calin

Publisher: IEEE

Year: 2014

A Metric Temporal Logic Specification Interface for Real-Time Discrete-Event Control

Type: Journal Paper

Author : Dhananjayan, Amrith; Kiam Tian Seow

Publisher: IEEE

Year: 2014

Optimal Controller Synthesis for Decentralized Systems Over Graphs via Spectral Factorization

Type: Journal Paper

Author : Swigart, John; Lall, Sanjay

Publisher: IEEE

Year: 2014

DepSys: Dependency aware integration of cyber-physical systems for smart homes

Type: Conference Paper

Author : Munir, S. , Stankovic, J.A.

Publisher: IEEE

Year: 2014

1
2
3
4
. . .
8

Search

Information Security Incident Management: Identified Practice in Large Organizations

A Heuristic Approach to Static Output-Feedback Controller Synthesis With Restricted Frequency-Domain Specifications

Application of Supervisory Control Synthesis to a Patient Support Table of a Magnetic Resonance Imaging Scanner

Framework for Optimal Fault-Tolerant Control Synthesis: Maximize Prefault While Minimize Post-Fault Behaviors

Fault-Tolerant Control for Safety of Discrete-Event Systems

A Method to Automate the Calibration of a Multiple Fiducial Marker Setup

Formal Synthesis of Control Policies for Continuous Time Markov Processes From Time-Bounded Temporal Logic Specifications

A Metric Temporal Logic Specification Interface for Real-Time Discrete-Event Control

Optimal Controller Synthesis for Decentralized Systems Over Graphs via Spectral Factorization

DepSys: Dependency aware integration of cyber-physical systems for smart homes

Author

Publisher

Year

Keywords

Type

Language (ISO)

Content Type

Publication Title

Search

Filters

Information Security Incident Management: Identified Practice in Large Organizations

A Heuristic Approach to Static Output-Feedback Controller Synthesis With Restricted Frequency-Domain Specifications

Application of Supervisory Control Synthesis to a Patient Support Table of a Magnetic Resonance Imaging Scanner

Framework for Optimal Fault-Tolerant Control Synthesis: Maximize Prefault While Minimize Post-Fault Behaviors

Fault-Tolerant Control for Safety of Discrete-Event Systems

A Method to Automate the Calibration of a Multiple Fiducial Marker Setup

Formal Synthesis of Control Policies for Continuous Time Markov Processes From Time-Bounded Temporal Logic Specifications

A Metric Temporal Logic Specification Interface for Real-Time Discrete-Event Control

Optimal Controller Synthesis for Decentralized Systems Over Graphs via Spectral Factorization

DepSys: Dependency aware integration of cyber-physical systems for smart homes