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

Minimum energy control problem for the fractional positive electrical circuits is formulated and solved. Sufficient conditions for the existence of solution to the problem are established. A procedure for solving of the problem is proposed and illustrated by an example of fractional positive electrical circuit.

Go to article

Authors and Affiliations

Tadeusz Kaczorek
Download PDF Download RIS Download Bibtex

Abstract

The minimum energy control problem for the positive continuous-time linear systems with bounded inputs is formulated and solved. Sufficient conditions for the existence of solution to the problem are established. A procedure for solving of the problem is proposed and illustrated by a numerical example.

Go to article

Authors and Affiliations

Tadeusz Kaczorek
Download PDF Download RIS Download Bibtex

Abstract

This paper studies an evacuation problem described by a leader-follower model with bounded confidence under predictive mechanisms. We design a control strategy in such a way that agents are guided by a leader, which follows the evacuation path. The proposed evacuation algorithm is based on Model Predictive Control (MPC) that uses the current and the past information of the system to predict future agents’ behaviors. It can be observed that, with MPC method, the leader-following consensus is obtained faster in comparison to the conventional optimal control technique. The effectiveness of the developed MPC evacuation algorithm with respect to different parameters and different time domains is illustrated by numerical examples.
Go to article

Bibliography

[1] H. Abdelgawad and B. Abdulhai: Emergency evacuation planning as a network design problem: A critical review. Transportation Letters: The International Journal of Transportation Research, 1 (2009), 41–58, DOI: 10.3328/TL.2009.01.01.41-58.
[2] R. Alizadeh: A dynamic cellular automaton model for evacuation process with obstacles, Safety Science, 49(2), (2011), 315–323, DOI: 10.1016/j.ssci.2010.09.006.
[3] R. Almeida, E. Girejko, L. Machado, A.B. Malinowska, and N. Mar- tins: Application of predictive control to the Hegselmann-Krause model, Mathematical Methods in the Applied Sciences, 41(18), (2018), 9191–9202, DOI: 10.10022Fmma.5132.
[4] B. Aulbach and S. Hilger: A unified approach to continuous and discrete dynamics, ser. Colloq. Math. Soc. Janos Bolyai, vol. 53, North-Holland, Amsterdam, 1990.
[5] H. Bi and E. Gelenbe: A survey of algorithms and systems for evacuating people in confined spaces, Electronics, 2019 8(6), (2019), 711, DOI: 10.3390/electronics8060711.
[6] V.D. Blondel, J.M. Hendrickx, and J.N. Tsitsiklis: On Krause’s multiagent consensus model with state-dependent connectivity, IEEE Transactions on Automatics Control, vol. 54(11), (2009), 2586–2597, DOI: 10.1109/TAC.2009.2031211.
[7] V.D. Blondel, J.M. Hendrickx, and J.N. Tsitsiklis: Continuous-time average-preserving opinion dynamics with opinion-dependent communications, SIAM Journal on Control and Optimization, vol. 48(8), (2010), 5214–5240, DOI: 10.1137/090766188.
[8] M. Bohner and A. Peterson: Dynamic equations on time scales, Boston, MA: Birkhäuser Boston, 2001.
[9] R.M. Colombo and M. D. Rosini: Pedestrian flows and non-classical shocks, Mathematical Methods in the Applied Sciences, 28(13), (2005), 1553–1567, DOI: 10.1002/mma.624.
[10] E. Girejko, L. Machado, A.B. Malinowska, and N. Martins: Krause’s model of opinion dynamics on isolated time scales, Mathematical Methods in the Applied Sciences, 39 (2016), 5302–5314, DOI: 10.1002/mma.3916.
[11] R. Hegselmann and U. Krause: Opinion dynamics and bounded confidence models, analysis, and simulation, Journal of Artificial Societies and Social Simulation, 5(3), (2002), http://jasss.soc.surrey.ac.uk/5/3/2.html.
[12] D. Helbing and P. Molnar: Social force model for pedestrian dynamics, Physical Review E, 51(5), (1995), 4282–4286, DOI: 10.1103/Phys-RevE.51.4282.
[13] R. Hilscher and V. Zeidan:Weak maximum principle and accessory problem for control problems on time scales, Nonlinear Analysis, 70(9), (2009), 3209–3226, DOI: 10.1016/j.na.2008.04.025.
[14] L. Huang, S.C.Wong, M. Zhang, C.-W. Shu, andW.H.K. Lam: Revisiting Hughes’ dynamics continuum model for pedestrian flow and the development of an efficient solution algorithm, Transportation Research Part B: Methodological, 43(1), (2009), 127–141, DOI: 10.1016/j.trb.2008.06.003.
[15] R.L. Hughes: A continuum theory for the flow of pedestrians, Transportation Research Part B: Methodological, 36(6), (2002), 507–535, DOI: 10.1016/S0191-2615(01)00015-7.
[16] R. Lohner: On the modeling of pedestrian motion, Applied Mathematical Modeling, 34(2), (2010), 366–382, DOI: 10.1016/j.apm.2009.04.017.
[17] S.J. Qin and T.A. Badgwell: An Overview of Nonlinear Model Predictive Control Applications, Allgöwer F., Zheng A. ed., ser. Nonlinear Model Predictive Control. Progress in Systems and Control Theory. Birkhäuser, Basel, 2000, vol. 26, pp. 369–392.
[18] S. Wojnar, T. Poloni, P. Šimoncic, B. Rohal’-Ilkiv, M. Honek (and) J. Csambál: Real-time implementation of multiple model based predictive control strategy to air/fuel ratio of a gasoline engine. Archives of Control Sciences, 23(1), (2013), 93–106.
[19] S. Daniar, M. Shiroei and R. Aazami: Multivariable predictive control considering time delay for load-frequency control in multi-area power systems. Archives of Control Sciences, 26(4), (2016), 527–549, DOI: 10.1515/acsc-2016-0029.
[20] Y. Yang, D.V. Dimarogonas, and X. Hu: Optimal leader-follower control for crowd evacuation, Proc. 52nd IEEE Conf. Decision Control (CDC), (2013), 2769–2774, DOI: 10.1109/CDC.2013.6760302.
[21] Z. Zainuddin and M. Shuaib: Modification of the decision-making capability in the social force model for the evacuation process, Transport Theory and Statistical Physics, 39(1), (2011), 47–70, DOI: 10.1080/00411450.2010.529979.
[22] H.-T. Zhang, M.Z. Chen, G.-B. Stan, and T. Zhou: Ultrafast consensus via predictive mechanisms, Europhysics Letters, 83, (2008), no. 40003.
[23] H.-T. Zhang, M.Z. Chen, G.-B. Stan, T. Zhou, and J.M.Maciejowski: Collective behaviour coordination with predictive mechanisms, IEEE Circuits Systems Magazine, 8, (2008) 67–85, DOI: 10.1109/MCAS.2008.928446.
[24] L. Zhang, J. Wang, and Q. Shi: Multi-agent based modeling and simulating for evacuation process in stadium, Journal of Systems Science and Complexity, 27(3), (2014), 430–444, DOI: 10.1007/s11424-014-3029-5.
[25] Y. Zheng, B. Jia, X.-G. Li, and N. Zhu: Evacuation dynamics with fire spreading based on cellular automaton, Physica A: Statistical Mechanics and Its Applications, 390(18-19), (2011), 3147–3156, DOI: 10.1016/j.physa.2011.04.011.
Go to article

