Timestamp nets in technical applications

Hanisch, Hans-Michael; Thieme, Jan; Lautenbach, Kurt; Simon, Carlo

doi:10.1109/icsmc.1998.725395

Cited by 6 publications

(3 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, for this simple example it is not too difficult to identify the worst cases. (Approaches to really verify the model described as in Case A can be found in [1,3,4,7].) Figure 7 illustrates the behavior of the model given in Table 9 for the situation that: (a) the initial state lies somewhere in the region determined by H 1,0 P [0.2, 0.22] m, H 2,0 P [0.28, 0.3] m, and T 0 P 373 K; (b) the alarm temperature is set to TempAlarm 395 K. The figure contains four different trajectories, one for each corner point of the initial region.…”

Section: Simulation Resultsmentioning

confidence: 99%

An Experimental Batch Plant as a Test Case for the Verification of Hybrid Systems

Kowalewski

Stursberg

Bauer

2001

European Journal of Control

View full text Add to dashboard Cite

Section: Simulation Resultsmentioning

confidence: 99%

An Experimental Batch Plant as a Test Case for the Verification of Hybrid Systems

Kowalewski

Stursberg

Bauer

2001

European Journal of Control

View full text Add to dashboard Cite

“…By contrast, in our proposal we have assumed the presence of an explicit way of incrementing duration (modelled by synchronised counters). This is also different from the notion of timestamps introduced in [24] that again refers to an implicit notion of time. Indeed, our approach is conceptually closer to Petri nets with causal time [25] for the presence of an explicit transition for time progression.…”

Section: Related Workmentioning

confidence: 90%

Activity Networks with Delays an Application to Toxicity Analysis

Delaplace

Giusto

Giavitto

et al. 2018

View full text Add to dashboard Cite

ANDy, Activity Networks with Delays, is a discrete time framework aimed at the qualitative modelling of time-dependent activities. The modular and concise syntax makes ANDy suitable for an easy and natural modelling of time-dependent biological systems (i.e., regulatory pathways).Activities involve entities playing the role of activators, inhibitors or products of biochemical network operation. Activities may have given duration, i.e., the time required to obtain results. An entity may represent an object (e.g., an agent, a biochemical species or a family of thereof) with a local attribute, a state denoting its level (e.g., concentration, strength). Entities levels may change as a result of an activity or may decay gradually as time passes by.The semantics of ANDy is formally given via high-level Petri nets ensuring this way some modularity. As main results we show that ANDy systems have finite state representations even for potentially infinite processes and it well adapts to the modelling of toxic behaviours. As an illustration, we present a classification of toxicity properties and give some hints on how they can be verified with existing tools on ANDy systems. A small case study on blood glucose regulation is provided to exemplify the ANDy framework and the toxicity properties.

show abstract

“…Flowchart of the considered sub-process known (Kowalewski and Preußig, 1996). To be more realistic, we permit here that they may vary (Hanisch et al, 1998b, Hanisch et al, 1998a. Table 1 gives an overview over our estimations.…”

Section: Examplementioning

confidence: 99%

Modelling, Analysis, and Design of Hybrid Systems

Engell¹,

Frehse²,

Schnieder³

2002

Lecture Notes in Control and Information Sciences

View full text Add to dashboard Cite

PrefaceIn 1995, the Deutsche Forschungsgemeinschaft (DFG), the largest public research funding organization in Germany, decided to launch a priority program (Schwerpunktprogramm in German) called Kondisk-Dynamics and Control of Systems with Mixed Continuous and Discrete Dynamics. Such a priority program is usually sponsored for six years and supports about twenty scientists at a time, in engineering and computer science mostly young researchers working for a doctoral degree. There is a yearly competition across all disciplines of arts and sciences for the funding of such programs, and the group of proposers was the happy winner of a slot in that year. The program started in 1996 after an open call for proposals; the successful projects were presented and re-evaluated periodically, and new projects could be submitted simultaneously. During the course of the focused research program, 25 different projects were funded in 19 participating university institutes, some of the projects were collaborative efforts of two groups with different backgrounds, mostly one from engineering and one from computer science.There were two main motivations for establishing Kondisk. The first was the fact that technical systems nowadays are composed of physical components with (mostly) continuous dynamics and computerized control systems where the reaction to discrete events plays a major role, implemented in Programmable Logic Controllers (PLCs), Distributed Control Systems (DCSs) or real-time computer systems. These two elements interact closely, and the resulting behavior can be surprisingly complex even for very simple systems, as demonstrated for the filling of three or more tanks by a switched server (Chase et al., 1993. Such complex behavior can neither be analyzed nor synthesized by methods that are based on either purely continuous or purely discrete systems theory. Despite the lack of theoretical tools or even powerful simulation environments for systems with mixed continuous and discrete dynamics, such systems have been engineered successfully on a trial-and-error basis, applying a combination of "divide and conquer" and "separation of concerns". The price that has to be paid, however, is extensive testing, frequent iterations in the design process, and the lack of guarantees for safety and performance properties.The second important factor in the creation of the priority program Kondiskwas the growing awareness of the need for a more comprehensive approach to hybrid systems both in the computer science and the control engineering communities, and the fact that important foundations had been laid in both camps -and sometimes across their borders as well. It was one of the key ideas in the call for proposals that the interaction of scientists from computer science and control engineering should be stimulated, and this resulted in several interdisciplinary projects. These projects not only led to interesting and novel results but generally created a deeper understanding of the complementary theories and issues on both sides. So...

show abstract

Timestamp nets in technical applications

Cited by 6 publications

References 4 publications

An Experimental Batch Plant as a Test Case for the Verification of Hybrid Systems

An Experimental Batch Plant as a Test Case for the Verification of Hybrid Systems

Activity Networks with Delays an Application to Toxicity Analysis

Modelling, Analysis, and Design of Hybrid Systems

Contact Info

Product

Resources

About