Search results

Filters

  • Journals
  • Authors
  • Keywords
  • Date
  • Type

Search results

Number of results: 10
items per page: 25 50 75
Sort by:
Download PDF Download RIS Download Bibtex

Abstract

The paper presents a method of priority scheduling that is useful during the planning of multiple-structure construction projects. This approach is an extension of the concept of interactive scheduling. In priority scheduling, it is the planner that can determine how important each of the technological and organisational constraints are to them. A planner's preferences can be defined through developing a ranking list that defines which constraints are the most important, and those whose completion can come second. The planner will be able to model the constraints that appear at a construction site more flexibly. The article presents a general linear programming model of the planning of multiple-structure construction projects, as well as various values of each of the parameters that allow us to obtain different planning effects. The proposed model has been implemented in a computer program and its effectiveness has been presented on a calculation example.

Go to article

Authors and Affiliations

E. Radziszewska-Zielina
B. Sroka
Download PDF Download RIS Download Bibtex

Abstract

In this paper we present results of systematic and comprehensive simulation analysis of the Tsao & Safonov unfalsified controller for complex robot manipulators. In particular, we show that the controller falsification procedure yields the closedloop unfalsified controller, which accomplishes the control objective, within a finite and relatively short time interval with the number of invocations of linear programming based unfalsified controller selection procedure being relatively small. We also present some conclusions resulting from the investigation of the effect of such elements as manipulator structure complexity, prior knowledge about disturbances, reference trajectory and assigned closed-loop spectrum on unfalsified controller performance and computational complexity.

Go to article

Authors and Affiliations

M. Pawluk
K. Arent
Download PDF Download RIS Download Bibtex

Abstract

Current drive control systems tend to push control loops to the limits of their performance. One of the ways of doing so is to use advanced optimization algorithms, usually related to model-based off-line calculations, such as genetic algorithms, the particle swarmoptimisation or the others. There is, however, a simpler way, namely to use predictive control formalism and by formulation of a simple linear programming problem which is easy to solve using powerful solvers, without excessive computational burden, what is a reliable solution, as whenever the optimization problem has a feasible solution, a global minimizer can be efficiently found. This approach has been deployed for a servo drive system operated by a real-time sampled-data controller, verified between model-in-the-loop and hardwarein- the-loop configurations, for a range of prediction horizons, as an attractive alternative to classical quadratic programming-related formulation of predictive control task.
Go to article

Authors and Affiliations

Dariusz Horla
1
ORCID: ORCID
Piotr Pinczewski
2

  1. Institute of Robotics and Machine Intelligence, Poznan University of Technology, Piotrowo 3a Str., 60-965 Poznan, Poland
  2. IT.integro sp. z o.o. Zabkowicka 12 Str., 60-166 Poznan, Poland
Download PDF Download RIS Download Bibtex

Abstract

A new soft-fault diagnosis approach for analog circuits with parameter tolerance is proposed in this paper. The approach uses the fuzzy nonlinear programming (FNLP) concept to diagnose an analog circuit under test quantitatively. Node-voltage incremental equations, as constraints of FNLP equation, are built based on the sensitivity analysis. Through evaluating the parameters deviations from the solution of the FNLP equation, it enables us to state whether the actual parameters are within tolerance ranges or some components are faulty. Examples illustrate the proposed approach and show its effectiveness.

Go to article

Authors and Affiliations

Wei Zhang
Longfu Zhou
Yibing Shi
Chengti Huang
Yanjun Li
Download PDF Download RIS Download Bibtex

Abstract

Positively invariant sets play an important role in the theory and applications of dynamical systems. The stability in the sense of Lyapunov of the equilibrium x = 0 is equivalent to the existence of the ellipsoidal positively invariant sets. The constraints on the state and control vectors of dynamical systems can be formulated as polyhedral positively invariant sets in practical engineering problems. Numerical checking method of positive invariance of polyhedral sets is addressed in this paper. The validation of the positively invariant sets can be done by solving LPs which can be easily done numerically. It is illustrated by examples that our checking method is effective. Compared with the now existing algebraic methods, numerical checking method is an attractive method in that it’s easy to be implemented.

Go to article

Authors and Affiliations

H. Yang
Y. Hu
Download PDF Download RIS Download Bibtex

Abstract

The presented method is constructed for optimum scheduling in production lines with parallel

machines and without intermediate buffers. The production system simultaneously

performs operations on various types of products. Multi-option products were taken into

account – products of a given type may differ in terms of details. This allows providing for

individual requirements of the customers. The one-level approach to scheduling for multioption

products is presented. The integer programming is used in the method – optimum

solutions are determined: the shortest schedules for multi-option products. Due to the lack

