Formalization of Quasilattices

The main aim of this article is to introduce formally one of the generalizations of lattices, namely quasilattices, which can be obtained from the axiomatization of the former class by certain weakening of ordinary absorption laws. We show propositions QLT-1 to QLT-7 from [15], presenting also some short variants of corresponding axiom systems. Some of the results were proven in the Mizar [1], [2] system with the help of Prover9 [14] proof assistant.Dominik Kulesza - Institute of Informatics, University of Białystok, PolandAdam Grabowski - Institute of Informatics, University of Białystok, PolandGrzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, Karol Pąk, and Josef Urban. Mizar: State-of-the-art and beyond. In Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, and Volker Sorge, editors, Intelligent Computer Mathematics, volume 9150 of Lecture Notes in Computer Science, pages 261–279. Springer International Publishing, 2015. ISBN 978-3-319-20614-1. doi:10.1007/978-3-319-20615-8_17.Grzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, and Karol Pąk. The role of the Mizar Mathematical Library for interactive proof development in Mizar. Journal of Automated Reasoning, 61(1):9–32, 2018. doi:10.1007/s10817-017-9440-6.Garrett Birkhoff. Lattice Theory. Providence, Rhode Island, New York, 1967.B.A. Davey and H.A. Priestley. Introduction to Lattices and Order. Cambridge University Press, 2002.G. Gierz, K.H. Hofmann, K. Keimel, J.D. Lawson, M. Mislove, and D.S. Scott. A Compendium of Continuous Lattices. Springer-Verlag, Berlin, Heidelberg, New York, 1980.Adam Grabowski. Mechanizing complemented lattices within Mizar system. Journal of Automated Reasoning, 55:211–221, 2015. doi:10.1007/s10817-015-9333-5.Adam Grabowski and Robert Milewski. Boolean posets, posets under inclusion and products of relational structures. Formalized Mathematics, 6(1):117–121, 1997.Adam Grabowski and Markus Moschner. Managing heterogeneous theories within a mathematical knowledge repository. In Andrea Asperti, Grzegorz Bancerek, and Andrzej Trybulec, editors, Mathematical Knowledge Management Proceedings, volume 3119 of Lecture Notes in Computer Science, pages 116–129. Springer, 2004. doi:10.1007/978-3-540-27818-4_9. 3rd International Conference on Mathematical Knowledge Management, Bialowieza, Poland, Sep. 19–21, 2004.Adam Grabowski and Damian Sawicki. On two alternative axiomatizations of lattices by McKenzie and Sholander. Formalized Mathematics, 26(2):193–198, 2018. doi:10.2478/forma-2018-0017.Adam Grabowski and Christoph Schwarzweller. Translating mathematical vernacular into knowledge repositories. In Michael Kohlhase, editor, Mathematical Knowledge Management, volume 3863 of Lecture Notes in Computer Science, pages 49–64. Springer, 2006. doi:https://doi.org/10.1007/11618027_4. 4th International Conference on Mathematical Knowledge Management, Bremen, Germany, MKM 2005, July 15–17, 2005, Revised Selected Papers.Adam Grabowski, Artur Korniłowicz, and Christoph Schwarzweller. Equality in computer proof-assistants. In Ganzha, Maria and Maciaszek, Leszek and Paprzycki, Marcin, editor, Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, volume 5 of ACSIS-Annals of Computer Science and Information Systems, pages 45–54. IEEE, 2015. doi:10.15439/2015F229.George Grätzer. General Lattice Theory. Academic Press, New York, 1978.George Grätzer. Lattice Theory: Foundation. Birkhäuser, 2011.William McCune. Prover9 and Mace4. 2005–2010.William McCune and Ranganathan Padmanabhan. Automated Deduction in Equational Logic and Cubic Curves. Springer-Verlag, Berlin, 1996.Ranganathan Padmanabhan and Sergiu Rudeanu. Axioms for Lattices and Boolean Algebras. World Scientific Publishers, 2008.Piotr Rudnicki and Josef Urban. Escape to ATP for Mizar. In First International Workshop on Proof eXchange for Theorem Proving-PxTP 2011, 2011.Stanisław Żukowski. Introduction to lattice theory. Formalized Mathematics, 1(1):215–222, 1990.28221722

