The spiral lifecycle is being extended to address new challenges for Software-Intensive Systems of Systems (SISOS), such as coping with rapid change while simultaneously assuring high dependability. A hybrid plan-driven and agile process has been outlined to address these conflicting challenges with the need to rapidly field incremental capabilities. A system dynamics model has been developed t...

We consider parabolic PDEs with randomly switching boundary conditions. In order to analyze these random PDEs, we consider more general stochastic hybrid systems and prove convergence to, and properties of, a stationary distribution. Applying these general results to the heat equation with randomly switching boundary conditions, we find explicit formulae for various statistics of the solution a...

Hybrid bioreactor having both suspended-growth and attached-growth bacteria is found a novel and excellent bioreactor system for treating the municipal wastewater containing inhibitory substrates too. In this reactor a fraction of substrate is used by suspended biomass and the remaining by attached biomass resulting in the competition between the two growths for the substrate. The combination o...

This article presents two hybrid strategies for the modeling and optimization of the glucose to gluconic acid batch bioprocess. In the hybrid approaches, first a novel artificial intelligence formalism, namely, genetic programming (GP), is used to develop a process model solely from the historic process input-output data. In the next step, the input space of the GP-based model, representing pro...

Process models are a widely established means to capture business processes. Large organizations maintain process model collections with hundreds of process models. Maintenance of these collections can be supported by business process model abstraction. Given a detailed model, an abstraction technique derives a coarse grained process model that preserves the essential process properties. In thi...

Probabilistic and stochastic behavior are omnipresent in computer controlled systems, in particular, so-called safety-critical hybrid systems, because of fundamental properties of nature, uncertain environments, or simplifications to overcome complexity. Tightly intertwining discrete, continuous and stochastic dynamics complicates modelling, analysis and verification of stochastic hybrid system...

Hybrid separation systems have recently been hailed as one of the inost promising alternatives to conventional capital and energy intensive separation processes. Hybrid separation systems are able to effectively separate inixtures commonly encountered in the fine chemical and pharmaceutical industries that are difficult or impossible to separate by conventional distillation processes due to aze...

A set of hybrid microstrip patch and semi-circular cavity antennas is introduced. The semi-circular cavity is implemented using Half-mode Substrate Integrated Waveguide (HMSIW) technique. Different shapes of patch include rectangular, semi-circular and equilateral triangular are excited using proximity effect by the circular SIW cavity at its TM010 mode of operation. The whole structures have b...