2024 search results - page 307 / 405 » A Logic Based Approach for Dynamic Access Control |
133
click to vote
DSD
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
124
Voted
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
— State estimation is addressed for a class of discrete-time systems that may switch among different modes taken from a finite set. The system and measurement equations of each ...
214
Voted
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
—To deal with the estimation problem for systems subject to constraints while the corresponding noise processes are not completely known, the adaptive constraint-filtering method...
117
click to vote
HYBRID
2001
Springer
15 years 7 months ago
2001
Springer
An approach to estimation for a class of hybrid discrete-time linear systems using Luenberger observers is presented. The proposed Luenberger observer for such a kind of systems re...
103
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper is concerned with global asymptotic output synchronization in networks of identical feedback systems. Using an operator theoretic approach based on an incremental small ...