Sciweavers

2366 search results - page 124 / 474
» Pfaffian Hybrid Systems
Sort
View
AMAI
2006
Springer
15 years 27 days ago
A formal mathematical framework for modeling probabilistic hybrid systems
Robert St-Aubin, Joel Friedman, Alan K. Mackworth
60
Voted
ENTCS
2008
105views more  ENTCS 2008»
15 years 27 days ago
Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax
Alberto Momigliano, Alan J. Martin, Amy P. Felty
60
Voted
ESWA
2008
152views more  ESWA 2008»
15 years 26 days ago
Design of a hybrid system for the diabetes and heart diseases
Humar Kahramanli, Novruz Allahverdi
64
Voted
FMSD
2008
74views more  FMSD 2008»
15 years 26 days ago
Abstractions for hybrid systems
Ashish Tiwari