Pinisetty, Srinivas; Falcone, Yliès; Jéron, Thierry; Marchand, Hervé; Rollet, Antoine; Nguena Timo, Omer Runtime enforcement of timed properties revisited. (English) Zbl 1314.68102 Form. Methods Syst. Des. 45, No. 3, 381-422 (2014). MSC: 68N30 68Q45 68Q60 PDF BibTeX XML Cite \textit{S. Pinisetty} et al., Form. Methods Syst. Des. 45, No. 3, 381--422 (2014; Zbl 1314.68102) Full Text: DOI
Geeraerts, Gilles; Raskin, Jean-François; Sznajder, Nathalie On regions and zones for event-clock automata. (English) Zbl 1314.68176 Form. Methods Syst. Des. 45, No. 3, 330-380 (2014). MSC: 68Q45 PDF BibTeX XML Cite \textit{G. Geeraerts} et al., Form. Methods Syst. Des. 45, No. 3, 330--380 (2014; Zbl 1314.68176) Full Text: DOI
Fribourg, L.; Kühne, U.; Soulat, R. Finite controlled invariants for sampled switched systems. (English) Zbl 1303.93121 Form. Methods Syst. Des. 45, No. 3, 303-329 (2014). MSC: 93C57 93C30 93B50 93C95 PDF BibTeX XML Cite \textit{L. Fribourg} et al., Form. Methods Syst. Des. 45, No. 3, 303--329 (2014; Zbl 1303.93121) Full Text: DOI