Search results

A challenging task for context‐aware pervasive systems is reasoning about context in uncertain environments where sensors can be inaccurate or unreliable and inferred situations ambiguous and uncertain. This paper aims to address this grand challenge, with research in context awareness to provide feasible solutions by means of theoretical models, algorithms and reasoning approaches.

This paper proposes a theoretical model about context and a set of context verification procedures, built over the model and implemented in a context reasoning engine prototype. The verification procedures utilize beneficial characteristics of spatial representation of context and also provide guidelines based on heuristics that lead to resolution of conflicts arising due to context uncertainty. The engine's reasoning process is presented and it is shown how the proposed modeling and verification approach contributes in tackling the uncertainty associated with the reasoning task. The paper experimentally evaluates this approach with a distributed simulation of a sensor‐based office environment with unreliable and inaccurate sensors.

Important features of the model are dynamic aspects of context, such as context trajectory and stability of a pervasive system in given context. These can also be used for context verification as well as for context prediction. The model strength is also in its generality and its ability to model a variety of context‐aware scenarios comprising different types of information.

The paper describes a theoretical model for context and shows it is useful not only for context representation but also for developing reasoning and verification techniques for uncertain context.

This paper investigates the usefulness of switching Gaussian state space models as a tool for implementing dynamic model selection (DMS) or averaging (DMA) in time-varying parameter regression models. DMS methods allow for model switching, where a different model can be chosen at each point in time. Thus, they allow for the explanatory variables in the time-varying parameter regression model to change over time. DMA will carry out model averaging in a time-varying manner. We compare our exact method for implementing DMA/DMS to a popular existing procedure which relies on the use of forgetting factor approximations. In an application, we use DMS to select different predictors in an inflation forecasting application. We find strong evidence of model switching. We also compare different ways of implementing DMA/DMS and find forgetting factor approaches and approaches based on the switching Gaussian state space model to lead to similar results.

Permanent magnet synchronous spherical motors can have wide use in robotics and industrial automation. They enable three-DOF omnidirectional motion of their rotor. They are suitable for several applications, such as actuation in robotics, traction in electric vehicles and use in several automation systems. Unlike conventional synchronous motors, permanent magnet synchronous spherical motors consist of a fixed inner shell, which is the stator, and a rotating outer shell, which is the rotor. Their dynamic model is multivariable and strongly nonlinear. The treatment of the associated control problem is important.

In this paper, the multivariable dynamic model of permanent magnet synchronous spherical motors is analysed, and a nonlinear optimal (H-infinity) control method is developed for it. Differential flatness properties are proven for the spherical motors’ state-space model. Next, the motors’ state-space description undergoes approximate linearization with the use of first-order Taylor series expansion and through the computation of the associated Jacobian matrices. The linearization process takes place at each sampling instance around a time-varying operating point, which is defined by the present value of the motors’ state vector and by the last sampled value of the control input vector. For the approximately linearized model of the permanent magnet synchronous spherical motors, a stabilizing H-infinity feedback controller is designed. To compute the controller’s gains, an algebraic Riccati equation has to be repetitively solved at each time-step of the control algorithm. The global stability properties of the control scheme are proven through Lyapunov analysis. Finally, the performance of the nonlinear optimal control method is compared against a flatness-based control approach implemented in successive loops.

Due to the nonlinear and multivariable structure of the state-space model of spherical motors, the solution of the associated nonlinear control problem is a nontrivial task. In this paper, a novel nonlinear optimal (H-infinity) control approach is proposed for the dynamic model of permanent magnet synchronous spherical motors. The method is based on approximate linearization of the motor’s state-space model with the use of first-order Taylor series expansion and the computation of the associated Jacobian matrices. Furthermore, the paper has introduced a different solution to the nonlinear control problem of the permanent magnet synchronous spherical motor, which is based on flatness-based control implemented in successive loops.

The presented control approaches do not exhibit any limitations, but on the contrary, they have specific advantages. In comparison to global linearization-based control schemes (such as Lie-algebra-based control), they do not make use of complicated changes of state variables (diffeomorphisms) and transformations of the system's state-space description. The computed control inputs are applied directly to the initial nonlinear state-space model of the permanent magnet spherical motor without the intervention of inverse transformations and thus without coming against the risk of singularities.

