Search results for "Dioid"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
52	Duan Zhang, Huaping Dai, Youxian Sun	A Dioid Linear Algebra Approach to Study a Class of Continuous Petri Nets.	NPC	2004	DBLP DOI BibTeX RDF
49	Changjing Wang, Jinyun Xue	Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems.	FAW	2009	DBLP DOI BibTeX RDF	High-trustworthy, Path problem, Generic algorithm, Formal derivation, Dioid
49	Mark Hopkins	The Algebraic Approach II: Dioids, Quantales and Monads.	RelMiCS	2008	DBLP DOI BibTeX RDF	Kleene, Monad, Category, Ideal, Semiring, Adjunction, Quantale, Dioid
49	Charles André	Delays in synchronized elementary net systems.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	Synchronized Elementary Net Systems, Delay, Process, Time Petri nets, POset, Elementary Net Systems, Dioid
30	Davide Zorzenon, Jan Komenda, Jörg Raisch	The non-positive circuit weight problem in parametric graphs: A solution based on dioid theory.	Discret. Appl. Math.	2022	DBLP DOI BibTeX RDF
30	Han Yun-Xiang, Xiao-qiong Huang	A New Traffic Flow Control Method for Terminal Control Area Using Dioid Algebra.	IEEE Trans. Aerosp. Electron. Syst.	2021	DBLP DOI BibTeX RDF
30	Davide Zorzenon, Jan Komenda, Jörg Raisch	The non-positive circuit weight problem in parametric graphs: a fast solution based on dioid theory.	CoRR	2021	DBLP BibTeX RDF
30	Fatima Ait Oumeziane, Alain Ourghanlian, Saïd Amari	Analysis of distributed control systems using timed automata with guards and dioid algebra.	ETFA	2020	DBLP DOI BibTeX RDF
30	Ishay Haviv, Dan Levy	Dioid partitions of groups.	Eur. J. Comb.	2018	DBLP DOI BibTeX RDF
30	Thomas Brunsch, Jörg Raisch, Laurent Hardouin, Olivier Boutin	Discrete-Event Systems in a Dioid Framework: Modeling and Analysis.	Control of Discrete-Event Systems	2013	DBLP DOI BibTeX RDF
30	Laurent Hardouin, Olivier Boutin, Bertrand Cottenceau, Thomas Brunsch, Jörg Raisch	Discrete-Event Systems in a Dioid Framework: Control Theory.	Control of Discrete-Event Systems	2013	DBLP DOI BibTeX RDF
30	Roland Glück	Two Observations in Dioid Based Model Refinement.	RAMiCS	2012	DBLP DOI BibTeX RDF
30	Sobhi Baniardalani, J. Askari, Ali Akbar Afzalian	Event scheduling of timed automata using Dioid Algebra.	ICCA	2010	DBLP DOI BibTeX RDF
30	Pavel Spacek, Jan Komenda	Modeling of interval P-time Petri nets using dioid algebra.	WODES	2010	DBLP DOI BibTeX RDF
30	Auréelien Corréia, Abdeljalil Abbas-Turki, Rachid Bouyekhf, Abdellah El Moudni	A Dioid Model for Invariant Resource Sharing Problems.	IEEE Trans. Syst. Man Cybern. Part A	2009	DBLP DOI BibTeX RDF
30	Olivier Boutin	Modélisation de conflits et calcul de bornes dans les systèmes de production par la théorie des dioïdes. (Modelling of Conflicts and Bounds Estimation in Production Systems Thanks to Dioid Theory).		2009	RDF
30	Mabia Daniel-Cavalcante	Modeling and determination of performance parameters of communication networks using dioid algebra.		2008	RDF
30	Mehdi Lhommeau, Laurent Hardouin, Jean-Louis Ferrier, Iteb Ouerghi	Interval Analysis in Dioid: Application to Robust Open-Loop Control for Timed Event Graphs.	CDC/ECC	2005	DBLP DOI BibTeX RDF
30	Saïd Amari, Jean Jacques Loiseau, Isabel Demongodin	Control of Temporal Constraints Based on Dioid Algebra for Timed Event Graphs.	IPDPS	2005	DBLP DOI BibTeX RDF
30	Mehdi Lhommeau, Laurent Hardouin, Bertrand Cottenceau, Luc Jaulin	Interval analysis and dioid: application to robust controller design for timed event graphs.	Autom.	2004	DBLP DOI BibTeX RDF
30	Mustafa Yurdakul, Nicholas G. Odrey	Development of a new dioid algebraic model for manufacturing with the scheduling decision making capability.	Robotics Auton. Syst.	2004	DBLP DOI BibTeX RDF
30	Mohamed Khalid Didi Alaoui, Philippe Declerck	From DIOID Algebra to P-Time Event Graphs.	ICINCO (3)	2004	DBLP BibTeX RDF
30	Bertrand Cottenceau, Mehdi Lhommeau, Laurent Hardouin, Jean-Louis Boimond	On timed event graph stabilization by output feedback in dioid.	Kybernetika	2003	DBLP BibTeX RDF
30	Bertrand Cottenceau, Laurent Hardouin, Jean-Louis Boimond, Jean-Louis Ferrier	Synthesis of greatest linear feedback for timed-event graphs in dioid.	IEEE Trans. Autom. Control.	1999	DBLP DOI BibTeX RDF
30	Pavel Spacek, Abdellah El Moudni, S. Zerhouni, Michel Ferney	Control of nonautonomous discrete event systems using dioid algebra.	ICRA	1996	DBLP DOI BibTeX RDF
27	Baohua Fan, Heying Zhang, Wenhua Dou	A Time Varying Network Calculus.	NCM	2009	DBLP DOI BibTeX RDF	convolution, network calculus, time varying, dioid
27	Lothar Thiele, Nikolay Stoimenov	Modular performance analysis of cyclic dataflow graphs.	EMSOFT	2009	DBLP DOI BibTeX RDF	dioid algebras, real-time systems, synchronous dataflow, marked graphs, real-time calculus
27	Mark Hopkins	The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy.	RelMiCS	2008	DBLP DOI BibTeX RDF	Kleene, Language, Regular Expression, Grammar, Rational, Semigroup, Monoid, Quantale, Dioid, Context-Free
27	Jan Komenda, Abdellah El Moudni, Noureddine Zerhouni	Input-Output Relation and Time-Optimal Control of a Class of Hybrid Petri Nets Using min, +) Semiring.	Discret. Event Dyn. Syst.	2001	DBLP DOI BibTeX RDF	hybrid petri nets, timed event graphs, dioid algebra, control, transfer function
22	Samir Hamaci, Jean-Louis Boimond, Sébastien Lahaye	Modeling and Control of Hybrid Timed Event Graphs with Multipliers Using (Min, +) Algebra.	Discret. Event Dyn. Syst.	2006	DBLP DOI BibTeX RDF	Hybrid timed event graph, (min, +) algebra, Just-in-time control
22	Huaping Dai	Studies on the Minimum Initial Marking of a Class of Hybrid Timed Petri Nets.	ICIC (2)	2005	DBLP DOI BibTeX RDF
22	Sébastien Lahaye, Jean-Louis Boimond, Laurent Hardouin	Linear Periodic Systems Over Dioids.	Discret. Event Dyn. Syst.	2004	DBLP DOI BibTeX RDF	linear periodic systems, state space realization, discrete event systems, dioids
22	Sébastien Lahaye, Laurent Houssin, Jean-Louis Boimond	Modelling of Urban Bus Networks in Dioids Algebra.	POSTA	2003	DBLP DOI BibTeX RDF
22	Christiano P. Pessanha, Rafael Santos-Mendes	Modal Logic and Dioids.	POSTA	2003	DBLP DOI BibTeX RDF
22	Laurent Truffet	Monotone Linear Dynamical Systems over Dioids.	POSTA	2003	DBLP DOI BibTeX RDF
22	Albert Benveniste, Claude Jard, Stephane Gaubert	Algebraic Techniques for Timed Systems.	CONCUR	1998	DBLP DOI BibTeX RDF