Solution Approaches for the Management of the Water Resources in Irrigation Water Systems with Fuzzy Costs

[EN] Currently, the management of water networks is key to increase their sustainability. This fact implies that water managers have to develop tools that ease the decision-making process in order to improve the efficiency of irrigation networks, as well as their exploitation costs. The present research proposes a mathematical programming model to optimize the selection of the water sources and the volume over time in water networks, minimizing the operation costs as a function of the water demand and the reservoir capacity. The model, which is based on fuzzy methods, improves the evaluation performed by water managers when they have to decide about the acquisition of the water resources under uncertain costs. Different fuzzy solution approaches have been applied and assessed in terms of model complexity and computational efficiency, showing the solution accomplished for each one. A comparison between different methods was applied in a real water network, reaching a 20% total cost reduction for the best solution.Sanchis, R.; Díaz-Madroñero Boluda, FM.; López Jiménez, PA.; Pérez-Sánchez, M. (2019). Solution Approaches for the Management of the Water Resources in Irrigation Water Systems with Fuzzy Costs. Water. 11(12):1-22. https://doi.org/10.3390/w11122432S1221112Biswas, A. K. (2004). Integrated Water Resources Management: A Reassessment. Water International, 29(2), 248-256. doi:10.1080/02508060408691775Pahl-Wostl, C. (2006). Transitions towards adaptive management of water facing climate and global change. Water Resources Management, 21(1), 49-62. doi:10.1007/s11269-006-9040-4Wu, K., & Zhang, L. (2014). Progress in the Development of Environmental Risk Assessment as a Tool for the Decision-Making Process. Journal of Service Science and Management, 07(02), 131-143. doi:10.4236/jssm.2014.72011Hernández-Bedolla, J., Solera, A., Paredes-Arquiola, J., Pedro-Monzonís, M., Andreu, J., & Sánchez-Quispe, S. (2017). The Assessment of Sustainability Indexes and Climate Change Impacts on Integrated Water Resource Management. Water, 9(3), 213. doi:10.3390/w9030213Hunink, J., Simons, G., Suárez-Almiñana, S., Solera, A., Andreu, J., Giuliani, M., … Bastiaanssen, W. (2019). A Simplified Water Accounting Procedure to Assess Climate Change Impact on Water Resources for Agriculture across Different European River Basins. Water, 11(10), 1976. doi:10.3390/w11101976Pérez-Sánchez, M., Sánchez-Romero, F., Ramos, H., & López-Jiménez, P. (2016). Modeling Irrigation Networks for the Quantification of Potential Energy Recovering: A Case Study. Water, 8(6), 234. doi:10.3390/w8060234Corominas, J. (2010). Agua y energía en el riego, en la época de la sostenibilidad. Ingeniería del agua, 17(3). doi:10.4995/ia.2010.2977Romero, L., Pérez-Sánchez, M., & Amparo López-Jiménez, P. (2017). Improvement of sustainability indicators when traditional water management changes: a case study in Alicante (Spain). AIMS Environmental Science, 4(3), 502-522. doi:10.3934/environsci.2017.3.502Davies, E. G. R., & Simonovic, S. P. (2011). Global water resources modeling with an integrated model of the social–economic–environmental system. Advances in Water Resources, 34(6), 684-700. doi:10.1016/j.advwatres.2011.02.010ALCAMO, J., DÖLL, P., HENRICHS, T., KASPAR, F., LEHNER, B., RÖSCH, T., & SIEBERT, S. (2003). Development and testing of the WaterGAP 2 global model of water use and availability. Hydrological Sciences Journal, 48(3), 317-337. doi:10.1623/hysj.48.3.317.45290Sanchis, R., & Poler, R. (2019). Enterprise Resilience Assessment—A Quantitative Approach. Sustainability, 11(16), 4327. doi:10.3390/su11164327Rahaman, M. M., & Varis, O. (2005). Integrated water resources management: evolution, prospects and future challenges. Sustainability: Science, Practice and Policy, 1(1), 15-21. doi:10.1080/15487733.2005.11907961Markantonis, V., Reynaud, A., Karabulut, A., El Hajj, R., Altinbilek, D., Awad, I. M., … Bidoglio, G. (2019). Can the Implementation of the Water-Energy-Food Nexus Support Economic Growth in the Mediterranean Region? The Current Status and the Way Forward. Frontiers in Environmental Science, 7. doi:10.3389/fenvs.2019.00084Food and Agriculture Organization (FAO)www.fao.orgDirective 2000/60/EC of the European Parliament and of the Councilhttps://eur-lex.europa.eu/eli/dir/2000/60/ojNamany, S., Al-Ansari, T., & Govindan, R. (2019). Sustainable energy, water and food nexus systems: A focused review of decision-making tools for efficient resource management and governance. Journal of Cleaner Production, 225, 610-626. doi:10.1016/j.jclepro.2019.03.304Archibald, T. W., & Marshall, S. E. (2018). Review of Mathematical Programming Applications in Water Resource Management Under Uncertainty. Environmental Modeling & Assessment, 23(6), 753-777. doi:10.1007/s10666-018-9628-0Chen, S., Shao, D., Gu, W., Xu, B., Li, H., & Fang, L. (2017). An interval multistage water allocation model for crop different growth stages under inputs uncertainty. Agricultural Water Management, 186, 86-97. doi:10.1016/j.agwat.2017.03.001Xie, Y. L., Xia, D. H., Huang, G. H., Li, W., & Xu, Y. (2015). A multistage stochastic robust optimization model with fuzzy probability distribution for water supply management under uncertainty. Stochastic Environmental Research and Risk Assessment, 31(1), 125-143. doi:10.1007/s00477-015-1164-8Heumesser, C., Fuss, S., Szolgayová, J., Strauss, F., & Schmid, E. (2012). Investment in Irrigation Systems under Precipitation Uncertainty. Water Resources Management, 26(11), 3113-3137. doi:10.1007/s11269-012-0053-xPereira-Cardenal, S. J., Mo, B., Riegels, N. D., Arnbjerg-Nielsen, K., & Bauer-Gottwein, P. (2015). Optimization of Multipurpose Reservoir Systems Using Power Market Models. Journal of Water Resources Planning and Management, 141(8), 04014100. doi:10.1061/(asce)wr.1943-5452.0000500Kumari, S., & Mujumdar, P. P. (2017). Fuzzy Set–Based System Performance Evaluation of an Irrigation Reservoir System. Journal of Irrigation and Drainage Engineering, 143(5), 04017002. doi:10.1061/(asce)ir.1943-4774.0001155Jairaj, P. G., & Vedula, S. (2000). Water Resources Management, 14(6), 457-472. doi:10.1023/a:1011117918943Li, M., Guo, P., Singh, V. P., & Zhao, J. (2016). Irrigation Water Allocation Using an Inexact Two-Stage Quadratic Programming with Fuzzy Input under Climate Change. JAWRA Journal of the American Water Resources Association, 52(3), 667-684. doi:10.1111/1752-1688.12415Bozorg-Haddad, O., Malmir, M., Mohammad-Azari, S., & Loáiciga, H. A. (2016). Estimation of farmers’ willingness to pay for water in the agricultural sector. Agricultural Water Management, 177, 284-290. doi:10.1016/j.agwat.2016.08.011Raju, K. S., & Duckstein, L. (2003). Multiobjective fuzzy linear programming for sustainable irrigation planning: an Indian case study. Soft Computing - A Fusion of Foundations, Methodologies and Applications, 7(6), 412-418. doi:10.1007/s00500-002-0230-6Regulwar, D. G., & Gurav, J. B. (2012). Sustainable Irrigation Planning with Imprecise Parameters under Fuzzy Environment. Water Resources Management, 26(13), 3871-3892. doi:10.1007/s11269-012-0109-yMula, J., Poler, R., & Garcia-Sabater, J. P. (2008). Capacity and material requirement planning modelling by comparing deterministic and fuzzy models. International Journal of Production Research, 46(20), 5589-5606. doi:10.1080/00207540701413912Díaz-Madroñero, M., Mula, J., Jiménez, M., & Peidro, D. (2016). A rolling horizon approach for material requirement planning under fuzzy lead times. International Journal of Production Research, 55(8), 2197-2211. doi:10.1080/00207543.2016.1223382Mula, J., Poler, R., & Garcia, J. P. (2006). MRP with flexible constraints: A fuzzy mathematical programming approach. Fuzzy Sets and Systems, 157(1), 74-97. doi:10.1016/j.fss.2005.05.045Mula, J., Poler, R., & Garcia-Sabater, J. P. (2007). Material Requirement Planning with fuzzy constraints and fuzzy coefficients. Fuzzy Sets and Systems, 158(7), 783-793. doi:10.1016/j.fss.2006.11.003Díaz-Madroñero, M., Mula, J., & Jiménez, M. (2014). Fuzzy goal programming for material requirements planning under uncertainty and integrity conditions. International Journal of Production Research, 52(23), 6971-6988. doi:10.1080/00207543.2014.920115Pérez-Sánchez, M., Díaz-Madroñero, M., Díaz-Madroñero, D.-M., … Josefa, J. (2017). Mathematical Programming Model for Procurement Selection in Water Irrigation Systems. A Case Study. Journal of Engineering Science and Technology Review, 10(6), 154-162. doi:10.25103/jestr.106.19Herrera, F., & Verdegay, J. L. (1995). Three models of fuzzy integer linear programming. European Journal of Operational Research, 83(3), 581-593. doi:10.1016/0377-2217(93)e0338-xHerrera, F., & Verdegay, J. L. (1996). Fuzzy boolean programming problems with fuzzy costs: A general study. Fuzzy Sets and Systems, 81(1), 57-76. doi:10.1016/0165-0114(94)00324-6Alavidoost, M. H., Babazadeh, H., & Sayyari, S. T. (2016). An interactive fuzzy programming approach for bi-objective straight and U-shaped assembly line balancing problem. Applied Soft Computing, 40, 221-235. doi:10.1016/j.asoc.2015.11.025Torabi, S. A., & Hassini, E. (2008). An interactive possibilistic programming approach for multiple objective supply chain master planning. Fuzzy Sets and Systems, 159(2), 193-214. doi:10.1016/j.fss.2007.08.010Yager, R. R. (1981). A procedure for ordering fuzzy subsets of the unit interval. Information Sciences, 24(2), 143-161. doi:10.1016/0020-0255(81)90017-7Lai, Y.-J., & Hwang, C.-L. (1992). A new approach to some possibilistic linear programming problems. Fuzzy Sets and Systems, 49(2), 121-133. doi:10.1016/0165-0114(92)90318-xZimmermann, H.-J. (1978). Fuzzy programming and linear programming with several objective functions. Fuzzy Sets and Systems, 1(1), 45-55. doi:10.1016/0165-0114(78)90031-3Selim, H., & Ozkarahan, I. (2006). A supply chain distribution network design model: An interactive fuzzy goal programming-based solution approach. The International Journal of Advanced Manufacturing Technology, 36(3-4), 401-418. doi:10.1007/s00170-006-0842-6Bellman, R. E., & Zadeh, L. A. (1970). Decision-Making in a Fuzzy Environment. Management Science, 17(4), B-141-B-164. doi:10.1287/mnsc.17.4.b14

