Abstract. In earlier work, we developed a mathematical hybrid I/O automaton (HIOA) modeling framework, capable of describing both discrete and continuous behavior. This framework h...
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrage...
Real-time Systems, in particular regulation systems, are often specified using the notion of running modes. On the other hand, the family of synchronous languages [1] has been ve...
Abstract. P systems (known also as membrane systems) are biologically motivated theoretical models of distributed and parallel computing. The two most interesting questions in the ...
This paper proposes an optimization strategy which is based on neural networks and genetic algorithms to calculate the optimal values of gas injection rate and oil rate for oil pro...
Guillermo Jimenez de la Cruz, Jose A. Ruz-Hernande...
Processor is an important computing element in portable battery operated real time embedded system and it consumes most of the battery energy. Energy consumption, processor memory ...