The motion control problem of spherical motors is nontrivial because of the complicated nonlinear and multivariable dynamics of these electric machines. So far, there have been several attempts to apply nonlinear feedback control to permanent magnet-synchronous spherical motors. However, due to the model’s complexity, few results exist about the associated nonlinear optimal control problem. The proposed nonlinear control methods for permanent magnet synchronous spherical motors make more efficient, precise and reliable the use of such motors in robotics, electric traction and several automation systems.

The treated research topic is central for robotic and industrial automation. Permanent magnet synchronous spherical motors are suitable for several applications, such as actuation in robotics, traction in electric vehicles and use in several automation systems. The solution of the control problem for the nonlinear dynamic model of permanent magnet synchronous spherical motors has many industrial applications and therefore contributes to economic growth and development.

The proposed nonlinear optimal control method is novel compared to past attempts to solve the optimal control problem for nonlinear dynamical systems. Unlike past approaches, in the new nonlinear optimal control method, linearization is performed around a temporary operating point, which is defined by the present value of the system's state vector and by the last sampled value of the control inputs vector and not at points that belong to the desirable trajectory (setpoints). Besides, the Riccati equation which is used for computing the feedback gains of the controller is new, and so is the global stability proof for this control method. Compared to nonlinear model predictive control, which is a popular approach for treating the optimal control problem in industry, the new nonlinear optimal (H-infinity) control scheme is of proven global stability, and the convergence of its iterative search for the optimum does not depend on initial conditions and trials with multiple sets of controller parameters. It is also noteworthy that the nonlinear optimal control method is applicable to a wider class of dynamical systems than approaches based on the solution of state dependent Riccati equations (SDRE). The SDRE approaches can be applied only to dynamical systems which can be transformed into the linear parameter varying form. Besides, the nonlinear optimal control method performs better than nonlinear optimal control schemes, which use approximation of the solution of the Hamilton–Jacobi–Bellman equation by Galerkin series expansions. Furthermore, the second control method proposed in this paper, which is flatness-based control in successive loops, is also novel and demonstrates substantial contribution to nonlinear control for robotics and industrial automation.

The optimal control on reassembly (remanufacturing assembly) error is one of the key technologies to guarantee the assembly precision of remanufactured product. However, because of the uncertainty existing in remanufactured parts, it is difficult to control assembly error during reassembly process. Based on the state space model, this paper aims to propose the optimal control method on reassembly precision to solve this problem.

Initially, to ensure the assembly precision of a remanufactured car engine, this paper puts forward an optimal control method on assembly precision for a remanufactured car engine based on the state space model. This method takes assembly workstation operation and remanufactured part attribute as the input vector reassembly status as the state vector and assembly precision as the output vector. Then, the compensation function of reassembly workstation operation input vector is calculated to direct the optimization of the reassembly process. Finally, a case study of a certain remanufactured car engine crankshaft is constructed to verify the feasibility and effectiveness of the method proposed.

The optimal control method on reassembly precision is an effective technology in improving the quality of the remanufactured crankshaft. The average qualified rate of the remanufactured crankshaft increased from 83.05 to 90.97 per cent as shown in the case study.

The optimal control method on the reassembly precision based on the state space model is available to control the assembly precision, thus enhancing the core competitiveness of the remanufacturing enterprises.

To provide high torques needed to move a robot’s links, electric actuators are followed by a transmission system with a high transmission rate. For instance, gear ratios of 100:1 are often used in the joints of a robotic manipulator. This results into an actuator with large mechanical impedance (also known as nonback-drivable actuator). This in turn generates high contact forces when collision of the robotic mechanism occur and can cause humans’ injury. Another disadvantage of electric actuators is that they can exhibit overheating when constant torques have to be provided. Comparing to electric actuators, pneumatic actuators have promising properties for robotic applications, due to their low weight, simple mechanical design, low cost and good power-to-weight ratio. Electropneumatically actuated robots usually have better friction properties. Moreover, because of low mechanical impedance, pneumatic robots can provide moderate interaction forces which is important for robotic surgery and rehabilitation tasks. Pneumatic actuators are also well suited for exoskeleton robots. Actuation in exoskeletons should have a fast and accurate response. While electric motors come against high mechanical impedance and the risk of causing injuries, pneumatic actuators exhibit forces and torques which stay within moderate variation ranges. Besides, unlike direct current electric motors, pneumatic actuators have an improved weight-to-power ratio and avoid overheating problems.

