Konstantin Vikhorev's Publications


PublicationsYearPDFBIB
Brown, N.and Greenough, R., Vikhorev, K. & Khattak, S. (2012), "Precursors to using Energy data as a Manufacturing Process Variable", In Proceedings of 6th Intl. Conf. on Digital Ecosystem Technologies (IEEE-DEST-2012). Campione d’Italia. June 2012. 2012
Abstract: Energy efficiency can often learn much from manufacturing in terms of available analysis techniques, from basic time series analysis through to fuzzy and knowledge based systems and artificial intelligence. On the other hand, manufacturing in many sectors has yet to make use of energy data much beyond finance. Techniques such as complex event processing and data stream analysis can be applied in near real time to determine process health. Conventional energy data, with a half-hourly time interval through fiscal metering, has been sufficient for off-line process control in the past, but to increase the utility of manufacturing energy data, a step change is needed in data frequency, accuracy, precision, portability, and documentation. This paper brings together co-dependent issues of data structure, data quality, and front-end instrumentation which advanced processing techniques must build on, discussing what must be done to use gather and use energy data more effectively, to reduce energy use and emissions, improve quality, and save costs.
BibTeX:
@inproceedings{Brown12Precursors,
  author = {Brown, N.and Greenough, R. and Vikhorev, K and Khattak, S},
  title = {Precursors to using Energy data as a Manufacturing Process Variable},
  booktitle = {Proceedings of 6th Intl. Conf. on Digital Ecosystem Technologies (IEEE-DEST-2012)},
  year = {2012},
  url = {http://www.iesd.dmu.ac.uk/~kvikho/papers/Brown12Precursors.pdf},
  doi = {http://dx.doi.org/10.1109/DEST.2012.6227920}
}
Brown, N., Greenough, R. & Vikhorev, K. (2012), "Some Aspects of a Framework for Energy Data", In Proceedings of 7th international conference on improving energy efficiency in commercial buildings (IEECB 2012). Frankfurt. 2012
Abstract: Little doubt exists that technologies for precisely, and automatically measuring energy use are timely. Pressure to reduce greenhouse gas emissions, the potential for an energy gap, and rising energy prices, modern building complexities, mean that estimating building energy use patterns, profiling of building energy use, and energy failure mode identification, can help to maintain energy efficiency. However, further uses exist beyond operational management. These include urgently required meta-analysis of building stock by sector, up to national stock levels, to inform policymakers, since a dearth of national stock data exists at government level in many countries. Many existing systems use radio telemetry, often producing unclean data. Analysis of energy data for large datasets becomes expensive due to incompatible formats, hampering use of old data on new systems, and data from different systems should we acquire new data, or as we acquire physical buildings. We argue that a standard should include basic specifications for fundamentals such as date formats, but a secondary scalable layer will allow future-proofing of datasets for longitudinal study, and open the door to advanced analysis techniques such as complex event processing. Disaggregation to plant level, as well as building related activities, such as manufacturing activity, also becomes possible with a scalable data structure. This paper, proposes a framework for an energy data standard from a data analysis perspective built around four areas: Temporal, accuracy & precision, operational and energy documentation.
BibTeX:
@inproceedings{Brown12Some,
  author = {Brown, N. and Greenough, R. and Vikhorev, K.},
  title = {Some Aspects of a Framework for Energy Data},
  booktitle = {Proceedings of 7th international conference on improving energy efficiency in commercial buildings (IEECB 2012)},
  year = {2012},
  url = {http://www.iesd.dmu.ac.uk/~kvikho/papers/Brown12Some.pdf}
}
Greenough, R., Vikhorev, K., Stuart, G. & Whiteley, M. (2012), "An Information System to Promote Energy Awareness in the Factory", In Proceedings of 10th Global Conference on Sustainable Manufacturing. Istanbul, Turkey. November 2012. 2012
Abstract: Many factories use visual communication to increase awareness of issues such as quality, safety, cost and schedule adherence. This is particularly common in lean manufacturing where it contributes to the creation of a ‘visual factory’. Industrial energy efficiency is increasingly important to manufacturing managers, yet it is relatively unusual to see energy data presented at the factory floor. This may be because the cost of energy remains relatively low compared to materials and labour in most industry sectors, or it may be because the scope for energy saving at the shop floor is limited, or perhaps because it is technically challenging to provide detailed energy data in a timely fashion that would facilitate a suitable response. This paper describes a method of collecting and presenting energy data to increase operator awareness at the shop floor and suggests how this might influence behaviour towards a more sustainable factory.
BibTeX:
@inproceedings{Greenough12Information,
  author = {R.M. Greenough and K. Vikhorev and G. Stuart and M. Whiteley},
  title = {An Information System to Promote Energy Awareness in the Factory},
  booktitle = {Proceedings of 10th Global Conference on Sustainable Manufacturing},
  year = {2012},
  url = {http://www.iesd.dmu.ac.uk/~kvikho/papers/Greenough12Information.pdf}
}
Vikhorev, K., Greenough, R. & Brown, N. (2012), "An Advanced Energy Management Framework to Promote Energy Awareness", Journal of Cleaner Production., March, 2012. Vol. 43, pp. 103-112. 2012
Abstract: Increasing energy costs, new environmental legislation, and concerns over energy security are driving efforts to increase industrial energy efficiency across the European Union and the world. Manufacturers are keen to identify the most cost-effective techniques to increase energy efficiency in their factories. To achieve the desired efficiency improvements, energy use should be measured in more detail and in real-time, to derive an awareness of the energy use patterns of every part of the manufacturing system. In this paper, we propose a framework for energy monitoring and management in the factory. This will allow decision support systems and enterprise services to take into consideration the energy used by each individual productive asset and related energy using processes, to facilitate both global and local energy optimization. The proposed framework incorporates standards for energy data exchange, on-line energy data analysis, performance measurement and display of energy usage.
BibTeX:
@article{Vikhorev12Advanced,
  author = {Vikhorev, K and Greenough, R. and Brown, N.},
  title = {An Advanced Energy Management Framework to Promote Energy Awareness},
  journal = {Journal of Cleaner Production},
  year = {2012},
  volume = {43},
  pages = {103-112},
  url = {http://www.sciencedirect.com/science/article/pii/S0959652612006580},
  doi = {http://dx.doi.org/10.1016/j.jclepro.2012.12.012}
}
Vikhorev, K., Alechina, N. & Logan, B. (2011), "Agent programming with priorities and deadlines", In Proceedings of the Tenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011). Taipei, Taiwan. May 2011., pp. 397-404. 2011
Abstract: We present AgentSpeak(RT), a real-time BDI agent programming language based on AgentSpeak(L). AgentSpeak(RT) extends AgentSpeak intentions with deadlines which specify the time by which the agent should respond to an event, and priorities which specify the relative importance of responding to a particular event. The AgentSpeak(RT) interpreter commits to a priority-maximal set of intentions: a set of intentions which is maximally feasible while preferring higher priority intentions. We prove some properties of the language, such as guaranteed reactivity delay of the AgentSpeak(RT) interpreter and probabilistic guarantees of successful execution of intentions by their deadlines.
BibTeX:
@inproceedings{Vikhorev11Agent,
  author = {Konstantin Vikhorev and Natasha Alechina and Brian Logan},
  title = {Agent programming with priorities and deadlines},
  booktitle = {Proceedings of the Tenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011)},
  year = {2011},
  pages = {397--404},
  url = {http://www.iesd.dmu.ac.uk/~kvikho/papers/Vikhorev11Agent.pdf}
}
Vikhorev, K., Alechina, N., Bordini, R. & Logan, B. (2011), "An Operational Semantics for AgentSpeak(RT) (Preliminary Report)", In Ninth International Workshop on Declarative Agent Languages and Technologies (DALT 2011), Workshop Notes. Taipei, Taiwan. May 2011. 2011
Abstract: In this paper we give an operational semantics for the real-time agent programming language AgentSpeak(RT). AgentSpeak(RT) was introduced in [21], and extends AgentSpeak(L) with deadlines and priorities for intentions. The version of AgentSpeak(RT) presented in this paper differs in certain aspects from that in [21], mainly to incorporate both hard and soft deadlines, and allow for the concurrent execution of intentions.
BibTeX:
@inproceedings{Vikhorev11Operational,
  author = {Konstantin Vikhorev and Natasha Alechina and Rafael Bordini and Brian Logan},
  title = {An Operational Semantics for AgentSpeak(RT) (Preliminary Report)},
  booktitle = {Ninth International Workshop on Declarative Agent Languages and Technologies (DALT 2011), Workshop Notes},
  year = {2011},
  url = {http://www.iesd.dmu.ac.uk/~kvikho/papers/Vikhorev11Operational.pdf}
}
Vikhorev, K. (2011), "Real-time guarantees in high-level agent programming languages". School: School of Computer Science, The University of Nottingham. Nottingham, United Kingdom, January, 2011. 2011
Abstract: In the thesis we present a new approach to providing soft real-time guarantees for Belief-Desire-Intention (BDI) agents. We analyse real-time guarantees for BDI agents and show how these can be achieved within a generic BDI programming framework.

As an illustration of our approach we develop a new the agent architecture AgentSpeak(RT) and its associated programming language, which allows the development of real-time BDI agents. AgentSpeak(RT) extends AgentSpeak(L) [26] intentions with deadlines which specify the time by which the agent should respond to an event, and priorities which specify the relative importance of responding to a particular event. The AgentSpeak(RT) interpreter commits to a priority-maximal set of intentions: a set of intentions which is maximally feasible while preferring higher priority intentions. Real-time tasks can be freely mixed with tasks for which no deadline and/or priority has been specified by the developer or user, and if no deadlines and priorities are specified, the behaviour of the agent defaults to that of a BDI agent that is blindly committed to its intentions.

We prove some properties of the AgentSpeak(RT) language, such as guaranteed reactivity delay of the AgentSpeak(RT) interpreter and probabilistic guarantees of successful execution of intentions by their deadlines.

We also perform a detailed case study of the use of AgentSpeak(RT) to demonstrate its advantages. This case study involves the development of an intelligent control system of a nuclear power plant.

We extend the AgentSpeak(RT) architecture to allow the parallel execution of intentions. We present two approaches to the parallel execution of intentions in the AgentSpeak(RT) architecture: multitasking and multiprocessing.

We prove realtime guarantees of the extended AgentSpeak(RT) architecture. We also demonstrate advantages of parallel execution of intention in AgentSpeak(RT) by showing how it improves behaviour of the intelligent control system for the nuclear power plant. We present a classification of real-time task environments, and describe the way how they can be implemented in AgentSpeak(RT). We also show a relationship between the estimated execution time of a plan in a particular environment and the feasible complexity of agent programs.

BibTeX:
@phdthesis{Vikhorev11Real-time,
  author = {Konstantin Vikhorev},
  title = {Real-time guarantees in high-level agent programming languages},
  school = {School of Computer Science, The University of Nottingham},
  year = {2011}
}
Vikhorev, K., Alechina, N. & Logan, B. (2009), "The ARTS Real-Time Agent Architecture", In Proceedings of Second Workshop on Languages, Methodologies and Development Tools for Multi-agent Systems (LADS2009). Turin, Italy. September 2009. CEUR Workshop Proceedings Vol-494 2009
Abstract: We present a new approach to providing soft real-time guarantees for Belief-Desire-Intention (BDI) agents. We define what it means for BDI agents to operate in real time, or to satisfy real-time guarantees. We then develop a model of real-time performance which takes into account the time by which a task should be performed and the relative priority of tasks, and identify the key stages in a BDI architecture which must be bounded for real-time performance. As an illustration of our approach we introduce a new BDI architecture, ARTS, which allows the development of agents that guarantee (soft) real-time performance. ARTS extends ideas from PRS and JAM to include goals and plans which have deadlines and priorities, and schedules intentions so as to achieve the largest number of high priority intentions by their deadlines.
BibTeX:
@inproceedings{Vikhorev09ARTS,
  author = {Konstantin Vikhorev and Natasha Alechina and Brian Logan},
  title = {The ARTS Real-Time Agent Architecture},
  booktitle = {Proceedings of Second Workshop on Languages, Methodologies and Development Tools for Multi-agent Systems (LADS2009)},
  year = {2009},
  note = {CEUR Workshop Proceedings Vol-494},
  url = {http://www.iesd.dmu.ac.uk/~kvikho/papers/Vikhorev09ARTS.pdf}
}
Goman, M., Demenkov, M. & Vikhorev, K. (2008), "Nonunique solutions in the problem of flutter suppression problem", In Proceedings Of X International Workshop “Stability And Oscillations Of Nonlinear Control Systems” (STAB'08). Moscow, Russia. June 3-6 2008. MAIK Nauka/Interperiodica distributed exclusively by Springer Science+Business Media LLC.. 2008
Abstract: An active flutter stabilization problem is considered with account of amplitude and rate control constraints. A number of control laws based on linear pole placement and nonlinear dynamic inversion methodshave been investigated. Computational qualitative analysis shows that multiple attractors can coexist in the closed-loop system, namely, the stabilized zero equilibrium, the limit cycle oscillations with large amplitude and asymmetrical equilibria or oscillations with small amplitude. This analysis concludes that for global stabilization of this problem the designed control law should annihilate the open-loop limit cycle and prevent onset of asymmetrical solutions.
BibTeX:
@inproceedings{Goman08Coexistence,
  author = {M. Goman and M. Demenkov and K. Vikhorev},
  title = {Nonunique solutions in the problem of flutter suppression problem},
  booktitle = {Proceedings Of X International Workshop “Stability And Oscillations Of Nonlinear Control Systems” (STAB'08)},
  publisher = {MAIK Nauka/Interperiodica distributed exclusively by Springer Science+Business Media LLC.},
  year = {2008},
  url = {http://www.stab10.ru/08/documents/C-G/Goman-Demenkov-Vikhorev.pdf}
}
Vikhorev, K., Goman, M. & Demenkov, M. (2008), "Effect of Control Constraints on Active Stabilization of Flutter Instability", In Proceedings of Seventh International Conference on Mathematical problems in Engineering & Aerospace Sciences (ICNPAA 2008). Siena, Italy. June 2008., pp. 1042-1051. 2008
Abstract: The effect of amplitude and rate control constraints in active flutter suppression was analysed for a number of different linear and nonlinear control laws considering mathematical model of two degree-of freedom aeroelastic airfoil system with trailing and leading edge flaps. The LQR control law providing maximum region of attraction for the linearized system under amplitude control constraints was investigated taking into account a structural nonlinearity and actuator rate constraints. The region of attraction of a stabilized equilibrium was used as a metric to identify a set of linear control laws providing practically global stabilization of flutter instability with account of structural nonlinearities and rate control constraints. The eigenstructure assignment method was implemented for control law design considering trailing edge flap or a combination of leading and trailing edge flaps.
BibTeX:
@inproceedings{Vikhorev08Effect,
  author = {Konstantin Vikhorev and Mikhail Goman and Max Demenkov},
  title = {Effect of Control Constraints on Active Stabilization of Flutter Instability},
  booktitle = {Proceedings of Seventh International Conference on Mathematical problems in Engineering & Aerospace Sciences (ICNPAA 2008)},
  year = {2008},
  pages = {1042-1051},
  url = {http://www.iesd.dmu.ac.uk/~kvikho/papers/Vikhorev08Effect.pdf}
}
Vikhorev, K. (2007), "Active Stabilization of Unstable System Under Bounded Control with Application to Active Flutter Suppression Problem.". School: Faculty of Tecnology, De Montfort University. Leicester, September, 2007. 2007
Abstract: Active stabilization of unstable systems is very important problem in engineering area. Many studies are directed to developing strategies for the suppression of different instabilitiesby active control for aircraft, bridges, monuments, etc. Some of these applications will be examined in the Thesis.

This project involved a novel approach to the problem of achieving almost global stability for simpleWing Section System, and improving stability of ECP inverted pendulum physical model by using a special technique – constructing ®max and hmax map for stability region evaluation.

The wing section has been built for experiments on the nonlinear aeroelastic test apparatus (NATA) in the 2.3 ft low-speed wind tunnel in Texas University. A unique feature of NATA is the presence of two cams that are fabricated to permit prescribed nonlinear responses in pitch and plunge.

The NATA testbed has been used successfully for investigations in the linear and nonlinear response of wing section in addition to the development of control design strategies.

For examination of dynamics of inverted pendulum, the ECP A-51 Inverted Pendulum, available in the School of Engineering at DMU, has been used. The ECP A-51 Inverted Pendulum is designed to enhance the utility of ECP systems by providing a modular add-on apparatus that utilizes the major functionality of the base unit. It can be configured to operate in inverted and noninverted modes and can be programmed to perform a self-inverting function.

BibTeX:
@mastersthesis{Vikhorev07Active,
  author = {Konstantin Vikhorev},
  title = {Active Stabilization of Unstable System Under Bounded Control with Application to Active Flutter Suppression Problem.},
  school = {Faculty of Tecnology, De Montfort University},
  year = {2007}
}
Akimenko, D., Vikhorev, K. & Nam, N. (2006), "Analysis of the stability in a class of linear time-variant systems with time delay", In Proceedings of the regional scientific and technical conference in BMSTU. Moscow, Russian Federation. April 2006. (in russian) 2006
Abstract: The new approach is considered to the exploration of a problem of the stability in a class of linear nonstationary systems with delay, constructed algorith.
BibTeX:
@inproceedings{Akimenko06Analysis,
  author = {Dmitriy Akimenko and Konstantin Vikhorev and N.G. Nam},
  title = {Analysis of the stability in a class of linear time-variant systems with time delay},
  booktitle = {Proceedings of the regional scientific and technical conference in BMSTU},
  year = {2006},
  note = {(in russian)}
}
Vikhorev, K., Nam, N.H. & Parsegov, S. (2006), "Algorithm for analysis of non-stationary automatic control systems with delay using matrix methods", In Proceedings of the regional scientific and technical conference in in BMSTU. Moscow, Russian Federation. April 25-27 2006. (in russian) 2006
BibTeX:
@inproceedings{Vikhorev06Algorithm,
  author = {Konstantin Vikhorev and Nguen H. Nam and Sergey Parsegov},
  title = {Algorithm for analysis of non-stationary automatic control systems with delay using matrix methods},
  booktitle = {Proceedings of the regional scientific and technical conference in in BMSTU},
  year = {2006},
  note = {(in russian)}
}
Vikhorev, K. & Parsegov, S. (2006), "Method of inducing functions: the solutions of a parametric identification problem for time-invariant stationary control systems", In Proceedings of the regional scientific and technical conference in BMSTU. Moscow, Russian Federation. April 2006. (in russian) 2006
BibTeX:
@inproceedings{Vikhorev06Method,
  author = {Konstantin Vikhorev and Sergey Parsegov},
  title = {Method of inducing functions: the solutions of a parametric identification problem for time-invariant stationary control systems},
  booktitle = {Proceedings of the regional scientific and technical conference in BMSTU},
  year = {2006},
  note = {(in russian)}
}
Vikhorev, K., Nam, N.H. & Parsegov, S. (2006), "Synthesis of controllers for control systems with time delay", In Proceedings of the regional scientific and technical conference in BMSTU. Moscow, Russian Federation. April 25-27 2006. (in russian) 2006
BibTeX:
@inproceedings{Vikhorev06Synthesis,
  author = {Konstantin Vikhorev and Nguen H. Nam and Sergey Parsegov},
  title = {Synthesis of controllers for control systems with time delay},
  booktitle = {Proceedings of the regional scientific and technical conference in BMSTU},
  year = {2006},
  note = {(in russian)}
}
Akimenko, D. & Vikhorev, K. (2005), "Determing mathematical models of linear time-invariant control systems", In Proceedings of the regional scientific and technical conference in BMSTU. Moscow, Russian Federation. (in russian) 2005
BibTeX:
@inproceedings{Akimenko05Determing,
  author = {Dmitriy Akimenko and Konstantin Vikhorev and},
  title = {Determing mathematical models of linear time-invariant control systems},
  booktitle = {Proceedings of the regional scientific and technical conference in BMSTU},
  year = {2005},
  note = {(in russian)}
}
Sergeeva, M., Ryazanova, M. & Vikhorev, K. (2005), "Determing mathematical models of nonlinear time-invariant control systems", In Proceedings of the regional scientific and technical conference in BMSTU. Moscow, Russian Federation. (in russian) 2005
BibTeX:
@inproceedings{Sergeeva05Determing,
  author = {Marina Sergeeva and Maria Ryazanova and Konstantin Vikhorev},
  title = {Determing mathematical models of nonlinear time-invariant control systems},
  booktitle = {Proceedings of the regional scientific and technical conference in BMSTU},
  year = {2005},
  note = {(in russian)}
}
Vikhorev, K., Sergeeva, M. & Ryazanova, M. (2005), "Determing mathematical models of nonlinear time-variant control systems", In Proceedings of the regional scientific and technical conference in BMSTU. Moscow, Russian Federation. (in russian) 2005
BibTeX:
@inproceedings{Vikhorev05Construction,
  author = {Konstantin Vikhorev and Marina Sergeeva and Maria Ryazanova},
  title = {Determing mathematical models of nonlinear time-variant control systems},
  booktitle = {Proceedings of the regional scientific and technical conference in BMSTU},
  year = {2005},
  note = {(in russian)}
}

Created by Konstantin Vikhorev on 25/02/2013.