Search results for "dioids"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
88	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
74	Laurent Truffet	Monotone Linear Dynamical Systems over Dioids.	POSTA	2003	DBLP DOI BibTeX RDF
52	Paolo Baldan, Fabio Gadducci	Petri Nets Are Dioids.	AMAST	2008	DBLP DOI BibTeX RDF
52	David Cachera, Thomas P. Jensen, Arnaud Jobin, Pascal Sotin	Long-Run Cost Analysis by Approximation of Linear Operators over Dioids.	AMAST	2008	DBLP DOI BibTeX RDF
52	Christiano P. Pessanha, Rafael Santos-Mendes	Modal Logic and Dioids.	POSTA	2003	DBLP DOI BibTeX RDF
29	Johannes Trunk, Bertrand Cottenceau, Laurent Hardouin, Jörg Raisch	Modelling and control of periodic time-variant event graphs in dioids.	Discret. Event Dyn. Syst.	2020	DBLP DOI BibTeX RDF
29	Johannes Trunk	On the modeling and control of extended timed event graphs in dioids.		2020	RDF
29	Paolo Baldan, Fabio Gadducci	Petri nets are dioids: a new algebraic foundation for non-deterministic net theory.	Acta Informatica	2019	DBLP DOI BibTeX RDF
29	Hans Leiß, Mark Hopkins	C-Dioids and \mu -Continuous Chomsky-Algebras.	RAMiCS	2018	DBLP DOI BibTeX RDF
29	Ezequiel Postan, Exequiel Rivas, Mauro Jaskelioff	Dioids for Computational Effects.	CLEI Selected Papers	2017	DBLP DOI BibTeX RDF
29	Soraia Moradi, Laurent Hardouin, Jörg Raisch	Optimal control of a class of timed discrete event systems with shared resources, an approach based on the hadamard product of series in dioids.	CDC	2017	DBLP DOI BibTeX RDF
29	Soraia Moradi, Laurent Hardouin, Jörg Raisch	Modeling and control of resource sharing problems in dioids.	WODES	2016	DBLP DOI BibTeX RDF
29	Julien Niguez, Saïd Amari, Jean-Marc Faure	Analysis of Timed Automata with Guards in dioids algebra.	WODES	2016	DBLP DOI BibTeX RDF
29	Francisco J. Valverde-Albacete, Carmen Peláez-Moreno	Extending the HITS Algorithm over Dioids.	SNAFCA@ICFCA	2015	DBLP BibTeX RDF
29	Bertrand Cottenceau, Laurent Hardouin, Jean-Louis Boimond	Modeling and Control of Weight-Balanced Timed Event Graphs in Dioids.	IEEE Trans. Autom. Control.	2014	DBLP DOI BibTeX RDF
29	Arnaud Jobin	Dioïdes et idéaux de polynômes en analyse statique. (Static analysis with dioids and polynomial ideals).		2012	RDF
29	David Cachera, Thomas P. Jensen, Arnaud Jobin, Pascal Sotin	Long-run cost analysis by approximation of linear operators over dioids.	Math. Struct. Comput. Sci.	2010	DBLP DOI BibTeX RDF
29	Mark Hopkins	The Algebraic Approach II: Dioids, Quantales and Monads.	RelMiCS	2008	DBLP DOI BibTeX RDF	Kleene, Monad, Category, Ideal, Semiring, Adjunction, Quantale, Dioid
29	Michel Gondran, Michel Minoux	Dioïds and semirings: Links to fuzzy sets and other applications.	Fuzzy Sets Syst.	2007	DBLP DOI BibTeX RDF
29	Michel Minoux	Semirings, Dioids and Their Links to Fuzzy Sets and Other Applications.	EUSFLAT Conf. (1)	2007	DBLP BibTeX RDF
29	Laurent Truffet, Edouard Wagneur	Monotonicity and positive invariance of linear systems over dioids.	Discret. Appl. Math.	2005	DBLP DOI BibTeX RDF
29	Carlos Andrey Maia, Laurent Hardouin, Rafael Santos-Mendes, Bertrand Cottenceau	Optimal closed-loop control of timed EventGraphs in dioids.	IEEE Trans. Autom. Control.	2003	DBLP DOI BibTeX RDF
29	Sébastien Lahaye, Laurent Houssin, Jean-Louis Boimond	Modelling of Urban Bus Networks in Dioids Algebra.	POSTA	2003	DBLP DOI BibTeX RDF
29	Mehdi Lhommeau, Laurent Hardouin, Bertrand Cottenceau, Luc Jaulin	Robust controller design for timed event graphs in dioids.	ETFA (1)	2003	DBLP DOI BibTeX RDF
29	Bertrand Cottenceau, Laurent Hardouin, Jean-Louis Boimond, Jean-Louis Ferrier	Model reference control for timed event graphs in dioids.	Autom.	2001	DBLP DOI BibTeX RDF
23	Baohua Fan, Heying Zhang, Wenhua Dou	A Max-plus Network Calculus.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
23	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
23	Benoit Trouillet, Ouajdi Korbaa, Jean-Claude Gentina	Formal Approach of FMS Cyclic Scheduling.	IEEE Trans. Syst. Man Cybern. Part C	2007	DBLP DOI BibTeX RDF
23	Benoit Trouillet	A Formal Approach for Timed Weighted T-Systems.	SMC	2007	DBLP DOI BibTeX RDF
23	Éric Badouel, Jules Chenou	Nets Enriched over Closed Monoidal Structures.	ICATPN	2003	DBLP DOI BibTeX RDF