The aim of this paper is to analyze a nonlinear optimal control method for electropneumatically actuated robots. A two-link robotic exoskeleton with electropneumatic actuators is considered as a case study. The associated nonlinear and multivariable state-space model is formulated and its differential flatness properties are proven. The dynamic model of the electropneumatic robot is linearized at each sampling instance with the use of first-order Taylor series expansion and through the computation of the associated Jacobian matrices. Within each sampling period, the time-varying linearization point is defined by the present value of the robot’s state vector and by the last sampled value of the control inputs vector. An H-infinity controller is designed for the linearized model of the robot aiming at solving the related optimal control problem under model uncertainties and external perturbations. An algebraic Riccati equation is solved at each time-step of the control method to obtain the stabilizing feedback gains of the H-infinity controller. Through Lyapunov stability analysis, it is proven that the robot’s control scheme satisfies the H-infinity tracking performance conditions which indicate the robustness properties of the control method. Moreover, global asymptotic stability is proven for the control loop. The method achieves fast convergence of the robot’s state variables to the associated reference trajectories, and despite strong nonlinearities in the robot’s dynamics, it keeps moderate the variations of the control inputs.

In this paper, a novel solution has been proposed for the nonlinear optimal control problem of robotic exoskeletons with electropneumatic actuators. As a case study, the dynamic model of a two-link lower-limb robotic exoskeleton with electropneumatic actuators has been considered. The dynamic model of this robotic system undergoes first approximate linearization at each iteration of the control algorithm around a temporary operating point. Within each sampling period, this linearization point is defined by the present value of the robot’s state vector and by the last sampled value of the control inputs vector. The linearization process relies on first-order Taylor series expansion and on the computation of the associated Jacobian matrices. The modeling error which is due to the truncation of higher-order terms from the Taylor series is considered to be a perturbation which is asymptotically compensated by the robustness of the control algorithm. To stabilize the dynamics of the electropneumatically actuated robot and to achieve precise tracking of reference setpoints, an H-infinity (optimal) feedback controller is designed. Actually, the proposed H-infinity controller for the model of the two-link electropneumatically actuated exoskeleton achieves the solution of the associated optimal control problem under model uncertainty and external disturbances. This controller implements a min-max differential game taking place between: (i) the control inputs which try to minimize a cost function which comprises a quadratic term of the state vector’s tracking error and (ii) the model uncertainty and perturbation inputs which try to maximize this cost function. To select the stabilizing feedback gains of this H-infinity controller, an algebraic Riccati equation is being repetitively solved at each time-step of the control method. The global stability properties of the H-infinity control scheme are proven through Lyapunov analysis.

Pneumatic actuators are characterized by high nonlinearities which are due to air compressibility, thermodynamics and valves behavior and thus pneumatic robots require elaborated nonlinear control schemes to ensure their fast and precise positioning. Among the control methods which have been applied to pneumatic robots, one can distinguish differential geometric approaches (Lie algebra-based control, differential flatness theory-based control, nonlinear model predictive control [NMPC], sliding-mode control, backstepping control and multiple models-based fuzzy control). Treating nonlinearities and fault tolerance issues in the control problem of robotic manipulators with electropneumatic actuators has been a nontrivial task.

The novelty of the proposed control method is outlined as follows: preceding results on the use of H-infinity control to nonlinear dynamical systems were limited to the case of affine-in-the-input systems with drift-only dynamics. These results considered that the control inputs gain matrix is not dependent on the values of the system’s state vector. Moreover, in these approaches the linearization was performed around points of the desirable trajectory, whereas in the present paper’s control method the linearization points are related with the value of the state vector at each sampling instance as well as with the last sampled value of the control inputs vector. The Riccati equation which has been proposed for computing the feedback gains of the controller is novel, so is the presented global stability proof through Lyapunov analysis. This paper’s scientific contribution is summarized as follows: (i) the presented nonlinear optimal control method has improved or equally satisfactory performance when compared against other nonlinear control schemes that one can consider for the dynamic model of robots with electropneumatic actuators (such as Lie algebra-based control, differential flatness theory-based control, nonlinear model-based predictive control, sliding-mode control and backstepping control), (ii) it achieves fast and accurate tracking of all reference setpoints, (iii) despite strong nonlinearities in the dynamic model of the robot, it keeps moderate the variations of the control inputs and (iv) unlike the aforementioned alternative control approaches, this paper’s method is the only one that achieves solution of the optimal control problem for electropneumatic robots.