Authors and Affiliations

Ricardo Almeida
1
Ewa Girejko
2
Luís Machado
3 4
Agnieszka B. Malinowska
2
Natália Martins
1

  1. Center for Research and Development in Mathematics and Applications (CIDMA), Department of Mathematics, University of Aveiro, 3810–193 Aveiro, Portugal
  2. Faculty of Computer Science, Bialystok University of Technology, 15-351 Białystok, Poland
  3. Institute of Systems and Robotics, DEEC – UC, 3030-290 Coimbra, Portugal
  4. Department of Mathematics, University of Trás-os-Montes e Alto Douro (UTAD), 5000-801 Vila Real, Portugal
Download PDF Download RIS Download Bibtex

Abstract

Hybrid systems (HS) are roughly described as a set of discrete state transitions and continuous dynamics modeled by differential equations. Parametric HS may be constructed by having parameters on the differential equations, initial conditions, jump conditions, or a combination of the previous ones. In real applications, the best solution is obtained by a set of metrics functional over the set of solutions generated from a finite set of parameters. This paper examines the choice of parameters on delta-reachability bounded hybrid systems.We present an efficient model based on the tool pHL-MT to benchmark the HS solutions (based on dReach), and a non-parametric frontier analysis approach, relying on multidirectional efficiency analysis (MEA). Three numerical examples of epidemic models with variable growth infectivity are presented, namely: when the variable of infected individuals oscillates around some endemic (non-autonomous) equilibrium; when there is an asymptotically stable non-trivial attractor; and in the presence of bump functions.
Go to article

