Lin, Liyong; Tai, Ruochen; Zhu, Yuting; Su, Rong Observation-assisted heuristic synthesis of covert attackers against unknown supervisors. (English) Zbl 1500.93068 Discrete Event Dyn. Syst. 32, No. 3, 495-520 (2022). MSC: 93C65 93B70 93C83 68Q45 PDF BibTeX XML Cite \textit{L. Lin} et al., Discrete Event Dyn. Syst. 32, No. 3, 495--520 (2022; Zbl 1500.93068) Full Text: DOI arXiv OpenURL
Hannibal, Paul; Olderog, Ernst-Rüdiger The synthesis problem for repeatedly communicating Petri games. (English) Zbl 1499.68225 Bernardinello, Luca (ed.) et al., Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13288, 236-257 (2022). MSC: 68Q85 68Q25 91A80 PDF BibTeX XML Cite \textit{P. Hannibal} and \textit{E.-R. Olderog}, Lect. Notes Comput. Sci. 13288, 236--257 (2022; Zbl 1499.68225) Full Text: DOI OpenURL
Knyazeva, Anna Georgievna; Bukrina, Natalia Valerievna A coupled model of composite synthesis in combustion regime. (English) Zbl 07561968 Combust. Theory Model. 26, No. 1, 152-178 (2022). MSC: 80Axx 76-XX PDF BibTeX XML Cite \textit{A. G. Knyazeva} and \textit{N. V. Bukrina}, Combust. Theory Model. 26, No. 1, 152--178 (2022; Zbl 07561968) Full Text: DOI OpenURL
Aida-zade, K. R.; Abdullayev, V. M. Controlling the heating of a rod using the current and preceding time feedback. (English. Russian original) Zbl 1485.93176 Autom. Remote Control 83, No. 1, 106-122 (2022); translation from Avtom. Telemekh. 2022, No. 1, 130-149 (2022). MSC: 93B52 93B50 PDF BibTeX XML Cite \textit{K. R. Aida-zade} and \textit{V. M. Abdullayev}, Autom. Remote Control 83, No. 1, 106--122 (2022; Zbl 1485.93176); translation from Avtom. Telemekh. 2022, No. 1, 130--149 (2022) Full Text: DOI OpenURL
Reijnen, Ferdie F. H.; Erens, Toby R.; van de Mortel-Fronczak, Joanna M.; Rooda, Jacobus E. Supervisory controller synthesis and implementation for safety PLCs. (English) Zbl 1489.93003 Discrete Event Dyn. Syst. 32, No. 1, 115-141 (2022). MSC: 93A13 93B50 93C85 93B70 93C83 PDF BibTeX XML Cite \textit{F. F. H. Reijnen} et al., Discrete Event Dyn. Syst. 32, No. 1, 115--141 (2022; Zbl 1489.93003) Full Text: DOI OpenURL
André, Étienne IMITATOR 3: synthesis of timing parameters beyond decidability. (English) Zbl 1493.68202 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 552-565 (2021). MSC: 68Q60 68Q45 68Q85 PDF BibTeX XML Cite \textit{É. André}, Lect. Notes Comput. Sci. 12759, 552--565 (2021; Zbl 1493.68202) Full Text: DOI OpenURL
Devillers, Raymond Synthesis of (choice-free) reset nets. (English) Zbl 1489.68156 Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 274-291 (2021). MSC: 68Q85 PDF BibTeX XML Cite \textit{R. Devillers}, Lect. Notes Comput. Sci. 12734, 274--291 (2021; Zbl 1489.68156) Full Text: DOI Link OpenURL
Frits, Marton; Bertok, Botond Routing and scheduling field service operation by P-graph. (English) Zbl 07486263 Comput. Oper. Res. 136, Article ID 105472, 18 p. (2021). MSC: 90Bxx PDF BibTeX XML Cite \textit{M. Frits} and \textit{B. Bertok}, Comput. Oper. Res. 136, Article ID 105472, 18 p. (2021; Zbl 07486263) Full Text: DOI OpenURL
Kalenkova, Anna; Carmona, Josep; Polyvyanyy, Artem; La Rosa, Marcello Automated repair of process models with non-local constraints using state-based region theory. (English) Zbl 07467848 Fundam. Inform. 183, No. 3-4, 293-317 (2021). MSC: 68-XX 68-XX PDF BibTeX XML Cite \textit{A. Kalenkova} et al., Fundam. Inform. 183, No. 3--4, 293--317 (2021; Zbl 07467848) Full Text: DOI arXiv OpenURL
Sethi, Suresh P. Optimal control theory. Applications to management science and economics. 4th edition. (English) Zbl 1487.49001 Springer Texts in Business and Economics. Cham: Springer (ISBN 978-3-030-91744-9/hbk; 978-3-030-91745-6/ebook). xxvii, 506 p. (2021). Reviewer: Gheorghe Moroşanu (Cluj-Napoca) MSC: 49-01 91-01 49K15 49N10 49S05 49J15 49J55 49N35 91B76 91B62 90C30 91A10 90B30 90B60 91A23 60J60 PDF BibTeX XML Cite \textit{S. P. Sethi}, Optimal control theory. Applications to management science and economics. 4th edition. Cham: Springer (2021; Zbl 1487.49001) Full Text: DOI OpenURL
Wu, Bo; Zhang, Xiaobin; Lin, Hai Supervisor synthesis of POMDP via automata learning. (English) Zbl 1478.93191 Automatica 129, Article ID 109654, 8 p. (2021). MSC: 93B50 90C40 PDF BibTeX XML Cite \textit{B. Wu} et al., Automatica 129, Article ID 109654, 8 p. (2021; Zbl 1478.93191) Full Text: DOI OpenURL
Éles, András; Heckl, István; Cabezas, Heriberto Modeling technique in the P-graph framework for operating units with flexible input ratios. (English) Zbl 07381771 CEJOR, Cent. Eur. J. Oper. Res. 29, No. 2, 463-489 (2021). MSC: 90Bxx PDF BibTeX XML Cite \textit{A. Éles} et al., CEJOR, Cent. Eur. J. Oper. Res. 29, No. 2, 463--489 (2021; Zbl 07381771) Full Text: DOI OpenURL
Devillers, Raymond; Erofeev, Evgeny; Hujsa, Thomas Efficient synthesis of weighted marked graphs with circular reachability graph, and beyond. (English) Zbl 1464.68236 Koutny, Maciej (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency XV. Berlin: Springer. Lect. Notes Comput. Sci. 12530, 75-100 (2021). MSC: 68Q85 PDF BibTeX XML Cite \textit{R. Devillers} et al., Lect. Notes Comput. Sci. 12530, 75--100 (2021; Zbl 1464.68236) Full Text: DOI arXiv OpenURL
Vassilina, G. K. Optimal control problem of stochastic systems. (English) Zbl 1464.49012 Lobachevskii J. Math. 42, No. 3, 641-648 (2021). MSC: 49J55 49N35 90C39 49L20 PDF BibTeX XML Cite \textit{G. K. Vassilina}, Lobachevskii J. Math. 42, No. 3, 641--648 (2021; Zbl 1464.49012) Full Text: DOI OpenURL
Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Muñiz, Marco; Srba, Jiří Stubborn set reduction for two-player reachability games. (English) Zbl 1501.68002 Log. Methods Comput. Sci. 17, No. 1, Paper No. 21, 26 p. (2021). Reviewer: Marco Benini (Como) MSC: 68Q85 68Q60 91A80 PDF BibTeX XML Cite \textit{F. M. Bønneland} et al., Log. Methods Comput. Sci. 17, No. 1, Paper No. 21, 26 p. (2021; Zbl 1501.68002) Full Text: arXiv Link OpenURL
Valk, Rüdiger Circular traffic queues and Petri’s cycloids. (English) Zbl 1503.68197 Janicki, Ryszard (ed.) et al., Application and theory of Petri nets and concurrency. 41st international conference, PETRI NETS 2020, Paris, France, June 24–25, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12152, 176-195 (2020). MSC: 68Q85 PDF BibTeX XML Cite \textit{R. Valk}, Lect. Notes Comput. Sci. 12152, 176--195 (2020; Zbl 1503.68197) Full Text: DOI OpenURL
Best, Eike; Devillers, Raymond; Erofeev, Evgeny A new property of choice-free Petri net systems. (English) Zbl 1503.68188 Janicki, Ryszard (ed.) et al., Application and theory of Petri nets and concurrency. 41st international conference, PETRI NETS 2020, Paris, France, June 24–25, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12152, 89-108 (2020). MSC: 68Q85 PDF BibTeX XML Cite \textit{E. Best} et al., Lect. Notes Comput. Sci. 12152, 89--108 (2020; Zbl 1503.68188) Full Text: DOI OpenURL
Dave, Vrunda; Filiot, Emmanuel; Krishna, Shankara Narayanan; Lhote, Nathan Synthesis of computable regular functions of infinite words. (English) Zbl 07559499 Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 43, 17 p. (2020). MSC: 68Q85 PDF BibTeX XML Cite \textit{V. Dave} et al., LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 43, 17 p. (2020; Zbl 07559499) Full Text: DOI OpenURL
Markgraf, Oliver; Hong, Chih-Duo; Lin, Anthony W.; Najib, Muhammad; Neider, Daniel Parameterized synthesis with safety properties. (English) Zbl 1476.68154 Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 273-292 (2020). MSC: 68Q60 68Q32 68Q45 68Q85 68T40 91A80 PDF BibTeX XML Cite \textit{O. Markgraf} et al., Lect. Notes Comput. Sci. 12470, 273--292 (2020; Zbl 1476.68154) Full Text: DOI arXiv OpenURL
Li, Dacheng; Luo, Jiliang; Sun, Shasha; Nie, Weiyu; Fang, Huijuan Methods on synthesis and implementation of programmable logical controllers via parallel Petri nets. (Chinese. English summary) Zbl 1474.93087 Control Theory Appl. 37, No. 12, 2611-2617 (2020). MSC: 93B50 93C83 PDF BibTeX XML Cite \textit{D. Li} et al., Control Theory Appl. 37, No. 12, 2611--2617 (2020; Zbl 1474.93087) OpenURL
Best, Eike; Devillers, Raymond; Erofeev, Evgeny; Wimmel, Harro Target-oriented Petri net synthesis. (English) Zbl 1497.68327 Fundam. Inform. 175, No. 1-4, 97-122 (2020). MSC: 68Q85 PDF BibTeX XML Cite \textit{E. Best} et al., Fundam. Inform. 175, No. 1--4, 97--122 (2020; Zbl 1497.68327) Full Text: DOI OpenURL
Lin, Liyong; Zhu, Yuting; Su, Rong Synthesis of covert actuator attackers for free. (English) Zbl 1458.93073 Discrete Event Dyn. Syst. 30, No. 4, 561-577 (2020). MSC: 93B50 93B70 93C83 93C65 PDF BibTeX XML Cite \textit{L. Lin} et al., Discrete Event Dyn. Syst. 30, No. 4, 561--577 (2020; Zbl 1458.93073) Full Text: DOI arXiv OpenURL
Loulergue, Frédéric (ed.) Preface to the special issue on formal approaches to parallel and distributed systems 2018. (English) Zbl 1462.68005 J. Log. Algebr. Methods Program. 116, Article ID 100580, 1 p. (2020). MSC: 68-06 68Q10 68Q85 00B25 PDF BibTeX XML Cite \textit{F. Loulergue} (ed.), J. Log. Algebr. Methods Program. 116, Article ID 100580, 1 p. (2020; Zbl 1462.68005) Full Text: DOI OpenURL
Dykhta, V. A. Approximate feedback minimum principle for suboptimal processes in non-smooth optimal control problems. (English) Zbl 1451.49036 Tarasyev, Alexander (ed.) et al., Stability, control and differential games. Proceedings of the international conference on stability, control and differential games (SCDG2019), Yekaterinburg, Russia, September 16–20, 2019. Cham: Springer. Lect. Notes Control Inf. Sci. – Proc., 127-132 (2020). MSC: 49N35 49J52 90C39 PDF BibTeX XML Cite \textit{V. A. Dykhta}, in: Stability, control and differential games. Proceedings of the international conference on stability, control and differential games (SCDG2019), Yekaterinburg, Russia, September 16--20, 2019. Cham: Springer. 127--132 (2020; Zbl 1451.49036) Full Text: DOI OpenURL
Rosenke, Christian; Tredup, Ronny The complexity of synthesizing elementary net systems relative to natural parameters. (English) Zbl 1435.68214 J. Comput. Syst. Sci. 110, 37-54 (2020). MSC: 68Q85 68Q17 68Q27 PDF BibTeX XML Cite \textit{C. Rosenke} and \textit{R. Tredup}, J. Comput. Syst. Sci. 110, 37--54 (2020; Zbl 1435.68214) Full Text: DOI OpenURL
Wimmel, Harro Presynthesis of bounded choice-free or fork-attribution nets. (English) Zbl 1455.68130 Inf. Comput. 271, Article ID 104482, 20 p. (2020). Reviewer: Jörg Desel (Hagen) MSC: 68Q85 PDF BibTeX XML Cite \textit{H. Wimmel}, Inf. Comput. 271, Article ID 104482, 20 p. (2020; Zbl 1455.68130) Full Text: DOI OpenURL
Chaudhry, Afraz Mehmood; Arshad Uppal, Ali; Alsmadi, Yazan M.; Bhatti, Aamer Iqbal; Utkin, Vadim I. Robust multi-objective control design for underground coal gasification energy conversion process. (English) Zbl 1454.93071 Int. J. Control 93, No. 2, 328-335 (2020). Reviewer: Krzysztof Gałkowski (Zielona Gora) MSC: 93B50 93B36 93B55 93C95 PDF BibTeX XML Cite \textit{A. M. Chaudhry} et al., Int. J. Control 93, No. 2, 328--335 (2020; Zbl 1454.93071) Full Text: DOI OpenURL
Erofeev, Evgeny; Barylska, Kamila; Mikulski, Łukasz; Piątkowski, Marcin Generating all minimal Petri net unsolvable binary words. (English) Zbl 1434.68244 Discrete Appl. Math. 274, 35-53 (2020). MSC: 68Q45 68Q85 68R15 PDF BibTeX XML Cite \textit{E. Erofeev} et al., Discrete Appl. Math. 274, 35--53 (2020; Zbl 1434.68244) Full Text: DOI OpenURL
Beutner, Raven; Finkbeiner, Bernd; Hecking-Harbusch, Jesko Translating asynchronous games for distributed synthesis. (English) Zbl 07649934 Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 26, 16 p. (2019). MSC: 68Q85 PDF BibTeX XML Cite \textit{R. Beutner} et al., LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 26, 16 p. (2019; Zbl 07649934) Full Text: DOI arXiv OpenURL
Khalimov, Ayrat; Kupferman, Orna Register-bounded synthesis. (English) Zbl 07649933 Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 25, 16 p. (2019). MSC: 68Q85 PDF BibTeX XML Cite \textit{A. Khalimov} and \textit{O. Kupferman}, LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 25, 16 p. (2019; Zbl 07649933) Full Text: DOI OpenURL
Exibard, Léo; Filiot, Emmanuel; Reynier, Pierre-Alain Synthesis of data word transducers. (English) Zbl 07649932 Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 24, 15 p. (2019). MSC: 68Q85 PDF BibTeX XML Cite \textit{L. Exibard} et al., LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 24, 15 p. (2019; Zbl 07649932) Full Text: DOI OpenURL
Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim G.; Muñiz, Marco; Srba, Jiří Partial order reduction for reachability games. (English) Zbl 07649931 Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 23, 15 p. (2019). MSC: 68Q85 PDF BibTeX XML Cite \textit{F. M. Bønneland} et al., LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 23, 15 p. (2019; Zbl 07649931) Full Text: DOI OpenURL
Gutierrez, Julian; Najib, Muhammad; Perelli, Giuseppe; Wooldridge, Michael Equilibrium design for concurrent games. (English) Zbl 07649930 Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 22, 16 p. (2019). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Gutierrez} et al., LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 22, 16 p. (2019; Zbl 07649930) Full Text: DOI arXiv OpenURL
Larsen, Kim G. Synthesis of safe, optimal and compact strategies for stochastic hybrid games (invited paper). (English) Zbl 07649910 Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 2, 5 p. (2019). MSC: 68Q85 PDF BibTeX XML Cite \textit{K. G. Larsen}, LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 2, 5 p. (2019; Zbl 07649910) Full Text: DOI OpenURL
Schlachter, Uli; Wimmel, Harro Relabelling LTS for Petri net synthesis via solving separation problems. (English) Zbl 1464.68261 Koutny, Maciej (ed.) et al., Transactions on Petri Nets and other Models of Concurrency XIV. Berlin: Springer. Lect. Notes Comput. Sci. 11790, 222-254 (2019). MSC: 68Q85 PDF BibTeX XML Cite \textit{U. Schlachter} and \textit{H. Wimmel}, Lect. Notes Comput. Sci. 11790, 222--254 (2019; Zbl 1464.68261) Full Text: DOI OpenURL
Devillers, Raymond; Erofeev, Evgeny; Hujsa, Thomas Synthesis of weighted marked graphs from constrained labelled transition systems: a geometric approach. (English) Zbl 1464.68237 Koutny, Maciej (ed.) et al., Transactions on Petri Nets and other Models of Concurrency XIV. Berlin: Springer. Lect. Notes Comput. Sci. 11790, 172-191 (2019). MSC: 68Q85 PDF BibTeX XML Cite \textit{R. Devillers} et al., Lect. Notes Comput. Sci. 11790, 172--191 (2019; Zbl 1464.68237) Full Text: DOI arXiv OpenURL
Valk, Rüdiger Formal properties of Petri’s cycloid systems. (English) Zbl 1436.68215 Fundam. Inform. 169, No. 1-2, 85-121 (2019). MSC: 68Q85 PDF BibTeX XML Cite \textit{R. Valk}, Fundam. Inform. 169, No. 1--2, 85--121 (2019; Zbl 1436.68215) Full Text: DOI OpenURL
Devillers, Raymond; Hujsa, Thomas Analysis and synthesis of weighted marked graph Petri nets: exact and approximate methods. (English) Zbl 1436.68210 Fundam. Inform. 169, No. 1-2, 1-30 (2019). MSC: 68Q85 PDF BibTeX XML Cite \textit{R. Devillers} and \textit{T. Hujsa}, Fundam. Inform. 169, No. 1--2, 1--30 (2019; Zbl 1436.68210) Full Text: DOI OpenURL
Li, Genyuan Molecular discovery by optimal sequential search. (English) Zbl 1426.92021 J. Math. Chem. 57, No. 9, 2110-2141 (2019). MSC: 92C40 92E99 PDF BibTeX XML Cite \textit{G. Li}, J. Math. Chem. 57, No. 9, 2110--2141 (2019; Zbl 1426.92021) Full Text: DOI OpenURL
Kozhevnikov, V. V. Fundamentals of mathematical modeling of cognitive digital automata. (English) Zbl 1463.68054 JNAIAM, J. Numer. Anal. Ind. Appl. Math. 13, No. 1-2, 15-27 (2019). MSC: 68T05 68Q45 68Q85 PDF BibTeX XML Cite \textit{V. V. Kozhevnikov}, JNAIAM, J. Numer. Anal. Ind. Appl. Math. 13, No. 1--2, 15--27 (2019; Zbl 1463.68054) Full Text: Link OpenURL
Bartos, Aniko; Bertok, Botond Parameter tuning for a cooperative parallel implementation of process-network synthesis algorithms. (English) Zbl 07061319 CEJOR, Cent. Eur. J. Oper. Res. 27, No. 2, 551-572 (2019). MSC: 90Bxx PDF BibTeX XML Cite \textit{A. Bartos} and \textit{B. Bertok}, CEJOR, Cent. Eur. J. Oper. Res. 27, No. 2, 551--572 (2019; Zbl 07061319) Full Text: DOI OpenURL
El Chamie, Mahmoud; Janak, Dylan; Açıkmeşe, Behçet Markov decision processes with sequential sensor measurements. (English) Zbl 1421.90159 Automatica 103, 450-460 (2019). MSC: 90C40 PDF BibTeX XML Cite \textit{M. El~Chamie} et al., Automatica 103, 450--460 (2019; Zbl 1421.90159) Full Text: DOI OpenURL
Aksikas, I.; Moghadam, A. Alizadeh; Forbes, J. F. Optimal control of coupled parabolic-hyperbolic non-autonomous PDEs: infinite-dimensional state-space approach. (English) Zbl 1482.49023 Int. J. Syst. Sci., Princ. Appl. Syst. Integr. 49, No. 5, 897-907 (2018). MSC: 49K20 49N10 49N35 93B60 PDF BibTeX XML Cite \textit{I. Aksikas} et al., Int. J. Syst. Sci., Princ. Appl. Syst. Integr. 49, No. 5, 897--907 (2018; Zbl 1482.49023) Full Text: DOI OpenURL
Condurache, Rodica; Oualhadj, Youssouf; Troquard, Nicolas The complexity of rational synthesis for concurrent games. (English) Zbl 07378582 Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 38, 15 p. (2018). MSC: 68Q85 PDF BibTeX XML Cite \textit{R. Condurache} et al., LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 38, 15 p. (2018; Zbl 07378582) Full Text: DOI OpenURL
Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna On runtime enforcement via suppressions. (English) Zbl 07378578 Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 34, 17 p. (2018). MSC: 68Q85 PDF BibTeX XML Cite \textit{L. Aceto} et al., LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 34, 17 p. (2018; Zbl 07378578) Full Text: DOI arXiv OpenURL
Tredup, Ronny; Rosenke, Christian Narrowing down the hardness barrier of synthesizing elementary net systems. (English) Zbl 07378560 Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 16, 15 p. (2018). MSC: 68Q85 PDF BibTeX XML Cite \textit{R. Tredup} and \textit{C. Rosenke}, LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 16, 15 p. (2018; Zbl 07378560) Full Text: DOI OpenURL
Vardi, Moshe Y. The siren song of temporal synthesis (invited talk). (English) Zbl 07378545 Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 1, 1 p. (2018). MSC: 68Q85 PDF BibTeX XML Cite \textit{M. Y. Vardi}, LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 1, 1 p. (2018; Zbl 07378545) Full Text: DOI OpenURL
Gimbert, Hugo On the control of asynchronous automata. (English) Zbl 1491.68123 Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 30, 15 p. (2018). MSC: 68Q85 68Q45 93B50 PDF BibTeX XML Cite \textit{H. Gimbert}, LIPIcs -- Leibniz Int. Proc. Inform. 93, Article 30, 15 p. (2018; Zbl 1491.68123) Full Text: DOI arXiv OpenURL
Finkbeiner, Bernd; Gölz, Paul Synthesis in distributed environments. (English) Zbl 1491.68121 Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 28, 14 p. (2018). MSC: 68Q85 91A80 PDF BibTeX XML Cite \textit{B. Finkbeiner} and \textit{P. Gölz}, LIPIcs -- Leibniz Int. Proc. Inform. 93, Article 28, 14 p. (2018; Zbl 1491.68121) Full Text: DOI arXiv OpenURL
Valk, Rüdiger On the structure of cycloids introduced by Carl Adam Petri. (English) Zbl 1427.68214 Khomenko, Victor (ed.) et al., Application and theory of Petri nets and concurrency. 39th international conference, PETRI NETS 2018, Bratislava, Slovakia, June 24–29, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10877, 294-314 (2018). MSC: 68Q85 PDF BibTeX XML Cite \textit{R. Valk}, Lect. Notes Comput. Sci. 10877, 294--314 (2018; Zbl 1427.68214) Full Text: DOI OpenURL
Devillers, Raymond; Schlachter, Uli Factorisation of Petri net solvable transition systems. (English) Zbl 1427.68192 Khomenko, Victor (ed.) et al., Application and theory of Petri nets and concurrency. 39th international conference, PETRI NETS 2018, Bratislava, Slovakia, June 24–29, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10877, 82-98 (2018). MSC: 68Q85 PDF BibTeX XML Cite \textit{R. Devillers} and \textit{U. Schlachter}, Lect. Notes Comput. Sci. 10877, 82--98 (2018; Zbl 1427.68192) Full Text: DOI OpenURL
Devillers, Raymond; Hujsa, Thomas Analysis and synthesis of weighted marked graph Petri nets. (English) Zbl 1427.68191 Khomenko, Victor (ed.) et al., Application and theory of Petri nets and concurrency. 39th international conference, PETRI NETS 2018, Bratislava, Slovakia, June 24–29, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10877, 19-39 (2018). MSC: 68Q85 PDF BibTeX XML Cite \textit{R. Devillers} and \textit{T. Hujsa}, Lect. Notes Comput. Sci. 10877, 19--39 (2018; Zbl 1427.68191) Full Text: DOI HAL OpenURL
Kucyi, N. N.; Lukyanov, A. V.; Kargapol’cev, S. K.; Tikhii Training of neural network based PWM controllers. (English) Zbl 1427.93156 Adv. Appl. Discrete Math. 19, No. 4, 359-371 (2018). MSC: 93C83 93B70 93B50 PDF BibTeX XML Cite \textit{N. N. Kucyi} et al., Adv. Appl. Discrete Math. 19, No. 4, 359--371 (2018; Zbl 1427.93156) Full Text: DOI OpenURL
Dragan, Vasile; Ivanov, Ivan G. On the mean square minimization of the final value of an output of a linear stochastic controlled system. (English) Zbl 1438.49053 Ann. Acad. Rom. Sci., Math. Appl. 10, No. 2, 211-229 (2018). MSC: 49N10 49N35 93C57 93C83 PDF BibTeX XML Cite \textit{V. Dragan} and \textit{I. G. Ivanov}, Ann. Acad. Rom. Sci., Math. Appl. 10, No. 2, 211--229 (2018; Zbl 1438.49053) Full Text: Link OpenURL
Kupferman, Orna; Tamir, Tami Alternating reachability games with behavioral and revenue objectives. (English) Zbl 1415.68150 Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 498-514 (2018). MSC: 68Q60 68Q85 91A80 PDF BibTeX XML Cite \textit{O. Kupferman} and \textit{T. Tamir}, EPiC Ser. Comput. 57, 498--514 (2018; Zbl 1415.68150) Full Text: DOI OpenURL
Best, Eike; Devillers, Raymond; Schlachter, Uli; Wimmel, Harro Simultaneous Petri net synthesis. (English) Zbl 1424.68099 Sci. Ann. Comput. Sci. 28, No. 2, 199-236 (2018). MSC: 68Q85 PDF BibTeX XML Cite \textit{E. Best} et al., Sci. Ann. Comput. Sci. 28, No. 2, 199--236 (2018; Zbl 1424.68099) Full Text: DOI OpenURL
Best, Eike; Hujsa, Thomas; Wimmel, Harro Sufficient conditions for the marked graph realisability of labelled transition systems. (English) Zbl 1473.68112 Theor. Comput. Sci. 750, 101-116 (2018). Reviewer: Damas Gruska (Bratislava) MSC: 68Q85 PDF BibTeX XML Cite \textit{E. Best} et al., Theor. Comput. Sci. 750, 101--116 (2018; Zbl 1473.68112) Full Text: DOI HAL OpenURL
Zhang, Xiuyan; Uzam, Murat; Li, Zhiwu; Wu, Naiqi On the synthesis of liveness-enforcing supervisors for flexible manufacturing systems using global idle places. (English) Zbl 1402.93120 IMA J. Math. Control Inf. 35, No. 1, 165-182 (2018). MSC: 93B50 93C65 93C35 03C90 90B35 68Q85 93-04 PDF BibTeX XML Cite \textit{X. Zhang} et al., IMA J. Math. Control Inf. 35, No. 1, 165--182 (2018; Zbl 1402.93120) Full Text: DOI OpenURL
Jacobs, Swen; Tentrup, Leander; Zimmermann, Martin Distributed synthesis for parameterized temporal logics. (English) Zbl 1400.68124 Inf. Comput. 262, Part 2, 311-328 (2018). MSC: 68Q60 03B44 68Q85 PDF BibTeX XML Cite \textit{S. Jacobs} et al., Inf. Comput. 262, Part 2, 311--328 (2018; Zbl 1400.68124) Full Text: DOI arXiv OpenURL
Bart, Anicet; Delahaye, Benoît; Fournier, Paulin; Lime, Didier; Monfroy, Éric; Truchet, Charlotte Reachability in parametric interval Markov chains using constraints. (English) Zbl 1400.68118 Theor. Comput. Sci. 747, 48-74 (2018). MSC: 68Q60 68Q85 68Q87 PDF BibTeX XML Cite \textit{A. Bart} et al., Theor. Comput. Sci. 747, 48--74 (2018; Zbl 1400.68118) Full Text: DOI arXiv OpenURL
Schlachter, Uli Over-approximative Petri net synthesis for restricted subclasses of nets. (English) Zbl 1504.68147 Klein, Shmuel Tomi (ed.) et al., Language and automata theory and applications. 12th international conference, LATA 2018, Ramat Gan, Israel, April 9–11, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10792, 296-307 (2018). MSC: 68Q85 PDF BibTeX XML Cite \textit{U. Schlachter}, Lect. Notes Comput. Sci. 10792, 296--307 (2018; Zbl 1504.68147) Full Text: DOI OpenURL
Wu, Yi-Chin; Raman, Vasumathi; Rawlings, Blake C.; Lafortune, Stéphane; Seshia, Sanjit A. Synthesis of obfuscation policies to ensure privacy and utility. (English) Zbl 1426.68085 J. Autom. Reasoning 60, No. 1, 107-131 (2018). MSC: 68P27 68Q45 68Q85 91A80 PDF BibTeX XML Cite \textit{Y.-C. Wu} et al., J. Autom. Reasoning 60, No. 1, 107--131 (2018; Zbl 1426.68085) Full Text: DOI Link OpenURL
Coogan, Samuel; Arcak, Murat; Belta, Calin Formal methods for control of traffic flow: automated control synthesis from finite-state transition models. (English) Zbl 1477.93149 IEEE Control Syst. 37, No. 2, 109-128 (2017). MSC: 93C55 68Q85 90B20 93B50 PDF BibTeX XML Cite \textit{S. Coogan} et al., IEEE Control Syst. 37, No. 2, 109--128 (2017; Zbl 1477.93149) Full Text: DOI OpenURL
David, Nicolas; Jard, Claude; Lime, Didier; Roux, Olivier H. Coverability synthesis in parametric Petri nets. (English) Zbl 1442.68133 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 14, 16 p. (2017). MSC: 68Q85 PDF BibTeX XML Cite \textit{N. David} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 14, 16 p. (2017; Zbl 1442.68133) Full Text: DOI OpenURL
Schlachter, Uli; Wimmel, Harro \(k\)-bounded Petri net synthesis from modal transition systems. (English) Zbl 1442.68151 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 6, 15 p. (2017). MSC: 68Q85 PDF BibTeX XML Cite \textit{U. Schlachter} and \textit{H. Wimmel}, LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 6, 15 p. (2017; Zbl 1442.68151) Full Text: DOI OpenURL
Kleijn, Jetty; Koutny, Maciej; Pietkiewicz-Koutny, Marta Adding a/sync places to the synthesis procedure for whole-place operations nets with localities. (English) Zbl 1424.68106 Sci. Ann. Comput. Sci. 27, No. 2, 177-212 (2017). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Kleijn} et al., Sci. Ann. Comput. Sci. 27, No. 2, 177--212 (2017; Zbl 1424.68106) Full Text: DOI OpenURL
Ran, Ning; Wang, Shouguang; Su, Hongye; Wang, Chengying Supervisor synthesis for enforcing linear constraints on a class of Petri nets with unobservable transitions. (English) Zbl 1397.93073 IMA J. Math. Control Inf. 34, No. 2, 565-577 (2017). MSC: 93B50 93A13 93C65 68Q85 PDF BibTeX XML Cite \textit{N. Ran} et al., IMA J. Math. Control Inf. 34, No. 2, 565--577 (2017; Zbl 1397.93073) Full Text: DOI OpenURL
Watel, Dimitri; Weisser, Marc-Antoine; Barth, Dominique Parameterized complexity and approximability of coverability problems in weighted Petri nets. (English) Zbl 1393.68126 van der Aalst, Wil (ed.) et al., Application and theory of Petri nets and concurrency. 38th international conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-57860-6/pbk; 978-3-319-57861-3/ebook). Lecture Notes in Computer Science 10258, 330-349 (2017). MSC: 68Q85 68Q25 PDF BibTeX XML Cite \textit{D. Watel} et al., Lect. Notes Comput. Sci. 10258, 330--349 (2017; Zbl 1393.68126) Full Text: DOI HAL OpenURL
Weber, Alexander; Rungger, Matthias; Reissig, Gunther Optimized state space grids for abstractions. (English) Zbl 1390.93419 IEEE Trans. Autom. Control 62, No. 11, 5816-5821 (2017). MSC: 93C30 68Q85 93B50 PDF BibTeX XML Cite \textit{A. Weber} et al., IEEE Trans. Autom. Control 62, No. 11, 5816--5821 (2017; Zbl 1390.93419) Full Text: DOI arXiv OpenURL
van de Wouw, N.; van Dijk, Niels J. M.; Schiffler, Andreas; Nijmeijer, H.; Abele, E. Experimental validation of robust chatter control for high-speed milling processes. (English) Zbl 1384.93039 Insperger, Tamás (ed.) et al., Time delay systems. Theory, numerics, applications, and experiments. Selected papers based on the presentations at the 12th IFAC workshop, Ann Arbor, MI, USA, June 28–30, 2015. Cham: Springer (ISBN 978-3-319-53425-1/hbk; 978-3-319-53426-8/ebook). Advances in Delays and Dynamics 7, 315-331 (2017). MSC: 93B35 93B51 93B50 93C10 93C15 93C95 PDF BibTeX XML Cite \textit{N. van de Wouw} et al., Adv. Delays Dyn. 7, 315--331 (2017; Zbl 1384.93039) Full Text: DOI OpenURL
Bayen, T.; Mairet, F. Optimisation of strain selection in evolutionary continuous culture. (English) Zbl 1383.49044 Int. J. Control 90, No. 12, 2748-2759 (2017). MSC: 49N35 49K15 92D25 49S05 PDF BibTeX XML Cite \textit{T. Bayen} and \textit{F. Mairet}, Int. J. Control 90, No. 12, 2748--2759 (2017; Zbl 1383.49044) Full Text: DOI HAL OpenURL
Waez, Md Tawhid Bin; Wąsowski, Andrzej; Dingel, Juergen; Rudie, Karen Controller synthesis for dynamic hierarchical real-time plants using timed automata. (English) Zbl 1379.93051 Discrete Event Dyn. Syst. 27, No. 2, 407-441 (2017). MSC: 93B50 93A13 93B35 37B15 PDF BibTeX XML Cite \textit{M. T. B. Waez} et al., Discrete Event Dyn. Syst. 27, No. 2, 407--441 (2017; Zbl 1379.93051) Full Text: DOI OpenURL
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz Invariant structures and dependence relations. (English) Zbl 1378.68120 Fundam. Inform. 155, No. 1-2, 1-29 (2017). MSC: 68Q85 PDF BibTeX XML Cite \textit{R. Janicki} et al., Fundam. Inform. 155, No. 1--2, 1--29 (2017; Zbl 1378.68120) Full Text: DOI OpenURL
Badouel, Eric; Schlachter, Uli Incremental process discovery using Petri net synthesis. (English) Zbl 1378.68117 Fundam. Inform. 154, No. 1-4, 1-13 (2017). MSC: 68Q85 PDF BibTeX XML Cite \textit{E. Badouel} and \textit{U. Schlachter}, Fundam. Inform. 154, No. 1--4, 1--13 (2017; Zbl 1378.68117) Full Text: DOI OpenURL
Aida-zade, K. R.; Abdullayev, V. M. Optimizing placement of the control points at synthesis of the heating process control. (English. Russian original) Zbl 1386.93123 Autom. Remote Control 78, No. 9, 1585-1599 (2017); translation from Avtom. Telemekh. 2017, No. 9, 49-66 (2017). MSC: 93B50 35K05 93C20 93C05 PDF BibTeX XML Cite \textit{K. R. Aida-zade} and \textit{V. M. Abdullayev}, Autom. Remote Control 78, No. 9, 1585--1599 (2017; Zbl 1386.93123); translation from Avtom. Telemekh. 2017, No. 9, 49--66 (2017) Full Text: DOI OpenURL
Kleijn, Jetty; Koutny, Maciej; Pietkiewicz-Koutny, Marta Signal set tissue systems and overlapping localities. (English) Zbl 1382.68074 Theor. Comput. Sci. 701, 132-145 (2017). MSC: 68Q05 68Q10 68Q85 PDF BibTeX XML Cite \textit{J. Kleijn} et al., Theor. Comput. Sci. 701, 132--145 (2017; Zbl 1382.68074) Full Text: DOI Link OpenURL
Feng, Yu; Martins, Ruben; Wang, Yuepeng; Dillig, Isil; Reps, Thomas W. Component-based synthesis for complex APIs. (English) Zbl 1380.68108 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 599-612 (2017). MSC: 68N20 68Q85 PDF BibTeX XML Cite \textit{Y. Feng} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 599--612 (2017; Zbl 1380.68108) Full Text: DOI OpenURL
Rößler, M.; Langer, J.; Heinkel, U. Finding an optimal set of breakpoint locations in a control flow graph. (English) Zbl 1361.93035 Derbel, Faouzi (ed.) et al., Communication, signal processing and information technology. Berlin: De Gruyter (ISBN 978-3-11-044616-6/pbk; 978-3-11-044839-9/ebook). Advances in Systems, Signals and Devices 4, 1-16 (2017). MSC: 93C83 68M20 PDF BibTeX XML Cite \textit{M. Rößler} et al., Adv. Syst. Signals Devices 4, 1--16 (2017; Zbl 1361.93035) Full Text: DOI OpenURL
Ajmeri, Moina; Ali, Ahmad Analytical design of modified Smith predictor for unstable second-order processes with time delay. (English) Zbl 1362.93055 Int. J. Syst. Sci., Princ. Appl. Syst. Integr. 48, No. 8, 1671-1681 (2017). MSC: 93B50 93B51 93C15 PDF BibTeX XML Cite \textit{M. Ajmeri} and \textit{A. Ali}, Int. J. Syst. Sci., Princ. Appl. Syst. Integr. 48, No. 8, 1671--1681 (2017; Zbl 1362.93055) Full Text: DOI OpenURL
Černý, Pavol; Clarke, Edmund M.; Henzinger, Thomas A.; Radhakrishna, Arjun; Ryzhyk, Leonid; Samanta, Roopsha; Tarrach, Thorsten From non-preemptive to preemptive scheduling using synchronization synthesis. (English) Zbl 1360.68346 Form. Methods Syst. Des. 50, No. 2-3, 97-139 (2017). MSC: 68N19 68M20 68Q60 68Q85 PDF BibTeX XML Cite \textit{P. Černý} et al., Form. Methods Syst. Des. 50, No. 2--3, 97--139 (2017; Zbl 1360.68346) Full Text: DOI OpenURL
Bruyère, Véronique; Filiot, Emmanuel; Randour, Mickael; Raskin, Jean-François Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games. (English) Zbl 1371.91022 Inf. Comput. 254, Part 2, 259-295 (2017). MSC: 91A43 91A05 90C40 PDF BibTeX XML Cite \textit{V. Bruyère} et al., Inf. Comput. 254, Part 2, 259--295 (2017; Zbl 1371.91022) Full Text: DOI Link OpenURL
Best, Eike; Devillers, Raymond; Schlachter, Uli A graph-theoretical characterisation of state separation. (English) Zbl 1444.68112 Steffen, Bernhard (ed.) et al., SOFSEM 2017: theory and practice of computer science. 43rd international conference on current trends in theory and practice of computer science, Limerick, Ireland, January 16–20, 2017, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10139, 163-175 (2017). MSC: 68Q85 PDF BibTeX XML Cite \textit{E. Best} et al., Lect. Notes Comput. Sci. 10139, 163--175 (2017; Zbl 1444.68112) Full Text: DOI OpenURL
Toimil, Daniel; Gómez, Alberto Review of metaheuristics applied to heat exchanger network design. (English) Zbl 1358.90023 Int. Trans. Oper. Res. 24, No. 1-2, 7-26 (2017). MSC: 90B10 90C59 PDF BibTeX XML Cite \textit{D. Toimil} and \textit{A. Gómez}, Int. Trans. Oper. Res. 24, No. 1--2, 7--26 (2017; Zbl 1358.90023) Full Text: DOI OpenURL
Best, Eike; Devillers, Raymond Characterisation of the state spaces of marked graph Petri nets. (English) Zbl 1409.68183 Inf. Comput. 253, Part 3, 399-410 (2017). Reviewer: Jörg Desel (Hagen) MSC: 68Q85 68Q55 68R10 PDF BibTeX XML Cite \textit{E. Best} and \textit{R. Devillers}, Inf. Comput. 253, Part 3, 399--410 (2017; Zbl 1409.68183) Full Text: DOI OpenURL
Finkbeiner, Bernd; Olderog, Ernst-Rüdiger Petri games: synthesis of distributed systems with causal memory. (English) Zbl 1362.68211 Inf. Comput. 253, Part 2, 181-203 (2017). MSC: 68Q85 68Q17 91A43 PDF BibTeX XML Cite \textit{B. Finkbeiner} and \textit{E.-R. Olderog}, Inf. Comput. 253, Part 2, 181--203 (2017; Zbl 1362.68211) Full Text: DOI arXiv OpenURL
Kleijn, Jetty; Koutny, Maciej; Pietkiewicz-Koutny, Marta; Rozenberg, Grzegorz Applying regions. (English) Zbl 1355.68192 Theor. Comput. Sci. 658, Part A, 205-215 (2017). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Kleijn} et al., Theor. Comput. Sci. 658, Part A, 205--215 (2017; Zbl 1355.68192) Full Text: DOI OpenURL
Haar, Stefan; Haddad, Serge; Melliti, Tarek; Schwoon, Stefan Optimal constructions for active diagnosis. (English) Zbl 1350.68052 J. Comput. Syst. Sci. 83, 101-120 (2017). MSC: 68M15 68Q25 68Q45 68Q85 93B50 93C65 PDF BibTeX XML Cite \textit{S. Haar} et al., J. Comput. Syst. Sci. 83, 101--120 (2017; Zbl 1350.68052) Full Text: DOI OpenURL
Vassilina, G. K.; Mogylova, V. V.; Stanzhytskyi, A. N. Optimal control of stochastic systems with quadratic control criterion. (Russian. English summary) Zbl 1499.49060 Mat. Zh. 16, No. 1, 77-92 (2016). MSC: 49J55 49N05 49N10 49N35 60H10 90C30 PDF BibTeX XML Cite \textit{G. K. Vassilina} et al., Mat. Zh. 16, No. 1, 77--92 (2016; Zbl 1499.49060) OpenURL
Schlachter, Uli Bounded Petri net synthesis from modal transition systems is undecidable. (English) Zbl 1392.68315 Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 15, 14 p. (2016). MSC: 68Q85 03B45 PDF BibTeX XML Cite \textit{U. Schlachter}, LIPIcs -- Leibniz Int. Proc. Inform. 59, Article 15, 14 p. (2016; Zbl 1392.68315) Full Text: DOI OpenURL
Almagor, Shaull; Kupferman, Orna High-quality synthesis against stochastic environments. (English) Zbl 1369.68256 Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 28, 17 p. (2016). MSC: 68Q60 03B44 68Q25 68Q87 PDF BibTeX XML Cite \textit{S. Almagor} and \textit{O. Kupferman}, LIPIcs -- Leibniz Int. Proc. Inform. 62, Article 28, 17~p. (2016; Zbl 1369.68256) Full Text: DOI arXiv OpenURL
Barylska, Kamila; Best, Eike; Erofeev, Evgeny; Mikulski, Łukasz; Piątkowski, Marcin Conditions for Petri net solvable binary words. (English) Zbl 1366.68199 Koutny, Maciej (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency XI. Berlin: Springer (ISBN 978-3-662-53400-7/pbk; 978-3-662-53401-4/ebook). Lecture Notes in Computer Science 9930. Journal Subline, 137-159 (2016). MSC: 68Q85 PDF BibTeX XML Cite \textit{K. Barylska} et al., Lect. Notes Comput. Sci. 9930, 137--159 (2016; Zbl 1366.68199) Full Text: DOI OpenURL
Barbot, Benoît; Kwiatkowska, Marta; Mereacre, Alexandru; Paoletti, Nicola Building power consumption models from executable timed I/O automata specifications. (English) Zbl 1366.68196 Proceedings of the 19th ACM international conference on hybrid systems: computation and control, HSCC 2016, Vienna, Austria, April 12–14, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3955-1). 195-204 (2016). MSC: 68Q85 68Q45 68Q60 PDF BibTeX XML Cite \textit{B. Barbot} et al., in: Proceedings of the 19th ACM international conference on hybrid systems: computation and control, HSCC 2016, Vienna, Austria, April 12--14, 2016. New York, NY: Association for Computing Machinery (ACM). 195--204 (2016; Zbl 1366.68196) Full Text: DOI OpenURL
Kleijn, Jetty; Koutny, Maciej; Pietkiewicz-Koutny, Marta Synthesis of Petri nets with whole-place operations and localities. (English) Zbl 1422.68171 Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9965, 103-120 (2016). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Kleijn} et al., Lect. Notes Comput. Sci. 9965, 103--120 (2016; Zbl 1422.68171) Full Text: DOI Link OpenURL
Attie, Paul C. Synthesis of large dynamic concurrent programs from dynamic specifications. (English) Zbl 1392.68143 Form. Methods Syst. Des. 48, No. 1-2, 94-147 (2016). MSC: 68N30 68Q60 68Q85 PDF BibTeX XML Cite \textit{P. C. Attie}, Form. Methods Syst. Des. 48, No. 1--2, 94--147 (2016; Zbl 1392.68143) Full Text: DOI arXiv OpenURL
Schlachter, Uli Petri net synthesis for restricted classes of nets. (English) Zbl 1346.68140 Kordon, Fabrice (ed.) et al., Application and theory of Petri nets and concurrency. 37th international conference, PETRI NETS 2016, Toruń, Poland, June 19–24, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39085-7/pbk; 978-3-319-39086-4/ebook). Lecture Notes in Computer Science 9698, 79-97 (2016). MSC: 68Q85 PDF BibTeX XML Cite \textit{U. Schlachter}, Lect. Notes Comput. Sci. 9698, 79--97 (2016; Zbl 1346.68140) Full Text: DOI OpenURL
Best, Eike; Devillers, Raymond The power of prime cycles. (English) Zbl 1346.68126 Kordon, Fabrice (ed.) et al., Application and theory of Petri nets and concurrency. 37th international conference, PETRI NETS 2016, Toruń, Poland, June 19–24, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39085-7/pbk; 978-3-319-39086-4/ebook). Lecture Notes in Computer Science 9698, 59-78 (2016). MSC: 68Q85 PDF BibTeX XML Cite \textit{E. Best} and \textit{R. Devillers}, Lect. Notes Comput. Sci. 9698, 59--78 (2016; Zbl 1346.68126) Full Text: DOI OpenURL
Best, Eike; Erofeev, Evgeny; Schlachter, Uli; Wimmel, Harro Characterising Petri net solvable binary words. (English) Zbl 1346.68127 Kordon, Fabrice (ed.) et al., Application and theory of Petri nets and concurrency. 37th international conference, PETRI NETS 2016, Toruń, Poland, June 19–24, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39085-7/pbk; 978-3-319-39086-4/ebook). Lecture Notes in Computer Science 9698, 39-58 (2016). MSC: 68Q85 PDF BibTeX XML Cite \textit{E. Best} et al., Lect. Notes Comput. Sci. 9698, 39--58 (2016; Zbl 1346.68127) Full Text: DOI OpenURL
Basset, Nicolas; Kwiatkowska, Marta; Topcu, Ufuk; Wiltsche, Clemens Strategy synthesis for stochastic games with multiple long-run objectives. (English) Zbl 1420.91011 Baier, Christel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9035, 256-271 (2015). MSC: 91A15 PDF BibTeX XML Cite \textit{N. Basset} et al., Lect. Notes Comput. Sci. 9035, 256--271 (2015; Zbl 1420.91011) Full Text: DOI OpenURL
Best, Eike; Devillers, Raymond Synthesis of bounded choice-free Petri nets. (English) Zbl 1374.68319 Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 128-141 (2015). MSC: 68Q85 PDF BibTeX XML Cite \textit{E. Best} and \textit{R. Devillers}, LIPIcs -- Leibniz Int. Proc. Inform. 42, 128--141 (2015; Zbl 1374.68319) Full Text: DOI OpenURL
Hunter, Paul; Pérez, Guillermo A.; Raskin, Jean-François Reactive synthesis without regret. (English) Zbl 1374.68292 Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 114-127 (2015). MSC: 68Q60 68Q45 68Q85 91A05 91A43 91A80 PDF BibTeX XML Cite \textit{P. Hunter} et al., LIPIcs -- Leibniz Int. Proc. Inform. 42, 114--127 (2015; Zbl 1374.68292) Full Text: DOI OpenURL