The use of electropneumatic actuation in robots exhibits certain advantages. These can be the improved weight-to-power ratio, the lower mechanical impedance and the avoidance of overheating. At the same time, precise positioning and accurate execution of tasks by electropneumatic robots requires the application of elaborated nonlinear control methods. In this paper, a new nonlinear optimal control method has been developed for electropneumatically actuated robots and has been specifically applied to the dynamic model of a two-link robotic exoskeleton. The benefit from using this paper’s results in industrial and biomedical applications is apparent.

A comparison of the proposed nonlinear optimal (H-infinity) control method against other linear and nonlinear control schemes for electropneumatically actuated robots shows the following: (1) Unlike global linearization-based control approaches, such as Lie algebra-based control and differential flatness theory-based control, the optimal control approach does not rely on complicated transformations (diffeomorphisms) of the system’s state variables. Besides, the computed control inputs are applied directly on the initial nonlinear model of the electropneumatic robot and not on its linearized equivalent. The inverse transformations which are met in global linearization-based control are avoided and consequently one does not come against the related singularity problems. (2) Unlike model predictive control (MPC) and NMPC, the proposed control method is of proven global stability. It is known that MPC is a linear control approach that if applied to the nonlinear dynamics of the electropneumatic robot, the stability of the control loop will be lost. Besides, in NMPC the convergence of its iterative search for an optimum depends on initialization and parameter values selection and consequently the global stability of this control method cannot be always assured. (3) Unlike sliding-mode control and backstepping control, the proposed optimal control method does not require the state-space description of the system to be found in a specific form. About sliding-mode control, it is known that when the controlled system is not found in the input-output linearized form the definition of the sliding surface can be an intuitive procedure. About backstepping control, it is known that it cannot be directly applied to a dynamical system if the related state-space model is not found in the triangular (backstepping integral) form. (4) Unlike PID control, the proposed nonlinear optimal control method is of proven global stability, the selection of the controller’s parameters does not rely on a heuristic tuning procedure, and the stability of the control loop is assured in the case of changes of operating points. (5) Unlike multiple local models-based control, the nonlinear optimal control method uses only one linearization point and needs the solution of only one Riccati equation so as to compute the stabilizing feedback gains of the controller. Consequently, in terms of computation load the proposed control method for the electropneumatic actuator’s dynamics is much more efficient.

This paper offers various state‐space representations in the context of applications of the system control theory to dynamic economic systems and examines interrelationships between the alternative representations in both economics literature and system control engineering literature. In particular, some characteristics of various state‐space forms are assessed with respect to the structural properties of each form, thereby demonstrating the relative advantages and disadvantages of different realization methods presented in this paper.

In the paper we provide new evidence on the predictability of Scandinavian stock returns, when utilizing the determinants of global capital asset pricing. Three factors are extracted by principal components factor analysis. The VARIMAX‐rotated factor loadings matrix clearly suggests the presence of geographically distinguished returns generating factors: Europe, Asia and America. The corresponding factor price series are used as driving forces for the Finnish and Swedish market returns. The results indicate that the predictability of Scandinavian stock returns is significantly improved by the world factors.

A distinctive feature of tilt-rotor UAVs is that they can be fully actuated, whereas in fixed-angle rotor UAVs (e.g. common-type quadrotors, octorotors, etc.), the associated dynamic model is characterized by underactuation. Because of the existence of more control inputs, in tilt-rotor UAVs, there is more flexibility in the solution of the associated nonlinear control problem. On the other side, the dynamic model of the tilt-rotor UAVs remains nonlinear and multivariable and this imposes difficulty in the drone's controller design. This paper aims to achieve simultaneously precise tracking of trajectories and minimization of energy dissipation by the UAV's rotors. To this end elaborated control methods have to be developed.