of the intermediate buffers, two possibilities are taken into account: no-wait scheduling,

possibility of the machines being blocked by products awaiting further operations. These two

types of organizing the flow through the production line were compared using computational

experiments, the results of which are presented in the paper.

Go to article

Authors and Affiliations

Marek Magiera
Download PDF Download RIS Download Bibtex

Abstract

Classical planning in Artificial Intelligence is a computationally expensive problem of finding a sequence of actions that transforms a given initial state of the problem to a desired goal situation. Lack of information about the initial state leads to conditional and conformant planning that is more difficult than classical one. A parallel plan is the plan in which some actions can be executed in parallel, usually leading to decrease of the plan execution time but increase of the difficulty of finding the plan. This paper is focused on three planning problems which are computationally difficult: conditional, conformant and parallel conformant. To avoid these difficulties a set of transformations to Linear Programming Problem (LPP), illustrated by examples, is proposed. The results show that solving LPP corresponding to the planning problem can be computationally easier than solving the planning problem by exploring the problem state space. The cost is that not always the LPP solution can be interpreted directly as a plan.
Go to article

Bibliography

[1] J.L. Ambite and C.A. Knoblock: Planning by rewriting. Journal of Artificial Intelligence Research, 15 (2001), 207–261, DOI: 10.1613/jair.754.
[2] Ch. Backstrom: Computational Aspects of Reordering Plans. Journal of Artificial Intelligence Research, 9 (1998), 99–137, DOI: 10.1613/jair.477.
[3] Ch. Baral, V. Kreinovich, and R. Trejo: Computational complexity of planning and approximate planning in the presence of incompleteness. Artificial Intelligence, 122 (2000), 241–267, DOI: 10.1007/3-540-44957-4_59.
[4] R. Bartak: Constraint satisfaction techniques in planning and scheduling: An introduction. Archives of Control Sciences, 18(2), (2008), DOI: 10.1007/s10845-008-0203-4.
[5] A. Bhattacharya and P. Vasant: Soft-sensing of level of satisfaction in TOC product-mix decision heuristic using robust fuzzy-LP, European Journal of Operational Research, 177(1), (2007), 55–70, DOI: 10.1016/j.ejor.2005.11.017.
[6] J. Blythe: An Overview of Planning Under Uncertainty. Pre-print from AI Magazine, 20(2), (1999), 37–54, DOI: 10.1007/3-540-48317-9_4.
[7] T. Bylander: The Computational Complexity of Propositional STRIPS Planning. Artificial Intelligence, 69 (1994), 165–204, DOI: 10.1016/0004- 3702(94)90081-7.
[8] T. Bylander: A Linear Programming Heuristic for Optimal Planning. In Proc. of AAAI Nat. Conf., (1997).
[9] L.G. Chaczijan: A polynomial algorithm for linear programming. Dokł. Akad. Nauk SSSR, 244 (1979), 1093–1096.
[10] E.R. Dougherty and Ch.R. Giardina: Mathematical Methods for Artificial Intelligence and Autonomous Systems, Prentice-Hall International, Inc. USA, 1988.
[11] I. Elamvazuthi, P. Vasant, and T. Ganesan: Fuzzy Linear Programming using Modified Logistic Membership Function, International Review of Automatic Control, 3(4), (2010), 370–377, DOI: 10.3923/jeasci.2010.239.245.
[12] A. Galuszka: On transformation of STRIPS planning to linear programming. Archives of Control Sciences, 21(3), (2011), 227–251, DOI: 10.2478/v10170-010-0042-3.
[13] A. Galuszka, W. Ilewicz, and A. Olczyk: On Translation of Conformant Action Planning to Linear Programming. Proc. 20th International Conference on Methods and Models in Automation & Robotics, 24–27 August, (2005), 353–357, DOI: 10.1109/MMAR.2015.7283901.
[14] A. Galuszka, T. Grzejszczak, J. Smieja, A. Olczyk, and J. Kocerka: On parallel conformant planning as an optimization problem. 32nd Annual European Simulation and Modelling Conference, Ghent, (2018), 17–22.
[15] M. Ghallab et al.: PDDL – the Planning Domain Definition Language, Version 1.2. Technical Report DCS TR-1165, Yale Center for Computational Vision and Control, (1998).
[16] A. Grastien and E. Scala: Sampling Strategies for Conformant Planning. Proc. Twenty-Eighth International Conference on Automated Planning and Scheduling, (2018), 97–105.
[17] A. Grastien and E. Scala: CPCES: A planning framework to solve conformant planning problems through a counterexample guided refinement. Artificial Intelligence, 284 (2020), 103271, DOI: 10.1016/j.artint.2020.103271.
[18] D. Hoeller, G. Behnke, P. Bercher, S. Biundo, H. Fiorino, D. Pellier, and R. Alford: HDDL: An extension to PDDL for expressing hierarchical planning problems. Proc. AAAI Conference on Artificial Intelligence, 34(6), (2020), 1–9, DOI: 10.1609/aaai.v34i06.6542.
[19] J. Koehler and K. Schuster: Elevator Control as a Planning Problem. AIPS-2000, (2000), 331–338.
[20] R. van der. Krogt: Modification strategies for SAT-based plan adaptation. Archives of Control Sciences, 18(2), (2008).
[21] M.D. Madronero, D. Peidro, and P. Vasant: Vendor selection problem by using an interactive fuzzy multi-objective approach with modified s-curve membership functions. Computers and Mathematics with Applications, 60 (2010), 1038–1048, DOI: 10.1016/j.camwa.2010.03.060.
[22] A. Nareyek, C. Freuder, R. Fourer, E. Giunchiglia, R.P. Goldman, H. Kautz, J. Rintanen, and A. Tate: Constraitns and AI Planning. IEEE Intelligent Systems, (2005), 62–72, DOI: 10.1109/MIS.2005.25.
[23] N.J. Nilson: Principles of Artificial Intelligence. Toga Publishing Company, Palo Alto, CA, 1980.
[24] E.P.D. Pednault: ADL and the state-transition model of action. Journal of Logic and Computation, 4(5), (1994), 467–512, DOI: 10.1093/logcom/4.5.467.
[25] D. Peidro and P. Vasant: Transportation planning with modified scurve membership functions using an interactive fuzzy multi-objective approach, Applied Soft Computing, 11 (2011), 2656–2663, DOI: 10.1016/j.asoc.2010.10.014.
[26] F. Pommerening, G. Roger, M. Helmert, H. Cambazard, L.M. Rousseau, and D. Salvagnin: Lagrangian decomposition for classical planning. Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, (2020), 4770—4774, DOI: 10.24963/ijcai. 2020/663.
[27] T. Rosa, S. Jimenez, R. Fuentetaja, and D. Barrajo: Scaling up heuristic planning with relational decision trees. Journal of Artificial Intelligence Research, 40 (2011), 767–813, DOI: 10.1613/jair.3231.
[28] S.J. Russell and P. Norvig: Artificial Intelligence: A Modern Approach. Fourth Edition. Pearson, 2020.
[29] J. Seipp, T. Keller, and M. Helmert: Saturated post-hoc optimization for classical planning. Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, (2021).
[30] D.E. Smith and D.S. Weld: Conformant Graphplan. Proc. 15th National Conf. on AI, (1998).
[31] D.S. Weld: Recent Advantages in AI Planning. AI Magazine, (1999), DOI: 10.1609/aimag.v20i2.1459.
[32] D.S. Weld, C.R. Anderson, and D.E. Smith: Extending graphplan to handle uncertainty & sensing actions. Proc. 15th National Conf. on AI, (1998), 897–904.
[33] X. Zhang, A. Grastien, and E. Scala: Computing superior counterexamples for conformant planning. Proc. AAAI Conference on Artificial Intelligence 34(6), (2020), 1–8, DOI: 10.1609/aaai.v34i06.6558.


