262 search results - page 8 / 53 » Design of linear observers for a class of linear hybrid syst... |
CDC
2008
IEEE
14 years 1 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...
AUTOMATICA
2004
13 years 7 months ago
2004
In this paper, we consider the problem of observer design for dynamical systems with scalar output by linearization of the error dynamics via coordinate change, output injection, ...
VMCAI
2005
Springer
14 years 29 days ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
ENTCS
2008
13 years 7 months ago
2008
We describe some results inspired to Lafont's Soft Linear Logic (SLL) which is a subsystem of second-order linear logic with restricted rules for exponentials, correct and co...
HYBRID
2010
Springer
14 years 2 months ago
2010
Springer
In this paper we study one-clock priced timed automata in which prices can grow linearly ( ˙p = k) or exponentially ( ˙p = kp), with discontinuous updates on edges. We propose E...