Sciweavers

1831 search results - page 86 / 367
» Time Constraints in Workflow Systems
Sort
View
SRDS
1997
IEEE
15 years 10 months ago
Software Approach to Hazard Detection Using On-line Analysis of Safety Constraints
Hazard situations in safety-critical systems are typically complex, so there is a need for means to detect complex hazards and react in a timely and meaningful way. This paper add...
Beth A. Schroeder, Karsten Schwan, Sudhir Aggarwal
EMSOFT
2010
Springer
15 years 4 months ago
Model-based implementation of real-time applications
Correct and efficient implementation of general real-time applications remains by far an open problem. A key issue is meeting timing constraints whose satisfaction depends on feat...
Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis
CDC
2008
IEEE
239views Control Systems» more  CDC 2008»
16 years 14 days ago
Construction of Lyapunov-Krasovskii functional for time-varying delay systems
This paper provides some new techniques to construct a LyapunovKrasovskii functional for time varying delay systems. The construction is based on a partitioning scheme of the time...
Yassine Ariba, Frédéric Gouaisbaut
CDC
2009
IEEE
121views Control Systems» more  CDC 2009»
15 years 10 months ago
Piecewise-linear constrained control for timed continuous Petri nets
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...
Carlos Renato Vázquez, Manuel Silva
ISORC
2009
IEEE
16 years 19 days ago
On the Semantics of UML/MARTE Clock Constraints
The UML goal of being a general-purpose modeling language discards the possibility to adopt too precise and strict a semantics. Users are to refine or define the semantics in th...
Frédéric Mallet, Charles André...