Sciweavers

475 search results - page 2 / 95
» An Approach to the Description and Analysis of Hybrid System...
Sort
View
EMSOFT
2009
Springer
14 years 5 months ago
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
Kai Lampka, Simon Perathoner, Lothar Thiele
SRDS
1999
IEEE
14 years 3 months ago
Formal Hazard Analysis of Hybrid Systems in cTLA
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
Peter Herrmann, Heiko Krumm
ACTA
2007
114views more  ACTA 2007»
13 years 11 months ago
Hybridization methods for the analysis of nonlinear systems
Abstract In this article, we describe some recent results on the hybridization methods for the analysis of nonlinear systems. The main idea of our hybridization approach is to appl...
Eugene Asarin, Thao Dang, Antoine Girard
HYBRID
2001
Springer
14 years 3 months ago
Accurate Event Detection for Simulating Hybrid Systems
It has been observed that there are a variety of situations in which the most popular hybrid simulation methods can fail to properly detect the occurrence of discrete events. In th...
Joel M. Esposito, Vijay Kumar, George J. Pappas
HYBRID
2001
Springer
14 years 3 months ago
Hybrid Modeling and Simulation of Biomolecular Networks
Abstract. In a biological cell, cellular functions and the genetic regulatory apparatus are implemented and controlled by a network of chemical reactions in which regulatory protei...
Rajeev Alur, Calin Belta, Franjo Ivancic