Sciweavers

9698 search results - page 151 / 1940
» models 2010
Sort
View
EAAI
2007
199views more  EAAI 2007»
15 years 6 months ago
Nonlinear system modeling and robust predictive control based on RBF-ARX model
An integrated modeling and robust model predictive control (MPC) approach is proposed for a class of nonlinear systems with unknown steady state. First, the nonlinear system is id...
Hui Peng, Zi-Jiang Yang, Weihua Gui, Min Wu, Hideo...
MBEES
2010
15 years 8 months ago
ProMoSA - Probabilistic Models for Safety Analysis
: Das Ziel des ProMoSA Vorhabens st die Entwicklung eines durchgehend modell-basierten Ansatzes zur Sicherheitsanalyse. Dabei sollen sowohl quantitative als auch qualitative Aspekt...
Frank Ortmeier, Matthias Güdemann
TDP
2010
88views more  TDP 2010»
15 years 1 months ago
P-Sensitive K-Anonymity with Generalization Constraints
Numerous privacy models based on the kanonymity property and extending the kanonymity model have been introduced in the last few years in data privacy re search: ldiversity, psen...
Alina Campan, Traian Marius Truta, Nicholas Cooper
JLP
2010
73views more  JLP 2010»
15 years 1 months ago
Composing model programs for analysis
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
Margus Veanes, Jonathan Jacky
ENTCS
2006
96views more  ENTCS 2006»
15 years 6 months ago
Verification of AMBA Using a Combination of Model Checking and Theorem Proving
The Advanced Microcontroller Bus Architecture (AMBA) is an open System-onChip bus protocol for high-performance buses on low-power devices. We demonstrate the combined use of mode...
Hasan Amjad