On Weakly Associative Lattices and Near Lattices

The main aim of this article is to introduce formally two generalizations of lattices, namely weakly associative lattices and near lattices, which can be obtained from the former by certain weakening of the usual well-known axioms. We show selected propositions devoted to weakly associative lattices and near lattices from Chapter 6 of [15], dealing also with alternative versions of classical axiomatizations. Some of the results were proven in the Mizar [1], [2] system with the help of Prover9 [14] proof assistant.Damian Sawicki - Institute of Informatics, University of Białystok, PolandAdam Grabowski - Institute of Informatics, University of Białystok, PolandGrzegorz Bancerek, Czesław Bylinski, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak, and Josef Urban. Mizar: State-of-the-art and beyond. In Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, and Volker Sorge, editors, Intelligent Computer Mathematics, volume 9150 of Lecture Notes in Computer Science, pages 261–279. Springer International Publishing, 2015. ISBN 978-3-319-20614-1. doi:10.1007/978-3-319-20615-8_17.Grzegorz Bancerek, Czesław Bylinski, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, and Karol Pak. The role of the Mizar Mathematical Library for interactive proof development in Mizar. Journal of Automated Reasoning, 61(1):9–32, 2018. doi:10.1007/s10817-017-9440-6.Garrett Birkhoff. Lattice Theory. Providence, Rhode Island, New York, 1967.B.A. Davey and H.A. Priestley. Introduction to Lattices and Order. Cambridge University Press, 2002.Ervin Fried and George Grätzer. Some examples of weakly associative lattices. Colloquium Mathematicum, 27:215–221, 1973. doi:10.4064/cm-27-2-215-221.Adam Grabowski. Mechanizing complemented lattices within Mizar system. Journal of Automated Reasoning, 55:211–221, 2015. doi:10.1007/s10817-015-9333-5.Adam Grabowski and Markus Moschner. Managing heterogeneous theories within a mathematical knowledge repository. In Andrea Asperti, Grzegorz Bancerek, and Andrzej Trybulec, editors, Mathematical Knowledge Management Proceedings, volume 3119 of Lecture Notes in Computer Science, pages 116–129. Springer, 2004. doi:10.1007/978-3-540-27818-4_9. 3rd International Conference on Mathematical Knowledge Management, Bialowieza, Poland, Sep. 19–21, 2004.Adam Grabowski and Damian Sawicki. On two alternative axiomatizations of lattices by McKenzie and Sholander. Formalized Mathematics, 26(2):193–198, 2018. doi:10.2478/forma-2018-0017.Adam Grabowski and Christoph Schwarzweller. Translating mathematical vernacular into knowledge repositories. In Michael Kohlhase, editor, Mathematical Knowledge Management, volume 3863 of Lecture Notes in Computer Science, pages 49–64. Springer, 2006. doi:https://doi.org/10.1007/11618027 4. 4th International Conference on Mathematical Knowledge Management, Bremen, Germany, MKM 2005, July 15–17, 2005, Revised Selected Papers.Adam Grabowski, Artur Korniłowicz, and Christoph Schwarzweller. Equality in computer proof-assistants. In Ganzha, Maria and Maciaszek, Leszek and Paprzycki, Marcin, editor, Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, volume 5 of ACSIS-Annals of Computer Science and Information Systems, pages 45–54. IEEE, 2015. doi:10.15439/2015F229.George Grätzer. General Lattice Theory. Academic Press, New York, 1978.George Grätzer. Lattice Theory: Foundation. Birkhäuser, 2011.Dominik Kulesza and Adam Grabowski. Formalization of quasilattices. Formalized Mathematics, 28(2):217–225, 2020. doi:10.2478/forma-2020-0019.William McCune. Prover9 and Mace4. 2005–2010.William McCune and Ranganathan Padmanabhan. Automated Deduction in Equational Logic and Cubic Curves. Springer-Verlag, Berlin, 1996.Ranganathan Padmanabhan and Sergiu Rudeanu. Axioms for Lattices and Boolean Algebras. World Scientific Publishers, 2008.Piotr Rudnicki and Josef Urban. Escape to ATP for Mizar. In First International Workshop on Proof eXchange for Theorem Proving-PxTP 2011, 2011.Stanisław Zukowski. Introduction to lattice theory. Formalized Mathematics, 1(1):215–222, 1990.292778

