IMITATOR: a tool for synthesizing constraints on timing bounds of timed automata We present here Imitator, a tool for synthesizing constraints on timing bounds (seen as parameters) in the framework of timed automata. Unlike classical synthesis methods, we take advantage of a given reference valuation of the parameters for which the system is known to behave properly. Our aim is to generate a constraint such that, under any valuation satisfying this constraint, the system is guaranteed to behave, in terms of alternating sequences of locations and actions, as under the reference valuation. This is useful for safely relaxing some values of the reference valuation, and optimizing timing bounds of the system. We have successfully applied our tool to various examples of asynchronous circuits and protocols.

References in zbMATH (referenced in 20 articles , 2 standard articles )

Showing results 1 to 20 of 20.
Sorted by year (citations)

  1. André, Étienne: Parametric deadlock-freeness checking timed automata (2016)
  2. André, Étienne; Liu, Yang; Sun, Jun; Dong, Jin-Song: Parameter synthesis for hierarchical concurrent real-time systems (2014)
  3. André, Étienne; Fribourg, Laurent; Sproston, Jeremy: An extension of the inverse method to probabilistic timed automata (2013)
  4. Waez, Md Tawhid Bin; Dingel, Juergen; Rudie, Karen: A survey of timed automata for the development of real-time systems (2013)
  5. André, Étienne; Fribourg, Laurent; Kühne, Ulrich; Soulat, Romain: IMITATOR 2.5: a tool for analyzing robustness in scheduling problems (2012) ioport
  6. André, Étienne; Soulat, Romain: Synthesis of timing parameters satisfying safety properties (2011)
  7. Fribourg, Laurent; Kühne, Ulrich: Parametric verification and test coverage for hybrid automata using the inverse method (2011)
  8. Palokangas, Tapio: Optimal patent length and breadth in an economy with creative destruction and non-diversifiable risk (2011)
  9. Matsushima, Noriaki; Matsumura, Toshihiro: Profit-enhancing parallel imports (2010)
  10. Roshtkhari, Mehrsan Javan; Arami, Arash; Lucas, Caro: Imitative learning based emotional controller for unknown systems with unstable equilibrium (2010)
  11. André, Étienne: IMITATOR: a tool for synthesizing constraints on timing bounds of timed automata (2009) ioport
  12. Hehenkamp, Burkhard; Kaarbøe, Oddvar M.: Imitators and optimizers in a changing environment (2008)
  13. Caulkins, Jonathan P.; Hartl, Richard F.; Kort, Peter M.; Feichtinger, Gustav: Explaining fashion cycles: imitators chasing innovators in product space (2007)
  14. Xie, Wenxin; Zhou, Ya; Li, Keqiang: Evolution game analysis of the unbalance in human capital investment (2007)
  15. Nemenchinskaya, E.O.; Kondratenko, Yu.V.; Sadovskij, M.G.: Preliminary results in the problem of data loss recovery with the help of the Kirdin kinetic machine (2004)
  16. Nehaniv, Chrystopher L.; Dautenhahn, Kerstin: Like me? -- Measures of correspondence and imitation. (2001)
  17. Amir, Rabah; Wooders, John: One-way spillovers, endogenous innovator/imitator roles, and research joint ventures (2000)
  18. Dorrer, M.G.: Intuitive forecast of mutual relations in a group using neural networks (1998)
  19. Tagliani, Aldo; Peccati, Lorenzo; Ferrari, Luigi: `Ebb and flow’ of fundamentalist, imitator and contrarian investors in a financial market (1997)
  20. Stanevichene, L.I.: One unresolvable algorithmic problem (1996)