The Experts below are selected from a list of 1155 Experts worldwide ranked by ideXlab platform
Amitabha Sanyal - One of the best experts on this subject based on the ideXlab platform.
-
Heterogeneous Fixed Points with Application to Points-to Analysis
2014Co-Authors: Aditya Kanade, Uday P. Khedker, Amitabha SanyalAbstract:Abstract. Many situations can be modeled as solutions of systems of simultaneous equations. If the functions of these equations monotonically increase in all bound variables, then the existence of Extremal Fixed Point solutions for the equations is guaranteed. Among all solutions, these Fixed Points uniformly take least or greatest values for all bound variables. Hence, we call them homogeneous Fixed Points. However, there are systems of equations whose functions monotonically increase in some variables and decrease in others. The existence of solutions of such equations cannot be guaranteed using classical Fixed Point theory. In this paper, we define general conditions to guarantee the existence and computability of Fixed Point solutions of such equations. In contrast to homogeneous Fixed Points, these Fixed Points take least values for some variables and greatest values for others. Hence, we call them heterogeneous Fixed Points. We illustrate heterogeneous Fixed Point theory through Points-to analysis.
-
APLAS - Heterogeneous Fixed Points with application to Points-to analysis
Programming Languages and Systems, 2005Co-Authors: Aditya Kanade, Uday P. Khedker, Amitabha SanyalAbstract:Many situations can be modeled as solutions of systems of simultaneous equations. If the functions of these equations monotonically increase in all bound variables, then the existence of Extremal Fixed Point solutions for the equations is guaranteed. Among all solutions, these Fixed Points uniformly take least or greatest values for all bound variables. Hence, we call them homogeneous Fixed Points. However, there are systems of equations whose functions monotonically increase in some variables and decrease in others. The existence of solutions of such equations cannot be guaranteed using classical Fixed Point theory. In this paper, we define general conditions to guarantee the existence and computability of Fixed Point solutions of such equations. In contrast to homogeneous Fixed Points, these Fixed Points take least values for some variables and greatest values for others. Hence, we call them heterogeneous Fixed Points. We illustrate heterogeneous Fixed Point theory through Points-to analysis.
Aditya Kanade - One of the best experts on this subject based on the ideXlab platform.
-
Heterogeneous Fixed Points with Application to Points-to Analysis
2014Co-Authors: Aditya Kanade, Uday P. Khedker, Amitabha SanyalAbstract:Abstract. Many situations can be modeled as solutions of systems of simultaneous equations. If the functions of these equations monotonically increase in all bound variables, then the existence of Extremal Fixed Point solutions for the equations is guaranteed. Among all solutions, these Fixed Points uniformly take least or greatest values for all bound variables. Hence, we call them homogeneous Fixed Points. However, there are systems of equations whose functions monotonically increase in some variables and decrease in others. The existence of solutions of such equations cannot be guaranteed using classical Fixed Point theory. In this paper, we define general conditions to guarantee the existence and computability of Fixed Point solutions of such equations. In contrast to homogeneous Fixed Points, these Fixed Points take least values for some variables and greatest values for others. Hence, we call them heterogeneous Fixed Points. We illustrate heterogeneous Fixed Point theory through Points-to analysis.
-
APLAS - Heterogeneous Fixed Points with application to Points-to analysis
Programming Languages and Systems, 2005Co-Authors: Aditya Kanade, Uday P. Khedker, Amitabha SanyalAbstract:Many situations can be modeled as solutions of systems of simultaneous equations. If the functions of these equations monotonically increase in all bound variables, then the existence of Extremal Fixed Point solutions for the equations is guaranteed. Among all solutions, these Fixed Points uniformly take least or greatest values for all bound variables. Hence, we call them homogeneous Fixed Points. However, there are systems of equations whose functions monotonically increase in some variables and decrease in others. The existence of solutions of such equations cannot be guaranteed using classical Fixed Point theory. In this paper, we define general conditions to guarantee the existence and computability of Fixed Point solutions of such equations. In contrast to homogeneous Fixed Points, these Fixed Points take least values for some variables and greatest values for others. Hence, we call them heterogeneous Fixed Points. We illustrate heterogeneous Fixed Point theory through Points-to analysis.
Uday P. Khedker - One of the best experts on this subject based on the ideXlab platform.
-
Heterogeneous Fixed Points with Application to Points-to Analysis
2014Co-Authors: Aditya Kanade, Uday P. Khedker, Amitabha SanyalAbstract:Abstract. Many situations can be modeled as solutions of systems of simultaneous equations. If the functions of these equations monotonically increase in all bound variables, then the existence of Extremal Fixed Point solutions for the equations is guaranteed. Among all solutions, these Fixed Points uniformly take least or greatest values for all bound variables. Hence, we call them homogeneous Fixed Points. However, there are systems of equations whose functions monotonically increase in some variables and decrease in others. The existence of solutions of such equations cannot be guaranteed using classical Fixed Point theory. In this paper, we define general conditions to guarantee the existence and computability of Fixed Point solutions of such equations. In contrast to homogeneous Fixed Points, these Fixed Points take least values for some variables and greatest values for others. Hence, we call them heterogeneous Fixed Points. We illustrate heterogeneous Fixed Point theory through Points-to analysis.
-
APLAS - Heterogeneous Fixed Points with application to Points-to analysis
Programming Languages and Systems, 2005Co-Authors: Aditya Kanade, Uday P. Khedker, Amitabha SanyalAbstract:Many situations can be modeled as solutions of systems of simultaneous equations. If the functions of these equations monotonically increase in all bound variables, then the existence of Extremal Fixed Point solutions for the equations is guaranteed. Among all solutions, these Fixed Points uniformly take least or greatest values for all bound variables. Hence, we call them homogeneous Fixed Points. However, there are systems of equations whose functions monotonically increase in some variables and decrease in others. The existence of solutions of such equations cannot be guaranteed using classical Fixed Point theory. In this paper, we define general conditions to guarantee the existence and computability of Fixed Point solutions of such equations. In contrast to homogeneous Fixed Points, these Fixed Points take least values for some variables and greatest values for others. Hence, we call them heterogeneous Fixed Points. We illustrate heterogeneous Fixed Point theory through Points-to analysis.
Jean-louis Boimond - One of the best experts on this subject based on the ideXlab platform.
-
Just in Time Control of Constrained (max,+)-Linear Systems
Discrete Event Dynamic Systems, 2007Co-Authors: Laurent Houssin, Sébastien Lahaye, Jean-louis BoimondAbstract:This paper deals with just in time control of ( max ,+)-linear systems. The output tracking problem, considered in previous studies, is generalized by considering additional constraints in the control objective. The problem is formulated as an Extremal Fixed Point computation. This control is applied to timetables computation for urban bus networks.
Colin Stirling - One of the best experts on this subject based on the ideXlab platform.
-
TACAS - Games and Modal Mu-Calculus
Tools and Algorithms for the Construction and Analysis of Systems, 1996Co-Authors: Colin StirlingAbstract:We define Ehrenfeucht-FraIsse games which exactly capture the expressive power of the Extremal Fixed Point operators of modal mu-calculus. The resulting games have significance, we believe, within and outside of concurrency theory. On the one hand they naturally extend the iterative bisimulation games associated with Hennessy-Milner logic, and on the other hand they offer deeper insight into the logical role of Fixed Points. For this purpose we also define second-order propositional modal logic to contrast Fixed Points and second-order quantifiers.