Recent advances on recursive filtering and sliding mode design for networked nonlinear stochastic systems: A survey

Copyright © 2013 Jun Hu et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.Some recent advances on the recursive filtering and sliding mode design problems for nonlinear stochastic systems with network-induced phenomena are surveyed. The network-induced phenomena under consideration mainly include missing measurements, fading measurements, signal quantization, probabilistic sensor delays, sensor saturations, randomly occurring nonlinearities, and randomly occurring uncertainties. With respect to these network-induced phenomena, the developments on filtering and sliding mode design problems are systematically reviewed. In particular, concerning the network-induced phenomena, some recent results on the recursive filtering for time-varying nonlinear stochastic systems and sliding mode design for time-invariant nonlinear stochastic systems are given, respectively. Finally, conclusions are proposed and some potential future research works are pointed out.This work was supported in part by the National Natural Science Foundation of China under Grant nos. 61134009, 61329301, 61333012, 61374127 and 11301118, the Engineering and Physical Sciences Research Council (EPSRC) of the UK under Grant no. GR/S27658/01, the Royal Society of the UK, and the Alexander von Humboldt Foundation of Germany

Variance-constrained multiobjective control and filtering for nonlinear stochastic systems: A survey

The multiobjective control and filtering problems for nonlinear stochastic systems with variance constraints are surveyed. First, the concepts of nonlinear stochastic systems are recalled along with the introduction of some recent advances. Then, the covariance control theory, which serves as a practical method for multi-objective control design as well as a foundation for linear system theory, is reviewed comprehensively. The multiple design requirements frequently applied in engineering practice for the use of evaluating system performances are introduced, including robustness, reliability, and dissipativity. Several design techniques suitable for the multi-objective variance-constrained control and filtering problems for nonlinear stochastic systems are discussed. In particular, as a special case for the multi-objective design problems, the mixed H 2 / H ∞ control and filtering problems are reviewed in great detail. Subsequently, some latest results on the variance-constrained multi-objective control and filtering problems for the nonlinear stochastic systems are summarized. Finally, conclusions are drawn, and several possible future research directions are pointed out

