378 search results - page 46 / 76 » Computing Controllers for Nonlinear Hybrid Systems |
118
click to vote
CCS
2009
ACM
15 years 10 months ago
2009
ACM
Role mining algorithms address an important access control problem: configuring a role-based access control system. Given a direct assignment of users to permissions, role mining...
120
click to vote
HYBRID
2007
Springer
15 years 9 months ago
2007
Springer
We provide an asymptotically tight, computationally efficient approximation of the joint spectral radius of a set of matrices using sum of squares (SOS) programming. The approach i...
145
click to vote
ITIIS
2010
14 years 10 months ago
2010
In this study, we propose a space search algorithm (SSA) and then introduce a hybrid optimization of fuzzy inference systems based on SSA and information granulation (IG). In comp...
137
click to vote
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
143
click to vote
RTSS
2003
IEEE
15 years 8 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...