|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 37 occurrences of 31 keywords
|
|
|
Results
Found 36 publication records. Showing 36 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NPC ![In: Network and Parallel Computing, IFIP International Conference, NPC 2004, Wuhan, China, October 18-20, 2004, Proceedings, pp. 333-340, 2004, Springer, 3-540-23388-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAW ![In: Frontiers in Algorithmics, Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009. Proceedings, pp. 27-39, 2009, Springer, 978-3-642-02269-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings, pp. 173-190, 2008, Springer, 978-3-540-78912-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Kleene, Monad, Category, Ideal, Semiring, Adjunction, Quantale, Dioid |
49 | Charles André |
Delays in synchronized elementary net systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1991, Papers from the 11th International Conference on Applications and Theory of Petri Nets, Paris, France, June 1990, pp. 1-28, 1990, Springer, 3-540-54398-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 315, pp. 56-70, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Aerosp. Electron. Syst. ![In: IEEE Trans. Aerosp. Electron. Syst. 57(4), pp. 2459-2468, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.12264, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: 25th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2020, Vienna, Austria, September 8-11, 2020, pp. 1373-1376, 2020, IEEE, 978-1-7281-8956-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
30 | Ishay Haviv, Dan Levy |
Dioid partitions of groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 73, pp. 211-230, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Control of Discrete-Event Systems ![In: Control of Discrete-Event Systems, pp. 431-450, 2013, Springer, 978-1-4471-4275-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Control of Discrete-Event Systems ![In: Control of Discrete-Event Systems, pp. 451-469, 2013, Springer, 978-1-4471-4275-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Roland Glück |
Two Observations in Dioid Based Model Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings, pp. 235-247, 2012, Springer, 978-3-642-33313-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
30 | Sobhi Baniardalani, J. Askari, Ali Akbar Afzalian |
Event scheduling of timed automata using Dioid Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCA ![In: 8th IEEE International Conference on Control and Automation, ICCA 2010, Xiamen, China, June 9-11, 2010, pp. 2172-2176, 2010, IEEE, 978-1-4244-5195-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Pavel Spacek, Jan Komenda |
Modeling of interval P-time Petri nets using dioid algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODES ![In: 10th International Workshop on Discrete Event Systems, WODES 2010, Berlin, Germany, August 30 - September 01, 2010., pp. 312-317, 2010, International Federation of Automatic Control, 978-3-902661-79-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 39(4), pp. 770-781, 2009. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2009 |
RDF |
|
30 | Mabia Daniel-Cavalcante |
Modeling and determination of performance parameters of communication networks using dioid algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC/ECC ![In: 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, CDC/ECC 2005, Seville, Spain, 12-15 December, 2005, pp. 7744-7749, 2005, IEEE, 0-7803-9567-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), CD-ROM / Abstracts Proceedings, 4-8 April 2005, Denver, CO, USA, 2005, IEEE Computer Society, 0-7695-2312-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 40(11), pp. 1923-1930, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics Auton. Syst. ![In: Robotics Auton. Syst. 49(3-4), pp. 207-218, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Mohamed Khalid Didi Alaoui, Philippe Declerck |
From DIOID Algebra to P-Time Event Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICINCO (3) ![In: ICINCO 2004, Proceedings of the First International Conference on Informatics in Control, Automation and Robotics, Setúbal, Portugal, August 25-28, 2004, pp. 332-337, 2004, INSTICC Press, 972-8865-12-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
30 | Bertrand Cottenceau, Mehdi Lhommeau, Laurent Hardouin, Jean-Louis Boimond |
On timed event graph stabilization by output feedback in dioid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kybernetika ![In: Kybernetika 39(2), pp. 165-176, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 44(6), pp. 1258-1262, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Pavel Spacek, Abdellah El Moudni, S. Zerhouni, Michel Ferney |
Control of nonautonomous discrete event systems using dioid algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 1996 IEEE International Conference on Robotics and Automation, Minneapolis, Minnesota, USA, April 22-28, 1996, pp. 609-615, 1996, IEEE, 0-7803-2988-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
27 | Baohua Fan, Heying Zhang, Wenhua Dou |
A Time Varying Network Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCM ![In: International Conference on Networked Computing and Advanced Information Management, NCM 2009, Fifth International Joint Conference on INC, IMS and IDC: INC 2009: International Conference on Networked Computing, IMS 2009: International Conference on Advanced Information Management and Service, IDC 2009: International Conference on Digital Content, Multimedia Technology and its Applications, Seoul, Korea, August 25-27, 2009, pp. 767-772, 2009, IEEE Computer Society, 978-0-7695-3769-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
convolution, network calculus, time varying, dioid |
27 | Lothar Thiele, Nikolay Stoimenov |
Modular performance analysis of cyclic dataflow graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009, pp. 127-136, 2009, ACM, 978-1-60558-627-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings, pp. 155-172, 2008, Springer, 978-3-540-78912-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 11(1-2), pp. 59-75, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 16(2), pp. 241-256, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Advances in Intelligent Computing, International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part II, pp. 109-118, 2005, Springer, 3-540-28227-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Sébastien Lahaye, Jean-Louis Boimond, Laurent Hardouin |
Linear Periodic Systems Over Dioids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 14(2), pp. 133-152, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POSTA ![In: Positive Systems, Proceedings of the First Multidisciplinary International Symposium on Positive Systems: Theory and Applications (POSTA 2003), Rome, Italy, August 28-30, 2003, pp. 23-30, 2003, Springer, 3-540-40342-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Christiano P. Pessanha, Rafael Santos-Mendes |
Modal Logic and Dioids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POSTA ![In: Positive Systems, Proceedings of the First Multidisciplinary International Symposium on Positive Systems: Theory and Applications (POSTA 2003), Rome, Italy, August 28-30, 2003, pp. 31-38, 2003, Springer, 3-540-40342-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Laurent Truffet |
Monotone Linear Dynamical Systems over Dioids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POSTA ![In: Positive Systems, Proceedings of the First Multidisciplinary International Symposium on Positive Systems: Theory and Applications (POSTA 2003), Rome, Italy, August 28-30, 2003, pp. 39-45, 2003, Springer, 3-540-40342-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Albert Benveniste, Claude Jard, Stephane Gaubert |
Algebraic Techniques for Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings, pp. 373-388, 1998, Springer, 3-540-64896-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #36 of 36 (100 per page; Change: )
|
|