A solution of the nonlinear control problem of tilt-rotor UAVs is attempted using a novel nonlinear optimal control method. This method is characterized by computational simplicity, clear implementation stages and proven global stability properties. At the first stage, approximate linearization is performed on the dynamic model of the tilt-rotor UAV with the use of first-order Taylor series expansion and through the computation of the system's Jacobian matrices. This linearization process is carried out at each sampling instance, around a temporary operating point which is defined by the present value of the tilt-rotor UAV's state vector and by the last sampled value of the control inputs vector. At the second stage, an H-infinity stabilizing controller is designed for the approximately linearized model of the tilt-rotor UAV. To find the feedback gains of the controller, an algebraic Riccati equation is repetitively solved, at each time-step of the control method. Lyapunov stability analysis is used to prove the global stability properties of the control scheme. Moreover, the H-infinity Kalman filter is used as a robust observer so as to enable state estimation-based control. The paper's nonlinear optimal control approach achieves fast and accurate tracking of reference setpoints under moderate variations of the control inputs. Finally, the nonlinear optimal control approach for UAVs with tilting rotors is compared against flatness-based control in successive loops, with the latter method to be also exhibiting satisfactory performance.

So far, nonlinear model predictive control (NMPC) methods have been of questionable performance in treating the nonlinear optimal control problem for tilt-rotor UAVs because NMPC's convergence to optimum depends often on the empirical selection of parameters while also lacking a global stability proof. In the present paper, a novel nonlinear optimal control method is proposed for solving the nonlinear optimal control problem of tilt rotor UAVs. Firstly, by following the assumption of small tilting angles, the state-space model of the UAV is formulated and conditions of differential flatness are given about it. Next, to implement the nonlinear optimal control method, the dynamic model of the tilt-rotor UAV undergoes approximate linearization at each sampling instance around a temporary operating point which is defined by the present value of the system's state vector and by the last sampled value of the control inputs vector. The linearization process is based on first-order Taylor series expansion and on the computation of the associated Jacobian matrices. The modelling error, which is due to the truncation of higher-order terms from the Taylor series, is considered to be a perturbation that is asymptotically compensated by the robustness of the control scheme. For the linearized model of the UAV, an H-infinity stabilizing feedback controller is designed. To select the feedback gains of the H-infinity controller, an algebraic Riccati equation has to be repetitively solved at each time-step of the control method. The stability properties of the control scheme are analysed with the Lyapunov method.

There are no research limitations in the nonlinear optimal control method for tilt-rotor UAVs. The proposed nonlinear optimal control method achieves fast and accurate tracking of setpoints by all state variables of the tilt-rotor UAV under moderate variations of the control inputs. Compared to past approaches for treating the nonlinear optimal (H-infinity) control problem, the paper's approach is applicable also to dynamical systems which have a non-constant control inputs gain matrix. Furthermore, it uses a new Riccati equation to compute the controller's gains and follows a novel Lyapunov analysis to prove global stability for the control loop.

There are no practical implications in the application of the nonlinear optimal control method for tilt-rotor UAVs. On the contrary, the nonlinear optimal control method is applicable to a wider class of dynamical systems than approaches based on the solution of state-dependent Riccati equations (SDRE). The SDRE approaches can be applied only to dynamical systems which can be transformed to the linear parameter varying (LPV) form. Besides, the nonlinear optimal control method performs better than nonlinear optimal control schemes which use approximation of the solution of the Hamilton–Jacobi–Bellman equation by Galerkin series expansions. The stability properties of the Galerkin series expansion-based optimal control approaches are still unproven.

The proposed nonlinear optimal control method is suitable for using in various types of robots, including robotic manipulators and autonomous vehicles. By treating nonlinear control problems for complicated robotic systems, the proposed nonlinear optimal control method can have a positive impact towards economic development. So far the method has been used successfully in (1) industrial robotics: robotic manipulators and networked robotic systems. One can note applications to fully actuated robotic manipulators, redundant manipulators, underactuated manipulators, cranes and load handling systems, time-delayed robotic systems, closed kinematic chain manipulators, flexible-link manipulators and micromanipulators and (2) transportation systems: autonomous vehicles and mobile robots. Besides, one can note applications to two-wheel and unicycle-type vehicles, four-wheel drive vehicles, four-wheel steering vehicles, articulated vehicles, truck and trailer systems, unmanned aerial vehicles, unmanned surface vessels, autonomous underwater vessels and underactuated vessels.

