Modeling and Control of Hybrid Timed Event Graphs with Multipliers Using (Min, +) Algebra

Author： Hamaci S.   Boimond J.-L.   Lahaye S.  

Publisher： Springer Publishing Company

ISSN： 0924-6703

Source： Discrete Event Dynamic Systems, Vol.16, Iss.2, 2006-04, pp. : 241-256

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

THE USE OF CONVENTIONAL AND MINPLUS ALGEBRA FOR THE MODELING OF HYBRID PETRI NETS

By Komenda Jan   Moudni A. El   Zerhouni N.  

Cybernetics and Systems, Vol. 29, Iss. 8, 1998-11 ,pp. : 869-884

Taylor & Francis Ltd

Access to resources Recommend Favorite

ON THE CALCULATION OF THE TRANSFER FUNCTION OF TIMED EVENT PETRI NETS

By Komenda Jan   Moudni A. El   Zerhouni N.   Ferney M.  

Cybernetics and Systems, Vol. 28, Iss. 7, 1997-10 ,pp. : 607-624

Taylor & Francis Ltd

Access to resources Recommend Favorite

Event-clock automata: a determinizable class of timed automata

By Alur R.   Fix L.   Henzinger T.A.  

Theoretical Computer Science, Vol. 211, Iss. 1, 1999-01 ,pp. : 253-273

Elsevier

Access to resources Recommend Favorite

Extending Timed Automata for Compositional Modeling Healthy Timed Systems

By Braberman V.   Olivero A.  

Electronic Notes in Theoretical Computer Science, Vol. 52, Iss. 3, 2004-01 ,pp. : 1-19

Elsevier

Access to resources Recommend Favorite

Timed verification of the generic architecture of a memory circuit using parametric timed automata

By Chevallier Remy   Encrenaz-Tiphene Emmanuelle   Fribourg Laurent   Xu Weiwen  

Formal Methods in System Design, Vol. 34, Iss. 1, 2009-02 ,pp. : 59-81

Springer Publishing Company

Access to resources Recommend Favorite