Go to article

Authors and Affiliations

Adam Galuszka
1
Eryka Probierz
1

  1. Department of Automatic Control and Robotics, Silesian University of Technology, Akademicka 16, 44-100 Gliwice, Poland
Download PDF Download RIS Download Bibtex

Abstract

Current networks are designed for peak loads leading to low utilization of power resources. In order to solve this problem, a heuristic energy-saving virtual network embedding algorithm based on the Katz centrality (Katz-VNE) is proposed. For solving an energy-saving virtual network embedding problem, we introduce the Katz centrality to represent the node influence. In order to minimize the energy consumption of the substrate network, the energy-saving virtual network embedding problem is formulated as an integer linear program, and the Katz-VNE is used to solve this problem. The Katz-VNE tries to embed the virtual nodes onto the substrate nodes with high Katz centrality, which is effective, and uses the shortest paths offering the best factor of bandwidths to avoid the hot nodes. The simulation results demonstrate that the long-term average energy consumption of the substrate network is reduced significantly, and the long-term revenue/cost ratio, the acceptance rate of virtual network requests, and the hibernation rate of substrate nodes as well as links are improved significantly.

Go to article

Authors and Affiliations

Qiang Zhu
Qing-Jun Wang
Mu-Jun Zang
Zhen-Dong Wang
Chang Xiao

This page uses 'cookies'. Learn more