4693 search results - page 134 / 939 » Verifying Hybrid Systems |
114
Voted
ICNC
2010
Springer
14 years 11 months ago
2010
Springer
—This paper combines artificial neural networks (ANN), fuzzy optimization and time-series econometric models in one unified framework to form a hybrid intelligent early warning...
112
Voted
ROBOCUP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
98
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— This paper studies a class of hybrid systems with linear (or linear plus saturated linear) continuous and discrete dynamics, which are determined by a flow map and jump map, a...
95
Voted
HYBRID
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
85
Voted
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
— Interconnection of several hybrid input-to-state stable (ISS) systems is considered in this paper. We ask under what condition is such an interconnection stable and how an ISS-...