The Experts below are selected from a list of 91932 Experts worldwide ranked by ideXlab platform
Tansel Yucelen - One of the best experts on this subject based on the ideXlab platform.
-
a set Theoretic Model reference adaptive control architecture with dead zone effect
Control Engineering Practice, 2019Co-Authors: Ehsan Arabi, Tansel YucelenAbstract:Abstract A new set-Theoretic Model reference adaptive control architecture with dead-zone effect is presented. The key feature of our approach utilizes a new generalized restricted potential function, where it not only provides a user-defined uncertain dynamical system performance but also has the capability to stop the adaptation when system errors are small (i.e., inside dead-zone) — a practice adopted in adaptive control applications. The stability of the proposed technique is analyzed through showing the boundedness of an energy function in all possible variations and its experimental validation is also given through an aerospace testbed.
-
A Set-Theoretic Model Reference Adaptive Control Architecture with Dead-Zone Effect
2019 American Control Conference (ACC), 2019Co-Authors: Ehsan Arabi, Tansel YucelenAbstract:By introducing a system error dependent learning rate, the recently proposed set-Theoretic Model reference adaptive control architecture provides user-defined worst-case performance guarantees on the system error between an uncertain dynamical system of interest and a given reference Model. In this architecture, the adaptation process is always active. However, it is of practical interest to stop the adaptation process when it is not needed (i.e., in the presence of small system errors). Motivated from this standpoint, we present a new set-Theoretic Model reference adaptive control architecture with dead-zone effect. The key feature of our framework utilizes a modified and continuous generalized restricted potential function in the adaptation update law, where it not only stops the adaptation process inside the dead-zone (i.e., when the system error is small) but also allows the norm of the system error to be less than a-priori, user-defined worst-case performance bound. The efficacy of the proposed architecture is also demonstrated through an illustrative numerical example.
-
a generalization to set Theoretic Model reference adaptive control architecture for enforcing user defined time varying performance bounds
Advances in Computing and Communications, 2017Co-Authors: Ehsan Arabi, Tansel YucelenAbstract:It is a challenge to achieve user-defined performance guarantees while utilizing Model reference adaptive control laws in the feedback loop. To this end, we recently introduced a set-Theoretic Model reference adaptive control framework. The key feature of this approach allows the distance between the state of an uncertain dynamical system and the state of a reference Model (i.e., the system error) to be less than a user-defined constant performance bound. In this paper, the set-Theoretic Model reference adaptive control framework is generalized to enforce user-defined time-varying performance bounds on the system error, which gives user the flexibility to control the closed-loop system performance as desired on different time intervals (e.g., transient time interval and steady-state time interval). For this purpose, an architecture is proposed for adaptive command following, where two numerical examples are provided to illustrate the efficacy of the proposed contribution.
Ehsan Arabi - One of the best experts on this subject based on the ideXlab platform.
-
a set Theoretic Model reference adaptive control architecture with dead zone effect
Control Engineering Practice, 2019Co-Authors: Ehsan Arabi, Tansel YucelenAbstract:Abstract A new set-Theoretic Model reference adaptive control architecture with dead-zone effect is presented. The key feature of our approach utilizes a new generalized restricted potential function, where it not only provides a user-defined uncertain dynamical system performance but also has the capability to stop the adaptation when system errors are small (i.e., inside dead-zone) — a practice adopted in adaptive control applications. The stability of the proposed technique is analyzed through showing the boundedness of an energy function in all possible variations and its experimental validation is also given through an aerospace testbed.
-
A Set-Theoretic Model Reference Adaptive Control Architecture with Dead-Zone Effect
2019 American Control Conference (ACC), 2019Co-Authors: Ehsan Arabi, Tansel YucelenAbstract:By introducing a system error dependent learning rate, the recently proposed set-Theoretic Model reference adaptive control architecture provides user-defined worst-case performance guarantees on the system error between an uncertain dynamical system of interest and a given reference Model. In this architecture, the adaptation process is always active. However, it is of practical interest to stop the adaptation process when it is not needed (i.e., in the presence of small system errors). Motivated from this standpoint, we present a new set-Theoretic Model reference adaptive control architecture with dead-zone effect. The key feature of our framework utilizes a modified and continuous generalized restricted potential function in the adaptation update law, where it not only stops the adaptation process inside the dead-zone (i.e., when the system error is small) but also allows the norm of the system error to be less than a-priori, user-defined worst-case performance bound. The efficacy of the proposed architecture is also demonstrated through an illustrative numerical example.
-
a generalization to set Theoretic Model reference adaptive control architecture for enforcing user defined time varying performance bounds
Advances in Computing and Communications, 2017Co-Authors: Ehsan Arabi, Tansel YucelenAbstract:It is a challenge to achieve user-defined performance guarantees while utilizing Model reference adaptive control laws in the feedback loop. To this end, we recently introduced a set-Theoretic Model reference adaptive control framework. The key feature of this approach allows the distance between the state of an uncertain dynamical system and the state of a reference Model (i.e., the system error) to be less than a user-defined constant performance bound. In this paper, the set-Theoretic Model reference adaptive control framework is generalized to enforce user-defined time-varying performance bounds on the system error, which gives user the flexibility to control the closed-loop system performance as desired on different time intervals (e.g., transient time interval and steady-state time interval). For this purpose, an architecture is proposed for adaptive command following, where two numerical examples are provided to illustrate the efficacy of the proposed contribution.
Moshe Y Vardi - One of the best experts on this subject based on the ideXlab platform.
-
Model checking as a reachability problem
International Workshop on Reachability Problems, 2009Co-Authors: Moshe Y VardiAbstract:Model checking is a essentially a graph-searching problem. In automata-Theoretic Model checking we compose the design under verification with a Buchi automaton that accepts traces violating the specification. We then use graph algorithms to search the product graph for a counterexample trace. The basic theory of this approach was worked out in the 1980s, and the basic algorithms were developed during the 1990s. Both explicit and symbolic implementations, such as SPIN and and SMV, are widely used. It turns out, however, that there are still many gaps in our understanding of the algorithmic issues involved in automata-Theoretic Model checking. This talk covers the fundamentals of automata-Theoretic Model checking, reviews recent progress, and outlines areas that require further research.
-
automata Theoretic Model checking revisited
Haifa Verification Conference, 2009Co-Authors: Moshe Y VardiAbstract:In automata-Theoretic Model checking we compose the design under verification with a Buchi automaton that accepts traces violating the specification. We then use graph algorithms to search for a counterexample trace. The theory of this approach originated in the 1980s, and the basic algorithms were developed during the 1990s. Both explicit and symbolic implementations, such as SPIN and SMV, are widely used.
-
automata Theoretic Model checking revisited
Verification Model Checking and Abstract Interpretation, 2007Co-Authors: Moshe Y VardiAbstract:In automata-Theoretic Model checking we compose the design under verification with a Buchi automaton that accepts traces violating the specification. We then use graph algorithms to search for a counterexample trace. The basic theory of this approach was worked out in the 1980s, and the basic algorithms were developed during the 1990s. Both explicit and symbolic implementations, such as SPIN and and SMV, are widely used. It turns out, however, that there are still many gaps in our understanding of the algorithmic issues involved in automata-Theoretic Model checking. This paper covers the fundamentals of automata-Theoretic Model checking, review recent progress, and outlines areas that require further research.
David Simchilevi - One of the best experts on this subject based on the ideXlab platform.
-
a game Theoretic Model of international influenza vaccination coordination
Management Science, 2013Co-Authors: Hamed Mamani, Stephen E Chick, David SimchileviAbstract:Influenza vaccination decisions in one country can influence the size of an outbreak in other countries due to interdependent risks from infectious disease transmission. This paper examines the inefficiency in the allocation of influenza vaccines that is due to interdependent risk of infection across borders and proposes a contractual mechanism to reduce such inefficiencies. The proposed contract is based on an epidemic Model that accounts for intranational transmission and that from a source country where the dominant strain emerges. The contract reduces the overall financial burden of infection globally and improves the total number infected by seasonal influenza outbreaks. This is consistent with recent recommendations to improve pandemic preparedness. Numerical experiments demonstrate that the benefits of the contract can prevent millions of influenza cases and save tens of millions of dollars, and that the benefits are even greater when cross-border transmission is higher, even if cross-border transmission parameters have moderate estimation errors. This paper was accepted by Martin Lariviere, operations management.
-
a game Theoretic Model of international influenza vaccination coordination
Management Science, 2013Co-Authors: Hamed Mamani, Stephen E Chick, David SimchileviAbstract:Influenza vaccination decisions in one country can influence the size of an outbreak in other countries due to interdependent risks from infectious disease transmission. This paper examines the inefficiency in the allocation of influenza vaccines that is due to interdependent risk of infection across borders and proposes a contractual mechanism to reduce such inefficiencies. The proposed contract is based on an epidemic Model that accounts for intranational transmission and that from a source country where the dominant strain emerges. The contract reduces the overall financial burden of infection globally and improves the total number infected by seasonal influenza outbreaks. This is consistent with recent recommendations to improve pandemic preparedness. Numerical experiments demonstrate that the benefits of the contract can prevent millions of influenza cases and save tens of millions of dollars, and that the benefits are even greater when cross-border transmission is higher, even if cross-border transm...
Hamed Mamani - One of the best experts on this subject based on the ideXlab platform.
-
a game Theoretic Model of international influenza vaccination coordination
Management Science, 2013Co-Authors: Hamed Mamani, Stephen E Chick, David SimchileviAbstract:Influenza vaccination decisions in one country can influence the size of an outbreak in other countries due to interdependent risks from infectious disease transmission. This paper examines the inefficiency in the allocation of influenza vaccines that is due to interdependent risk of infection across borders and proposes a contractual mechanism to reduce such inefficiencies. The proposed contract is based on an epidemic Model that accounts for intranational transmission and that from a source country where the dominant strain emerges. The contract reduces the overall financial burden of infection globally and improves the total number infected by seasonal influenza outbreaks. This is consistent with recent recommendations to improve pandemic preparedness. Numerical experiments demonstrate that the benefits of the contract can prevent millions of influenza cases and save tens of millions of dollars, and that the benefits are even greater when cross-border transmission is higher, even if cross-border transmission parameters have moderate estimation errors. This paper was accepted by Martin Lariviere, operations management.
-
a game Theoretic Model of international influenza vaccination coordination
Management Science, 2013Co-Authors: Hamed Mamani, Stephen E Chick, David SimchileviAbstract:Influenza vaccination decisions in one country can influence the size of an outbreak in other countries due to interdependent risks from infectious disease transmission. This paper examines the inefficiency in the allocation of influenza vaccines that is due to interdependent risk of infection across borders and proposes a contractual mechanism to reduce such inefficiencies. The proposed contract is based on an epidemic Model that accounts for intranational transmission and that from a source country where the dominant strain emerges. The contract reduces the overall financial burden of infection globally and improves the total number infected by seasonal influenza outbreaks. This is consistent with recent recommendations to improve pandemic preparedness. Numerical experiments demonstrate that the benefits of the contract can prevent millions of influenza cases and save tens of millions of dollars, and that the benefits are even greater when cross-border transmission is higher, even if cross-border transm...
