Hybrid technical systems combine discrete-state event-driven and continuous-state time-driven behavior. In this contribution, a general modeling formalism for such systems is proposed. The discrete subsystem is represented by an interpreted Petri net. In addition to external continuous inputs, discrete variables dependent on the net marking aaect the continuous subsystem which is a time-driven ...

Evolutionary design is one kind of intelligently cooperative design, which is analogous to the evolutionary process of products. A forming method for the genome of 3D model in evolutionary design is proposed based on feature functions and topology functions. 3D model consists of features, which can respond to the environment by their functional faces and parameters, the genome which is represen...

In heterogeneous data warehousing environments, autonomous data sources are integrated into a materialised integrated database. The schemas of the data sources and the integrated database may be expressed in different modelling languages. It is possible for either the data source schemas or the warehouse schema to evolve. This evolution may include evolution of the schema, or evolution of the m...

A continuous evolution of business process parameters, constraints and needs, hardly foreseeable initially, requires from the business process management systems a continuous design and a reliable process model. In this paper, we are interested in developing a reactive design through a process log analysis ensuring process re-engineering and execution reliability. We propose to analyse workflow...

This paper introduces the HI-Maude tool that supports the formal modeling, simulation, and model checking of interacting hybrid systems in rewriting logic. Interacting hybrid systems exhibit both discrete and continuous behaviors, and are composed of components that influence each other’s continuous dynamics. HI-Maude supports the compositional modeling of such systems, where the user only need...

Hybrid Communicating Sequential Processes (HCSP) is a powerful formal modeling language for hybrid systems, which is an extension of CSP by introducing differential equations for modeling continuous evolution and interrupts for modeling interaction between continuous and discrete dynamics. In this paper, we investigate the semantic foundation for HCSP from an operational point of view by propos...

Current research and practice in business process modeling corroborate the belief that quality issues are still not addressed with the necessary diligence here as, for instance, in the area of requirements engineering. Our position to be discussed is that the continuous traceability of quality issues could lead to more adequate processes and systems. To underpin this position, we develop an ini...

We report on some recent improvements to an HMMbased, continuous speech recognition system which is being developed at AT&T Bell Laboratories. These advances, which include the incorporation of inter-word, context-dependent units and an improved feature analysis, lead to a recognition system which achieves better than 95% word accuracy for speaker independent recognition of the 1000-word, DARPA...

Animals sustain the ability to operate after injury by creating qualitatively different compensatory behaviors. Although such robustness would be desirable in engineered systems, most machines fail in the face of unexpected damage. We describe a robot that can recover from such change autonomously, through continuous self-modeling. A four-legged machine uses actuation-sensation relationships to...

Inference from hospital patient records is difficult because data collection is done at arbitrary (not evenlyspaced) time intervals, and key clinical information is recorded only in unstructured form (as free text in doctors’ notes). We present remind, a framework for performing inference from patient records based upon continuous-time Markov models and Bayesian networks. We empirically justify...