The proposed nonlinear optimal control method is a novel and genuine result and is used for the first time in the dynamic model of tilt-rotor UAVs. The nonlinear optimal control approach exhibits advantages against other control schemes one could have considered for the tilt-rotor UAV dynamics. For instance, (1) compared to the global linearization-based control schemes (such as Lie algebra-based control or flatness-based control), it does not require complicated changes of state variables (diffeomorphisms) and transformation of the system's state-space description. Consequently, it also avoids inverse transformations which may come against singularity problems, (2) compared to NMPC, the proposed nonlinear optimal control method is of proven global stability and the convergence of its iterative search for an optimum does not depend on initialization and controller's parametrization, (3) compared to sliding-mode control and backstepping control the application of the nonlinear optimal control method is not constrained into dynamical systems of a specific state-space form. It is known that unless the controlled system is found in the input–output linearized form, the definition of the associated sliding surfaces is an empirical procedure. Besides, unless the controlled system is found in the backstepping integral (triangular) form, the application of backstepping control is not possible, (4) compared to PID control, the nonlinear optimal control method is of proven global stability and its performance is not dependent on heuristics-based selection of parameters of the controller and (5) compared to multiple-model-based optimal control, the nonlinear optimal control method requires the computation of only one linearization point and the solution of only one Riccati equation.

The purpose of this paper is to investigate changes in the commercial real estate market dynamics as a function of and conditional to the shifts in market state-space environment that can influence agent responses.

The analytical design uses a comparative computational experiment to address the performance of property assets in the current market based on comparison with prior structural patterns. The latent variables developed across market sectors are used to test agent behavior contingent on the perspectives of capital asset pricing conditionals (CAPM) and a behavioral momentum/herd construct. The state-space momentum analysis can assist the comparative analysis of current levels and shifts in property asset performance given the issues that have arisen with the financial crisis of 2007-2009.

An analytic approach is employed framed by a situation-dependent model. This frame considers risk profiles characterizing the perspectives and preferences guiding a delineated market state. This perspective is concerned with the possibility of shifts in market momentum and representativeness conditioning investor expectations. It is observed that the current market (post-crisis) has changed significantly from the prior operations (despite the diversity observed in prior market states). The dynamics of initial findings required an additional test anchored to the performance of the general capital market and the real economy across time. This context supports the use of a modified CAPM model allowing the consideration of opportunity cost in a space-time dynamic anchored with the consideration of equity, debt, riskless asset and liquidity options as they varied for the representative agents operating per market state.

This paper integrates neoclassical and behavioral economic constructs. Combines asset pricing with prospect theory and allows the calculation of endogenous time-preferences, risk attitudes and formulation and testing of hyperbolic discounting functions.

The research shows that market structure and agent behavior since the financial crisis has changed from the investment and valuation perspectives operating as observed and measured from 1970 up to 2007. In contradiction to the long-term findings of Reinhart and Rogoff (2008), but in compliance with common perspectives and decision heuristics often employed by investors, this time things have changed! Discounting and expected rates of return are dynamic and are hyperbolic and not constant. Returns and investment for property assets are situational (market state-space specific) and offer a distinct asset class, not appropriately estimated by many of the traditional financial models.

Assist in supporting insights to measure in errors and equations that result in inefficient resource allocation and beta discounting that supports the financial crisis created by assets subject to long-term decision needs (delta function).

The paper offers a combination and comparison of neoclassic asset pricing using a modified CAPM (two-pass) approach within the structural frame of Kahneman and Tversky’s (1979) prospect theory. This technique allows the consideration of the effects of present bias, beta-delta functions and the operation of the Allais Paradox in market states that are characterized by gains and losses and thus risk aversion and risk seeking behavior. This ability for differentiation allows for the development of endogenous time-preferences and hyperbolic discounting factors characteristic of commercial property investment.