Search

نمایش تعداد 1-10 از 76

Information Security Incident Management: Identified Practice in Large Organizations

نوع: Conference Paper

نویسنده : Hove, C. , Tarnes, M. , Line, M.B. , Bernsmed, K.

ناشر: IEEE

سال: 2014

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

نوع: Journal Paper

نویسنده : Xianwei Li; Huijun Gao

ناشر: IEEE

سال: 2014

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

نوع: Journal Paper

نویسنده : Theunissen, R.J.M.; Petreczky, Mihaly; Schiffelers, Ramon R. H.; van Beek, D.A.; Rooda, J.E.

ناشر: IEEE

سال: 2014

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

نوع: Journal Paper

نویسنده : Qin Wen; Kumar, Ravindra; Jing Huang

ناشر: IEEE

سال: 2014

Fault-Tolerant Control for Safety of Discrete-Event Systems

نوع: Journal Paper

نویسنده : Shaolong Shu; Feng Lin

ناشر: IEEE

سال: 2014

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

نوع: Conference Paper

ناشر: IEEE

سال: 2014

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

نوع: Journal Paper

نویسنده : Ayala, Ana Medina; Andersson, Sean B.; Belta, Calin

ناشر: IEEE

سال: 2014

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

نوع: Journal Paper

نویسنده : Dhananjayan, Amrith; Kiam Tian Seow

ناشر: IEEE

سال: 2014

Optimal Controller Synthesis for Decentralized Systems Over Graphs via Spectral Factorization

نوع: Journal Paper

نویسنده : Swigart, John; Lall, Sanjay

ناشر: IEEE

سال: 2014

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

نوع: Conference Paper

نویسنده : Munir, S. , Stankovic, J.A.

ناشر: IEEE

سال: 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

نویسنده

ناشر

سال

کلیدواژه

نوع

زبان

نوع محتوا

عنوان ناشر

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