Sciweavers

569 search results - page 39 / 114
» The Sisyphus Continuous Integration System
Sort
View
ER
1999
Springer
196views Database» more  ER 1999»
15 years 8 months ago
A Process-Integrated Conceptual Design Environment for Chemical Engineering
Abstract. The process industries (chemicals, food, oil, ...) are characterized by - continuous or batch -- processes of material transformation. The design of such processes, and t...
Matthias Jarke, Thomas List, Klaus Weidenhaupt
HYBRID
2000
Springer
15 years 7 months ago
Modular Specification of Hybrid Systems in CHARON
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, ...
CDC
2009
IEEE
147views Control Systems» more  CDC 2009»
15 years 8 months ago
On a small gain theorem for networks of iISS systems
— This paper considers networks consisting of integral input-to-state stable (iISS) subsystems and addresses the problem of verifying iISS property of a given network. First, we ...
Hiroshi Ito, Sergey Dashkovskiy, Fabian Wirth
CIDR
2007
111views Algorithms» more  CIDR 2007»
15 years 5 months ago
The Case for a Signal-Oriented Data Stream Management System
Sensors capable of sensing phenomena at high data rates—on the order of tens to hundreds of thousands of samples per second—are useful in many industrial, civil engineering, s...
Lewis Girod, Yuan Mei, Ryan Newton, Stanislav Rost...
DEDS
2002
97views more  DEDS 2002»
15 years 3 months ago
N-dimensional Cell-DEVS Models
This article presents an extension to the timed binary Cell-DEVS paradigm. The goal is to allow the modelling of n-dimensional generic cell spaces, including transport or inertial...
Gabriel A. Wainer, Norbert Giambiasi