1357 search results - page 9 / 272 » Compositional analysis for linear systems |
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— Given an initial set of a nonlinear system with uncertain parameters and inputs, the set of states that can possibly be reached is computed. The approach is based on local line...
HYBRID
2004
Springer
14 years 3 months ago
2004
Springer
CMSB
2006
Springer
14 years 1 months ago
2006
Springer
Genetic regulatory networks have been modeled as discrete transition systems by many approaches, benefiting from a large number of formal verification algorithms available for the ...
ICDE
2007
IEEE
14 years 1 months ago
2007
IEEE
"Software as a service" approach has become a reality since efforts of both industry and research focused on service integration on the web. It would be possible to see ...