665 search results - page 32 / 133 » The Theory of Hybrid Automata |
FLAIRS
2001
15 years 1 months ago
2001
In formallyanalyzinganddevelopingindustrialsizedsystems weare often confrontedwiththe problemof expressingrealtimeproperties.Especiallyin safetycritical applications as, for examp...
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
— We propose a diagnosability notion that depends on two parameters denoted as (δd, δm) for the general class of transition systems where the observable output is given by disc...
DDECS
2007
IEEE
15 years 6 months ago
2007
IEEE
79
Voted
FORMATS
2007
Springer
15 years 6 months ago
2007
Springer
LFCS
2007
Springer
15 years 6 months ago
2007
Springer
