2838 search results - page 141 / 568 » Verifying Controlled Components |
94
Voted
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
In this paper, we study the reachability problem for the class of (strictly) monotone Petri nets that we define based on algebraic conditions. More specifically, given a (strictly)...
111
Voted
CSREASAM
2006
15 years 2 months ago
2006
Current computer security systems are based on the premise that once a user presents valid credentials to the authentication system (e.g. valid ID and password), they are granted ...
91
Voted
IROS
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract—Network controllers (NCs) are devices that are capable of converting dynamic, spatially extended, and functionally specialized modules into a taskable goal-oriented grou...
118
click to vote
JCP
2006
15 years 22 days ago
2006
We propose and evaluate a novel framework for enforcing global coordination and control policies over message passing software components in enterprise computing environments. This...
96
Voted
AUTOMATICA
2005
15 years 20 days ago
2005
: Given a continuous-time controller and a Lyapunov function that shows global asymptotic stability for the closed loop system, we provide several results for modification of the c...