Sciweavers

13717 search results - page 468 / 2744
» Control Systems
Sort
View
146
Voted
HYBRID
1998
Springer
15 years 10 months ago
Reachability Analysis via Face Lifting
Abstract. In this paper we discuss the problem of calculating the reachable states of a dynamical system de ned by ordinary di erential equations or inclusions. We present a protot...
Thao Dang, Oded Maler
HYBRID
1994
Springer
15 years 10 months ago
HYTECH: The Cornell HYbrid TECHnology Tool
This paper is addressed to potential users of HyTech, the Cornell Hybrid Technology Tool, an automatic tool for analyzing hybrid systems. We review the formal technologies that hav...
Thomas A. Henzinger, Pei-Hsin Ho
CDC
2009
IEEE
113views Control Systems» more  CDC 2009»
15 years 11 months ago
Decomposition based least squares estimation algorithm for non-uniformly sampled multirate systems
— In order to reduce the computational load of the recursive least squares (RLS) algorithm, a decomposition based least squares algorithm is developed for non-uniformly sampled m...
Yanjun Liu, Feng Ding
HYBRID
2007
Springer
15 years 10 months ago
Diagnosability Verification for Hybrid Automata
A notion of diagnosability for hybrid systems is defined, which generalizes the notion of observability. We verify bility properties on a timed automaton abstraction of the origina...
Maria Domenica Di Benedetto, Stefano Di Gennaro, A...
ISCI
2007
133views more  ISCI 2007»
15 years 6 months ago
Decision making in fuzzy discrete event systems
The primary goal of the study presented in this paper is to develop a novel and comprehensive approach to decision making using fuzzy discrete event systems (FDES) and to apply su...
Feng Lin, Hao Ying, R. D. MacArthur, J. A. Cohn, D...