4693 search results - page 130 / 939 » Verifying Hybrid Systems |
131
Voted
JIRS
2008
15 years 23 days ago
2008
Abstract This paper proposes an approach for reducing the computational complexity of a model-predictive-control strategy for discrete-time hybrid systems with discrete inputs only...
102
Voted
HYBRID
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We consider the dynamic feedback problem in a class of hybrid systems modeled as (infinite) state deterministic transition systems, in which the continuous variables are...
107
Voted
HYBRID
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper we model coupled genetic and metabolic networks as hybrid systems. The vector fields are multi - affine, i.e., have only product - type nonlinearities to a...
124
Voted
IPPS
2010
IEEE
14 years 10 months ago
2010
IEEE
Complex networks capture interactions among entities in various application areas in a graph representation. Analyzing large scale complex networks often answers important question...
121
Voted
TCS
2002
15 years 13 days ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...