Bibliography

[1] M. Althoff and J.M. Dolan: Online verification of automated road vehicles using reachability analysis. IEEE Trans. on Robotics, 30(4), (2014), 903– 918, DOI: 10.1109/TRO.2014.2312453.
[2] P. Bogetoft and J.L. Hougaard: Efficiency evaluations based on potential (non-proportional) improvements. Journal of Productivity Analysis, 12(3), (1999), 233–247, DOI: 10.1023/A:1007848222681.
[3] X. Chen, E. Abraham and S. Sankaranarayanan: Flow*: An analyzer for non-linear hybrid systems. In: Proc. of CAV’13. LNCS, 8044, 258–263, Springer, 2013.
[4] E.M. Clarke and S. Gao: Model checking hybrid systems. In: Margaria T., Steffen B. (eds): Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications. ISoLA 2014. Lecture Notes in Computer Science, 8803, 385–386, Springer, Berlin, Heidelberg, 2014.
[5] M. Franzle, C. Herde, S. Ratschan, T. Schubert and T. Teige: Efficient solving of large non-linear arithmetic constraint systems with complex Boolean structure. Journal on Satisfiability, Boolean Modeling and Computation, 1 (2007), 209–236, DOI: 10.3233/SAT190012.
[6] G. Frehse, C.L. Guernic, A. Donze, R. Ray, O. Lebeltel, R. Ripado, A. Girard, T. Dang and O. Maler: SpaceEx: Scalable verification of hybrid systems. In: Proc. of CAV’11. LNCS, 6806, 379–395, Springer, 2011.
[7] S. Gao: Computable analysis, decision procedures, and hybrid automata: A new framework for the formal verification of cyber-physical systems. Ph.D. thesis, Carnegie Mellon University, 2012.
[8] S. Gao, S. Kong and E.M. Clarke: dReal: An SMT solver for nonlinear theories over the reals. In: M.P. Bonacina (ed.) CADE 2013. LNCS (LNAI), 7898, 208–214, Springer, Heidelberg (2013). DOI: 10.1007/978-3-642-38574-2.
[9] HyCreate: A tool for overapproximating reachability of hybrid automata, http://stanleybak.com/projects/hycreate/hycreate.html.
[10] S. Kong, S. Gao, W. Chen and E. Clarke: dReach: δ-reachability analysis for hybrid systems. In Proc. International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2015. Available: http://link.springer.com/10.1007/978-3-662-46681-0.
[11] J. Lygeros, C. Tomlin and S. Sastry: Hybrid systems: modeling analysis and control. Electronic Research Laboratory, University of California, Berkeley, CA, Tech. Rep. UCB/ERL M, 2008.
[12] A. Platzer and J. Quesel: Keymaera: A hybrid theorem prover for hybrid systems (system description). In: Proc. of IJCAR’08.LNCS, 5195, 171–178, Springer, 2008.
[13] S. Ratschan and Z. She: Safety verification of hybrid systems by constraint propagation based abstraction refinement. In: Proc. of HSCC’05. LNCS, 3414, 573–589, Springer, 2005.
[14] E.M. Rocha: Oscillatory behaviour on a non-autonomous hybrid SIRmodel. In: M. Chaves and M. Martins (eds.), Molecular Logic and Computational Synthetic Biology. MLCSB 2018. Lecture Notes in Computer Science, 11415, Springer, Cham, 2019.
[15] L. Zhang, Z. She, S. Ratschan, H. Hermanns and E. Hahn: Safety verification for probabilistic hybrid systems. In: Proc. International Conference on Computer Aided Verification, (2010), 196–211.
Go to article