A survey on gain-scheduled control and filtering for parameter-varying systems

Copyright © 2014 Guoliang Wei et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.This paper presents an overview of the recent developments in the gain-scheduled control and filtering problems for the parameter-varying systems. First of all, we recall several important algorithms suitable for gain-scheduling method including gain-scheduled proportional-integral derivative (PID) control, H 2, H ∞ and mixed H 2 / H ∞ gain-scheduling methods as well as fuzzy gain-scheduling techniques. Secondly, various important parameter-varying system models are reviewed, for which gain-scheduled control and filtering issues are usually dealt with. In particular, in view of the randomly occurring phenomena with time-varying probability distributions, some results of our recent work based on the probability-dependent gain-scheduling methods are reviewed. Furthermore, some latest progress in this area is discussed. Finally, conclusions are drawn and several potential future research directions are outlined.The National Natural Science Foundation of China under Grants 61074016, 61374039, 61304010, and 61329301; the Natural Science Foundation of Jiangsu Province of China under Grant BK20130766; the Program for Professor of Special Appointment (Eastern Scholar) at Shanghai Institutions of Higher Learning; the Program for New Century Excellent Talents in University under Grant NCET-11-1051, the Leverhulme Trust of the U.K., the Alexander von Humboldt Foundation of Germany

Research Agenda for Studying Open Source II: View Through the Lens of Referent Discipline Theories

In a companion paper [Niederman et al., 2006] we presented a multi-level research agenda for studying information systems using open source software. This paper examines open source in terms of MIS and referent discipline theories that are the base needed for rigorous study of the research agenda