2377 search results - page 29 / 476 » Hybrid Systems in TLA |
AUTOMATICA
2010
13 years 7 months ago
2010
The paper presents an algebraic characterization of observability and span-reachability of bilinear hybrid systems without guards, i.e. hybrid systems whose continuous dynamics is...
HYBRID
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. Hamilton-Jacobi partial differential equations have many applications in the analysis of nondeterministic continuous and hybrid systems. Unfortunately, analytic solution...
HYBRID
1995
Springer
13 years 11 months ago
1995
Springer
This paper discusses fundamentals of hybrid system modelling. Emphazis is put on compositionality and the use of multiform time. Compositionality refers to the ability of freely co...
HYBRID
2005
Springer
14 years 27 days ago
2005
Springer
This paper discusses an interpretation of hybrid systems as executable models. A specification of a hybrid system for this purpose can be viewed as a program in a domain-specific...
HYBRID
2009
Springer
14 years 2 months ago
2009
Springer
In this paper, we present an automatable decompositional method for the computation of Lyapunov functions for hybrid systems with complex discrete state spaces. We use graph-based ...