Authors and Affiliations

Eugénio Miguel Alexandre Rocha
1
Kelly Patricia Murillo
1

  1. Center for Research and Development in Mathematics and Applications, and Department of Mathematics, University of Aveiro, 3810-193 Aveiro, Portugal
Download PDF Download RIS Download Bibtex

Abstract

All plants contain varying levels of phenolic acids (metabolites) thus playing an important role in resistance mechanisms as constituents of cell walls, as constitutive antimicrobial compounds of plants or induced in response to infection against many diseases, in particular fusarium head blight caused by Fusarium species. To this end, the objective of this research was to study the variation in phenolic acid composition during the kinetics of filling wheat grains, in order to determine the best variety resistant to fusarium head blight. For this purpose, free and bound phenolic analyses were carried out by HPLC-DAD on five durum wheat varieties at the stage 5 to 8 days after the flowering stage (early grains). We showed that at the level of the samples analyzed, several phenolic acids were present at different concentrations, but others were absent [ cis-ferulic acid (free phenolic acid), and sinapic acid (bound phenolic acid)]. The results also showed that the content of bound phenolic acids was much higher than that of free phenolic acids in all varieties. In addition, these phenolic acids existed in free soluble form or were mostly present in insoluble form bound to cell walls. For free acids, the results showed that significant amounts of transferulic acid were detected in comparison to all free phenolic acids (56.72 μg · g –1 DM for G10). For bound acids, ferulic acid is the main bound phenolic acid which has much higher levels (4913.92 μg · g –1 DM for G1), followed by p-coumaric acid (3098.99 μg · g–1 DM for G1). Moreover, the sum of monomers (bound acids) was much higher than that of dehydrodiferulic acids (DiFA).
Go to article

Authors and Affiliations

Salah Hadjout
1 2
Mohamed Zouidi
1
Saïfi Merdas
1

  1. Centre de Recherche en Aménagement du Territoire, CRAT, Campus Universitaire Zouaghi Slimane, Constantine, Algérie
  2. Ecole Nationale Supérieure Agronomique, ENSA, El-Harrach, Alger, Algérie
Download PDF Download RIS Download Bibtex

Abstract

The paper focuses on the problem of robust fault detection using analytical methods and soft computing. Taking into account the model-based approach to Fault Detection and Isolation (FDI), possible applications of analytical models, and first of all observers with unknown inputs, are considered. The main objective is to show how to employ the bounded-error approach to determine the uncertainty of soft computing models (neural networks and neuro-fuzzy networks). It is shown that based on soft computing models uncertainty defined as a confidence range for the model output, adaptive thresholds can be described. The paper contains a numerical example that illustrates the effectiveness of the proposed approach for increasing the reliability of fault detection. A comprehensive simulation study regarding the DAMADICS benchmark problem is performed in the final part.

Go to article

Authors and Affiliations

