Found 126 Documents (Results 1–100)
Control laws synthesis for timed event graphs subject to generalised marking constraints by min-plus algebra: application to cluster tools. (English) Zbl 1537.93482
The model matching problem for max-plus linear systems: a geometric approach. (English) Zbl 07744841
Properties of morphological dilation in max-plus and plus-prod algebra in connection with the Fourier transformation. (English) Zbl 1530.68266
Max-plus steady states in discrete event dynamic systems with inexact data. (English) Zbl 1500.93070
Algebraic approaches for designing control laws of time-constrained networked conflicting timed event graphs. (English) Zbl 1497.93043
Local and global robustness with \(q\)-step delay for max-plus linear systems. (English) Zbl 1492.93047
Perron-Frobenius theory for some classes of nonnegative tensors in the max algebra. (English) Zbl 1484.15031
Response time evaluation of industrial-scale distributed control systems by discrete event systems formalisms. (English) Zbl 1482.93381
SMT-based model checking of max-plus linear systems. (English) Zbl 07730624
Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 22, 20 p. (2021).
MSC:
68Q85
Modelling and feedback control for a class of Petri nets with shared resources subject to strict time constraints using max-plus algebra. (English) Zbl 1483.93184
On the index of convergence of a class of Boolean matrices with structural properties. (English) Zbl 1472.93082
Analytic expressions in stochastic max-plus-linear algebra and their application in model predictive control. (English) Zbl 1536.93224
What tropical geometry tells us about the complexity of linear programming. (English) Zbl 1459.90124
Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras. (English) Zbl 1483.93378
Interval max-plus fault-tolerant control under resource conflicts and redundancies: application to the seat assembly. (English) Zbl 1454.93067
Corrections to “Model predictive control for stochastic max-plus linear systems with chance constraints”. (English) Zbl 1458.93241
Model predictive control for stochastic max-plus linear systems with chance constraints. (English) Zbl 1423.93373
IEEE Trans. Autom. Control 64, No. 1, 337-342 (2019); correction ibid 65, No. 2, 905-906 (2020).
Modelling and temporal evaluation of networked control systems using timed automata with guards and (max,+) algebra. (English) Zbl 1482.93235
Control of Petri nets subject to strict temporal constraints using max-plus algebra. (English) Zbl 1482.93393
Diagnosing hybrid dynamical systems using max-plus algebraic methods. (English) Zbl 1458.93125
Sayed-Mouchaweh, Moamar (ed.), Fault diagnosis of hybrid dynamic and complex systems. Cham: Springer. 79-99 (2018).
Probabilistic max-plus schemes for solving Hamilton-Jacobi-Bellman equations. (English) Zbl 1415.65240
Falcone, Maurizio (ed.) et al., Numerical methods for optimal control problems. Proceedings of the workshop, Rome, Italy, June 19–23, 2017. Cham: Springer. Springer INdAM Ser. 29, 183-209 (2018).
Tropical abstractions of MAX-plus linear systems. (English) Zbl 1518.93028
Jansen, David N. (ed.) et al., Formal modeling and analysis of timed systems. 16th international conference, FORMATS 2018, Beijing, China, September 4–6, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11022, 271-287 (2018).
From a monotone probabilistic scheme to a probabilistic max-plus algorithm for solving Hamilton-Jacobi-Bellman equations. (English) Zbl 1407.65236
Kalise, Dante (ed.) et al., Hamilton-Jacobi-Bellman equations. Numerical methods and applications in optimal control. Based on the workshop “Numerical methods for Hamilton-Jacobi equations in optimal control and related fields”, Linz, Austria, November 21–25, 2016. Berlin: De Gruyter. Radon Ser. Comput. Appl. Math. 21, 1-23 (2018).
Numerical methods for optimal control problems. Proceedings of the workshop, Rome, Italy, June 19–23, 2017. (English) Zbl 1411.49002
Springer INdAM Series 29. Cham: Springer (ISBN 978-3-030-01958-7/hbk; 978-3-030-01959-4/ebook). x, 268 p. (2018).
Hamilton-Jacobi-Bellman equations. Numerical methods and applications in optimal control. Based on the workshop “Numerical methods for Hamilton-Jacobi equations in optimal control and related fields”, Linz, Austria, November 21–25, 2016. (English) Zbl 1398.49002
Radon Series on Computational and Applied Mathematics 21. Berlin: De Gruyter (ISBN 978-3-11-054263-9/hbk; 978-3-11-054359-9/ebook). xii, 197 p. (2018).
Reachability of eigenspaces for interval circulant matrices in max-algebra. (English) Zbl 1390.15033
Dimension reduction and feedback stabilization for max-plus linear systems and applications in VLSI array processors. (English) Zbl 1390.93647
Incomplete LU preconditioner based on max-plus approximation of LU factorization. (English) Zbl 1386.65102
A max-plus primal space fundamental solution for a class of differential Riccati equations. (English) Zbl 1373.93153
Closed form of \(L\)-localized solution set of MAX-plus interval linear system and its application on optimization problem. (English) Zbl 1357.65052
An approximation method for computing the expected value of max-affine expressions. (English) Zbl 1403.93175
Design of a predictive fault-tolerant control for the battery assembly station. (English) Zbl 1379.93039
Kowalczuk, Zdzisław (ed.), Advanced and intelligent computations in diagnosis and control. Selected papers based on the presentations at the 12th international conference on diagnostics of processes and systems, DPS, Ustka, Poland, September 6–9, 2015. Cham: Springer (ISBN 978-3-319-23179-2/pbk; 978-3-319-23180-8/ebook). Advances in Intelligent Systems and Computing 386, 223-235 (2016).
Towards railway traffic management using switching max-plus-linear systems, structure analysis and rescheduling. (English) Zbl 1353.93013
Optimistic optimization for model predictive control of \(\max\)-plus linear systems. (English) Zbl 1348.93192
Strong solvability of interval max-plus systems and applications to optimal control. (English) Zbl 1347.93092
An integrated control strategy to solve the disturbance decoupling problem for max-plus linear systems with applications to a high throughput screening system. (English) Zbl 1329.93047
Performance evaluation of an emergency call center: tropical polynomial systems applied to timed Petri nets. (English) Zbl 1465.68191
Sankaranarayanan, Sriram (ed.) et al., Formal modeling and analysis of timed systems. 13th international conference, FORMATS 2015, Madrid, Spain, September 2–4, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9268, 10-26 (2015).
An approximation method for blocking probabilities in \(M/D/1/K_{1} \to \cdot /D/1/K_{2}\) queues. (English) Zbl 1321.90041
A strongly polynomial method for solving integer max-linear optimization problems in a generic case. (English) Zbl 1323.65067
Reviewer: Armin Hoffmann (Ilmenau)
A max-plus dual space fundamental solution for a class of operator differential Riccati equations. (English) Zbl 1347.49005
MAX-plus fundamental solution semigroups for a class of difference Riccati equations. (English) Zbl 1309.93043
Extremal properties of tropical eigenvalues and solutions to tropical optimization problems. (English) Zbl 1307.65089
Contraction of Riccati flows applied to the convergence analysis of a max-plus curse-of-dimensionality-free method. (English) Zbl 1307.49028
Exact and approximate approaches to the identification of stochastic MAX-plus-linear systems. (English) Zbl 1302.93146
Tropical Fourier-Motzkin elimination, with an application to real-time verification. (English) Zbl 1301.90069
NLCertify: a tool for formal nonlinear optimization. (English) Zbl 1434.68640
Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8592, 315-320 (2014).
A max-plus method for the approximate solution of discrete time linear regulator problems with non-quadratic terminal payoff. (English) Zbl 07876493
Fahroo, Fariba (ed.) et al., SIAM conference on control and its applications, CT’13, San Diego, CA, USA, July 8–10, 2013. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 106-113 (2013).
Towards geometric control of max-plus linear systems with applications to queueing networks. (English) Zbl 1308.93062
Model predictive control-based scheduler for repetitive discrete event systems with capacity constraints. (English) Zbl 1301.93106
A lightweight model predictive controller for repetitive discrete event systems. (English) Zbl 1286.93116
Ultradiscrete sine-Gordon equation over symmetrized MAX-plus algebra, and noncommutative discrete and ultradiscrete sine-Gordon equations. (English) Zbl 1338.37089
Payoff suboptimality and errors in value induced by approximation of the Hamiltonian. (English) Zbl 1283.49026
Max-plus control design for temporal constraints meeting in timed event graphs. (English) Zbl 1369.93371
An application of the max-plus spectral theory to an ultradiscrete analogue of the Lax pair. (English) Zbl 1317.37075
Athorne, Chris (ed.) et al., Tropical geometry and integrable systems. A conference on tropical geometry and integrable systems, School of Mathematics and Statistics, Glasgow, UK, July 3–8, 2011. Proceedings. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-7553-7/pbk; 978-0-8218-9188-9/ebook). Contemporary Mathematics 580, 117-133 (2012).
An iterative algorithm for testing solvability of max-min interval systems. (English) Zbl 1333.65034
Modeling, stability analysis and scheduling design for a class of queuing systems by means of timed Petri nets, Lyapunov methods and max-plus algebra. (English) Zbl 1250.93027
A new algebraic solution to multidimensional minimax location problems with Chebyshev distance. arXiv:1210.4770
Preprint, arXiv:1210.4770 [math.OC] (2012).
A complete closed-form solution to a tropical extremal problem. arXiv:1210.3658
Preprint, arXiv:1210.3658 [math.OC] (2012).
Iterative component-wise bounds for the steady-state distribution of a Markov chain. (English) Zbl 1265.60135
Reviewer: Tugrul Dayar (Ankara)
A discrete approximate iteration method for the continuing convex dynamic programming. (Chinese. English summary) Zbl 1265.90324
Modeling and stability analysis for a class of queuing systems by means of timed Petri nets, Lyapunov methods and max-plus algebra. (English) Zbl 1248.93112
Modeling, stability analysis and timetable design for parallel computer processing systems by means of timed Petri nets, Lyapunov methods and max-plus algebra. (English) Zbl 1247.68188
Parallel computer processing systems are better than serial computer processing systems. (English) Zbl 1226.68060
Lin, Song (ed.) et al., Advances in computer science, environment, ecoinformatics, and education. International conference, CSEE 2011, Wuhan, China, August 21–22, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-23320-3/pbk; 978-3-642-23321-0/ebook). Communications in Computer and Information Science 214, 8-14 (2011).
MSC:
68Q85
The action of a nilpotent group on its horofunction boundary has finite orbits. (English) Zbl 1262.20045
Why parallel computer processing systems are preferred to serial computer processing systems: a formal discussion. (English) Zbl 1221.68165
Memory loss property for products of random matrices in the max-plus algebra. (English) Zbl 1217.93102
Duality between invariant spaces for max-plus linear discrete event systems. (English) Zbl 1213.93128
A mixed Lyapunov-max-plus algebra approach to the stability problem for a two species ecosystem modeled with timed Petri nets. (English) Zbl 1360.93426
Convergence rate for a curse-of-dimensionality-free method for a class of HJB PDEs. (English) Zbl 1218.35074
Reviewer: Fabio Bagagiolo (Trento)
What shape is your conjugate? A survey of computational convex analysis and its applications. (English) Zbl 1197.65072
Convergence rate for a curse-of-dimensionality-free method for Hamilton-Jacobi-Bellman PDEs represented as maxima of quadratic forms. (English) Zbl 1203.49039
Minimum representing measures in idempotent analysis. (English) Zbl 1179.53077
Litvinov, G. L. (ed.) et al., Tropical and idempotent mathematics. International workshop TROPICAL-07, Moscow, Russia, August 25–30, 2007. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4782-4/pbk). Contemporary Mathematics 495, 367-382 (2009).
Graph selectors and the max-plus finite element method. (English) Zbl 1178.49036
Litvinov, G. L. (ed.) et al., Tropical and idempotent mathematics. International workshop TROPICAL-07, Moscow, Russia, August 25–30, 2007. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4782-4/pbk). Contemporary Mathematics 495, 281-292 (2009).
Max algebraic powers of irreducible matrices in the periodic regime: an application of cyclic classes. (English) Zbl 1175.15027
Reviewer: Costică Moroşanu (Iaşi)
Interval systems over idempotent semiring. (English) Zbl 1201.65070
Reviewer: Svetoslav Markov (Sofia)
A new fundamental solution for differential Riccati equations arising in control. (English) Zbl 1283.93078
Backward coupling in bounded free-choice nets under Markovian and non-Markovian assumptions. (English) Zbl 1185.93080
Filter Results by …
Document Type
- Journal Articles (104)
- Collection Articles (18)
- Books (2)
- arXiv Preprints (2)
all
top 5
Author
- De Schutter, Bart (11)
- McEneaney, William “Mac” M. (11)
- van den Boom, Ton J. J. (9)
- Gaubert, Stéphane (8)
- Amari, Said (7)
- Konigsberg, Zvi Retchkiman (6)
- Hardouin, Laurent (5)
- Krivulin, Nikolai K. (5)
- Dower, Peter M. (4)
- Kara, Redouane (4)
- Shang, Ying (4)
- Abate, Alessandro (3)
- Akian, Marianne (3)
- Allamigeon, Xavier (3)
- Cottenceau, Bertrand (3)
- Gavalec, Martin (3)
- Katz, Ricardo David (3)
- Lhommeau, Mehdi (3)
- Maia, Carlos Andrey (3)
- Myšková, Helena (3)
- Tao, Yuegang (3)
- Truffet, Laurent (3)
- Walsh, Cormac (3)
- Xu, Jia (3)
- Zhang, Huan (3)
- Aberkane, Sofiane (2)
- Adzkiya, Dieky (2)
- Amiraslani, Amirhossein (2)
- Cheng, Yiping (2)
- Cohen, Guy (2)
- Farahani, Samira S. (2)
- Fodjo, Eric (2)
- Ghalandarzadeh, Shaban (2)
- Jamshidvand, Sedighe (2)
- Loiseau, Jean Jacques (2)
- Majdzik, Paweł (2)
- Mufid, Muhammad Syifa’ul (2)
- Olia, Fateme (2)
- Plavka, Ján (2)
- Tebani, Karima (2)
- Tisseur, Françoise (2)
- Wang, Cailu (2)
- Zheng, Dazhong (2)
- Zimmermann, Karel (2)
- Ackora-Prah, Joseph (1)
- Ahmane, Mourad (1)
- Aidoo, Anthony Y. (1)
- Ait Oumeziane, F. (1)
- Akielaszek-Witczak, Anna (1)
- Animobono, Davide (1)
- Baah-Gyamfi, Kwasi (1)
- Bacaër, Nicolas (1)
- Barkallah, Maher (1)
- Benchimol, Pascal (1)
- Blondel, Vincent D. (1)
- Bocewicz, Grzegorz (1)
- Boeuf, Vianney (1)
- Boimond, Jean-Louis (1)
- Bouillard, Anne (1)
- Breuß, Michael (1)
- Bušić, Ana (1)
- Butkovič, Peter (1)
- Caleiro, Carlos (1)
- Cechlárová, Katarína (1)
- Chang, Byeong-Yun (1)
- Chen, Haiyong (1)
- Cimatti, Alessandro (1)
- Cimler, Richard (1)
- Ćirić, Miroslav D. (1)
- Collins, Gaemus (1)
- Conte, Giuseppe (1)
- Cuninghame-Green, Ray A. (1)
- De Moor, Bart L. R. (1)
- Demongodin, Isabel (1)
- Deshpande, Ameet Shridhar (1)
- Di Loreto, Michael (1)
- Elsner, Ludwig F. (1)
- Fahrenberg, Uli (1)
- Falcone, Maurizio (1)
- Ferretti, Roberto Giorgio (1)
- Fourneau, Jean-Michel (1)
- Gaujal, Bruno (1)
- Gonçalves, Vinicius Mariano (1)
- Gorka, Artur (1)
- Goto, Hiroyuki (1)
- Grüne, Lars (1)
- Haddar, Mohamed Amine (1)
- Hadeler, Karl-Peter (1)
- Hajarian, Masoud (1)
- Helluy, Philippe (1)
- Himrane, Ouail (1)
- Hogg, Jonathan D. (1)
- Ikegami, Takatoshi (1)
- James, Matthew R. (1)
- Joswig, Michael (1)
- Kahra, Marvin (1)
- Kalise, Dante (1)
- Kersbergen, Bart (1)
- Khaleghzade, Sedighe (1)
- Kluberg, L. Jonathan (1)
- and 64 more Authors
all
top 5
Serial
- Discrete Event Dyn. Syst. (12)
- SIAM J. Control Optim. (10)
- IEEE Trans. Autom. Control (9)
- Linear Algebra Appl. (8)
- Kybernetika (7)
- Automatica (6)
- Int. J. Syst. Sci., Princ. Appl. Syst. Integr. (5)
- Int. J. Control (4)
- Eur. J. Control (4)
- J. Comput. Appl. Math. (3)
- Int. J. Pure Appl. Math. (3)
- SIAM Rev. (2)
- Int. Math. Forum (2)
- Math. Sci., Springer (2)
- Int. J. Syst. Sci. (1)
- Appl. Math. Optim. (1)
- Fuzzy Sets Syst. (1)
- J. Optim. Theory Appl. (1)
- Math. Oper. Res. (1)
- Syst. Control Lett. (1)
- J. Syst. Sci. Math. Sci. (1)
- Optimization (1)
- IMA J. Math. Control Inf. (1)
- Asia-Pac. J. Oper. Res. (1)
- SIAM J. Matrix Anal. Appl. (1)
- Math. Control Signals Syst. (1)
- Japan J. Ind. Appl. Math. (1)
- Int. J. Algebra Comput. (1)
- Math. Models Methods Appl. Sci. (1)
- J. Math. Imaging Vis. (1)
- SIAM J. Sci. Comput. (1)
- Neural Parallel Sci. Comput. (1)
- Numer. Linear Algebra Appl. (1)
- Lobachevskii J. Math. (1)
- Adv. Geom. (1)
- J. Control Theory Appl. (1)
- SIGMA, Symmetry Integrability Geom. Methods Appl. (1)
- Groups Geom. Dyn. (1)
- J. Phys. A, Math. Theor. (1)
- Radon Ser. Comput. Appl. Math. (1)
- Asian J. Control (1)
- Int. J. Optim. Control, Theor. Appl. (IJOCTA) (1)
- Springer INdAM Ser. (1)
all
top 3
Software
- HSL (2)
- SparseMatrix (2)
- UMDES (2)
- Uppaal (2)
- quadeig (2)
- Coq (1)
- FSAIPACK (1)
- GLPK (1)
- GitHub (1)
- GloptiPoly (1)
- Gurobi (1)
- HSL_MI28 (1)
- Maple (1)
- MinMaxgd (1)
- NLCertify (1)
- OCaml (1)
- Octave (1)
- PARDISO (1)
- QuickMatch (1)
- SHARPE (1)
- SPOT (1)
- Sollya (1)
- SparsePOP (1)
- TPLib (1)
- YALMIP (1)
- mctoolbox (1)
- na13 (1)
- nuXmv (1)
- polymake (1)
- profile wavefront (1)
- z3 (1)
