this paper studies the exponential stabilization problem for discrete-time switched linear systems based on a control-Lyapunov function approach. A number of versions of converse control-Lyapunov function theorems are...
详细信息
ISBN:
(纸本)9783642006012
this paper studies the exponential stabilization problem for discrete-time switched linear systems based on a control-Lyapunov function approach. A number of versions of converse control-Lyapunov function theorems are proved and their connections to the switched LQR problem are derived. It is shown that the system is exponentially stabilizable if and only if there exists a finite integer N such that the N-horizon value function of the switched LQR, problem is a control-Lyapunov function. An efficient algorithm is also proposed which is guaranteed to yield a control-Lyapunov function and a stabilizing strategy whenever tire system is exponentially stabilizable.
the three-volume set LNCS 10277-10279 constitutes the refereed proceedings of the11thinternationalconference on Universal Access in Human-computer Interaction, UAHCI 2017, held as part of the 19thinternational Conf...
详细信息
ISBN:
(数字)9783319587066
ISBN:
(纸本)9783319587059
the three-volume set LNCS 10277-10279 constitutes the refereed proceedings of the11thinternationalconference on Universal Access in Human-computer Interaction, UAHCI 2017, held as part of the 19thinternationalconference on Human-computer Interaction, HCII 2017, in Vancouver, BC, Canada in July 2017, jointly with 14 other thematically similar conferences. the total of 1228 papers presented at the HCII 2017 conferences were carefully reviewed and selected from 4340 submissions. the papers included in the three UAHCI 2017 volumes address the following major topics: Design for All Methods and Practice; Accessibility and Usability Guidelines and Evaluation; User and Context Modelling and Monitoring and Interaction Adaptation; Design for Children; Sign Language Processing; Universal Access to Virtual and Augmented Reality; Non Visual and Tactile Interaction; Gesture and Gaze-Based Interaction; Universal Access to Health and Rehabilitation; Universal Access to Education and Learning; Universal Access to Mobility; Universal Access to Information and Media; and Design for Quality of Life Technologies.
It is well known that nowadays children tend to spend lot of time playing games on mobile devices at the expense of reading books. the current research aims to explore ways to design and develop a mobile application, ...
详细信息
Enterprise Resource Planning systems (ERP) are powerful software packages that enable the integration of a variety of business activities. there are many success stories of ERP systems use and implementation, but ther...
详细信息
ISBN:
(纸本)9780769536415
Enterprise Resource Planning systems (ERP) are powerful software packages that enable the integration of a variety of business activities. there are many success stories of ERP systems use and implementation, but there are also significant evidence of failures. So far, there is not enough research that investigates the technical factors that determine the success of use of an ERP system. this paper investigates the case study of a bus company that needs to enhance its ERP system to support the alignment between business processes and strategy. the specific problem of the company was the low level of managerial control over the bus maintenance process, resulting in a poor performance of the process and a consequent low quality of the final service to the customer. the solution to the problem we proposed was the integration of monitoring agents called probes into the ERP system that are able to link the process performances to the strategic goals, objectives or constraints. the introduction of the probes enhances the organization's strategic control by offering a continuous monitoring of the strategic goals achievement, hence increasing the understanding of the company behaviour. that has determined the adoption of strategic changes that managed to obtain higher performances of the maintenance process and consequentially an higher quality of the offered service.
Different areas in the brain are specialized for different functions, and complex cognitive tasks are implemented by their cooperation. Recently, cortico-cortical network structures have been analyzed based on graph t...
详细信息
the constant increase of life expectancy in the last decades is constantly prompting for new and better solutions to support the overstressed medical system. Solutions for tele monitoring of elder patients in their ow...
详细信息
the constant increase of life expectancy in the last decades is constantly prompting for new and better solutions to support the overstressed medical system. Solutions for tele monitoring of elder patients in their own homes are seen as one of the key solutions in reducing the financial and human resources demand on a medical system that needs to address a constantly growing number of elder patients with fewer resources. this paper presents an efficient location tracking system design for monitoring elder patients in home environments. this system is designed to be integrated in complex context aware systems, which can provide valuable information and alerts to responsible care takers.
Withthe growing use of mobile smart phones among teens, adolescent online safety is becoming more and more challenging. To overcome this problem, parental control applications have been developed. Yet, no one knows w...
详细信息
ISBN:
(纸本)9781450342766
Withthe growing use of mobile smart phones among teens, adolescent online safety is becoming more and more challenging. To overcome this problem, parental control applications have been developed. Yet, no one knows why these apps have very low adoption rates nor if they are effective. To address this problem, we previously conducted a structured analysis of existing adolescent online safety apps. In this paper, we briefly summarize our previous results and introduce our new approach for gaining additional insights from the actual users of these apps. We summarize our methodology for doing this and present the results of an initial thematic analysis of user reviews of adolescent online safety apps. Copyright is held by the owner/author(s).
Cyber-physical systems (CPS) are hybrid systemsthat commonly consist of a discrete control part that operates in a continuous environment. Hybrid automata are a convenient model for CPS suitable for formal verificati...
详细信息
ISBN:
(纸本)9783319675497;9783319675480
Cyber-physical systems (CPS) are hybrid systemsthat commonly consist of a discrete control part that operates in a continuous environment. Hybrid automata are a convenient model for CPS suitable for formal verification. the latter is based on reachability analysis of the system to trace its hybrid evolution and consequently verify its properties. However, when computing reachable states, a challenging task especially for nonlinear noisy systems is to control automatically the numerical precision to obtain meaningful approximations of the reached set. this paper presents the ongoing work and open issues in the automated computation of system evolution when the dynamics is described by differential inclusions. Differential inclusions allow to model noise for hybrid systems and also to decouple the components in a complex system, in order to simplify model-based design and verification. the proposed work aims to extend the capabilities of ARIADNE, a C++ library to perform formal verification of nonlinear hybrid systems.
Although there has been substantial progress in understanding the neurophysiological mechanisms of stereopsis, how neurons interact in a network during stereo computation remains unclear. Computational models on stere...
详细信息
ISBN:
(纸本)9780262195683
Although there has been substantial progress in understanding the neurophysiological mechanisms of stereopsis, how neurons interact in a network during stereo computation remains unclear. Computational models on stereopsis suggest local competition and long-range cooperation are important for resolving ambiguity during stereo matching. To test these predictions, we simultaneously recorded from multiple neurons in V1 of awake, behaving macaques while presenting surfaces of different depths rendered in dynamic random dot stereograms. We found that the interaction between pairs of neurons was a function of similarity in receptive fields, as well as of the input stimulus. Neurons coding the same depth experienced common inhibition early in their responses for stimuli presented at their nonpreferred disparities. they experienced mutual facilitation later in their responses for stimulation at their preferred disparity. these findings are consistent with a local competition mechanism that first removes gross mismatches, and a global cooperative mechanism that further refines depth estimates.
this paper examines event-triggered broadcasting of state information in distributed networked systems. Event-triggering has the agent broadcast its state information when its local "error" signal exceeds a ...
详细信息
ISBN:
(纸本)9783540789284
this paper examines event-triggered broadcasting of state information in distributed networked systems. Event-triggering has the agent broadcast its state information when its local "error" signal exceeds a given threshold. We present a decentralized approach for determining event-triggering thresholds for nonlinear subsystems withthe assumption that each agent only has access to its local state. the main results of this paper show that our decentralized event triggering scheme guarantees the asymptotic stability of the entire networked control system.
暂无评论