J. Korbicz
Download PDF Download RIS Download Bibtex

Abstract

In this paper we deal with the problem of uniform exponential stabilization for a class of distributed bilinear parabolic systems with time delay in a Hilbert space by means of a bounded feedback control. The uniform exponential stabilization problem of such a system reduces to stabilizing only its projection on a suitable finite dimensional subspace. Furthermore, the stabilizing feedback control depends only on the state projection on the finite dimensional subspace. An explicit decay rate estimate of the stabilized state is given provided that a nonstandard weaker observability condition is satisfied. Illustrative examples for partial functional differential equations are displayed.
Go to article

Authors and Affiliations

Azzeddine Tsouli
1
Mostafa Ouarit
2

  1. Laboratory of Mathematics and Applications, ENSAM, Hassan II University of Casablanca, Morocco
  2. Laboratory of Fundamental and Applied Mathematics LAMFA, Faculty of Sciences Ain Chock, Hassan II University of Casablanca, Morocco
Download PDF Download RIS Download Bibtex

Abstract

The paper is a case study investigating the nominal and adjectival morphology in the English text of bounds to S 179, a post-Conquest forgery. The aim of the study is to determine what linguistic means of authentication were applied by an eleventh- century forger who devised a text which was supposed to look 200 years old at the time of its production, as well as to search for modern features which give the forgery away, at the same time allowing an insight into early Middle English. The study represents research into “transitional”, post-Conquest English (Faulkner 2012) and the status of English under the Norman rule.
Go to article

Authors and Affiliations

Paulina Zagórska
1

  1. Adam Mickiewicz University, Poznań
Download PDF Download RIS Download Bibtex

Abstract

Increasing interest, enthusiasm of sport lovers, and economics involved offer high importance to sports video recording and analysis. Being crucial for decision making, ball detection and tracking in soccer has become a challenging research area. This paper presents a novel deep learning approach for 2D ball detection and tracking (DLBT) in soccer videos posing various challenges. A new 2-stage buffer median filtering background modelling is used for moving objects blob detection. A deep learning approach for classification of an image patch into three classes, i.e. ball, player, and background is initially proposed. Probabilistic bounding box overlapping technique is proposed further for robust ball track validation. Novel full and boundary grid concepts resume tracking in ball_track_lost and ball_out_of_frame situations. DLBT does not require human intervention to identify ball from the initial frames unlike the most published algorithms. DLBT yields extraordinary accurate and robust tracking results compared to the other contemporary 2D trackers even in presence of various challenges including very small ball size and fast movements.

Go to article

Authors and Affiliations

P.R. Kamble
A.G. Keskar
K.M. Bhurchandi
Download PDF Download RIS Download Bibtex

Abstract

We consider the real-life problem of planning tasks for teams in a corporation, in conditions of some restrictions. The problem takes into account various constraints, such as for instance flexible working hours, common meeting periods, time set aside for self-learning, lunchtimes and periodic performance of tasks. Additionally, only a part of the team may participate in meetings, and each team member may have their own periodic tasks such as self-development. We propose an algorithm that is an extension of the algorithm dedicated for scheduling on parallel unrelated processors with the makespan criterion. Our approach assumes that each task can be defined by a subset of employees or an entire team. However, each worker is of a different efficiency, so task completion times may differ. Moreover, the tasks are prioritized. The problem is NP-hard. Numerical experiments cover benchmarks with 10 instances of 100 tasks assigned to a 5-person team. For all instances, various algorithms such as branch-and-bound, genetic and tabu search have been tested.
Go to article

Authors and Affiliations

Marek Bazan
1 2
Czesław Smutnicki
1
Maciej E. Marchwiany
2

  1. Wroclaw University of Scienceand Technology, Department of Computer Engineering, Wrocław, Poland
  2. JT Weston sp. z o.o. Warszawa, Poland

This page uses 'cookies'. Learn more