Sciweavers

2757 search results - page 85 / 552
» On separating systems
Sort
View
143
Voted
CDC
2009
IEEE
113views Control Systems» more  CDC 2009»
15 years 8 months ago
Computation of safety control for uncertain piecewise continuous systems on a partial order
— In this paper, the safety control problem for a class of hybrid systems with disturbance inputs and imperfect continuous state information is considered. Under the assumption t...
Michael R. Hafner, Domitilla Del Vecchio
135
Voted
ACSAC
1999
IEEE
15 years 8 months ago
Security Architecture Development and Results for a Distributed Modeling and Simulation System
This paper reports on an ongoing effort to define the security architecture for the Joint Simulation System (JSIMS), a joint military modeling and simulation system. It also descr...
Richard B. Neely
132
Voted
VL
1999
IEEE
103views Visual Languages» more  VL 1999»
15 years 8 months ago
ZASH: A Browsing System for Multi-Dimensional Data
This paper described a browsing system for movie database. The system, named ZASH, was designed and developed to explore the following features: (1) the use of multiple 2D planes ...
Emiko Orimo, Hideki Koike
CSFW
2008
IEEE
15 years 10 months ago
Information Flow in Systems with Schedulers
Abstract. The focus of work on information flow security has primarily been on definitions of security in asynchronous systems models. This paper considers systems with scheduler...
Ron van der Meyden, Chenyi Zhang
112
Voted
CDC
2008
IEEE
129views Control Systems» more  CDC 2008»
15 years 6 months ago
Observer-based control of discrete-time piecewise affine systems: Exploiting continuity twice
Output-based feedback control of discrete-time hybrid systems is an important problem, as in practice it is rarely the case that the full state variable is available for feedback. ...
Maurice Heemels, Mircea Lazar, Nathan van de Wouw,...