The Experts below are selected from a list of 270 Experts worldwide ranked by ideXlab platform
Ichiro Hasuo - One of the best experts on this subject based on the ideXlab platform.
-
NFM - Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches.
Lecture Notes in Computer Science, 2020Co-Authors: Zhenya Zhang, Paolo Arcaini, Ichiro HasuoAbstract:Falsification of hybrid systems is attracting ever-growing attention in quality assurance of Cyber-Physical Systems (CPS) as a practical alternative to exhaustive formal verification. In falsification, one searches for a falsifying input that drives a given black-box model to output an undesired signal. In this paper, we identify input constraints—such as the constraint “the throttle and brake pedals should not be pressed simultaneously” for an automotive powertrain model—as a key factor for the practical value of falsification Methods. We propose three approaches for systematically addressing input constraints in optimization-based falsification, two among which come from the Lexicographic Method studied in the context of constrained multi-objective optimization. Our experiments show the approaches’ effectiveness.
Mohamad Ali Forghani - One of the best experts on this subject based on the ideXlab platform.
-
Demand Response Resources' Allocation in Security-Constrained Preventive Maintenance Scheduling via MODM Method
IEEE Systems Journal, 2017Co-Authors: Mojgan Mollahassani-pour, Masoud Rashidinejad, Amir Abdollahi, Mohamad Ali ForghaniAbstract:Security-constrained preventive maintenance (PM) scheduling is addressed as a crucial issue particularly coping with new challenges of smart grids. Under the smart grid environment, demand response resources (DRRs) are considered as virtual power plants in energy policy decisions, which affect the controllability of the power system, ranging from short term to long term. In this paper, an economic model of responsive loads is represented based upon price elasticity of demand and customers' benefit function. In order to investigate the impacts of DRRs on PM scheduling, a multiobjective security-constrained PM scheduling incorporating demand response programs (DRPs) is introduced. Total system expenditures, including operation and maintenance costs, reserve cost, and total incentive due to participating in DRPs, are contemplated as the first objective; and the second one is generated emissions over the scheduling time horizon. Utilizing the Lexicographic Method as one of the multiobjective decision-making techniques, the maintenance scheme, commitment status, energy and reserve scheduling are determined along the scheduling horizon. Furthermore, the actual potential for customers' participation in DRPs, optimum locations, and multifarious optimal incentive in per bus are also derived. Several analyses are carried out on the IEEE-RTS to confirm the capability of the proposed framework.
Enrique Cabrera-vicencio - One of the best experts on this subject based on the ideXlab platform.
-
Stochastic programming Methods in the response surface Methodology
Computational Statistics & Data Analysis, 2005Co-Authors: José A. Díaz-garcía, Rogelio Ramos-quiroga, Enrique Cabrera-vicencioAbstract:Considering the minimisation of an estimated second degree polynomial response surface model as a problem of stochastic programming, this article establishes the equivalent deterministic programs applying the so called E-model, V-model, P-model and minimax Methods. Similarly, after observing that some of the solutions by the techniques of stochastic programming coincide with the solution of a multiobjective optimisation problem, this paper proposes two alternative Methods for the solution of the stochastic optimisation of a second degree polynomial response surface model: (i) A Lexicographic Method, and (ii) A Method based on distances. An example is solved by means of the described techniques.
Zhenya Zhang - One of the best experts on this subject based on the ideXlab platform.
-
NFM - Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches.
Lecture Notes in Computer Science, 2020Co-Authors: Zhenya Zhang, Paolo Arcaini, Ichiro HasuoAbstract:Falsification of hybrid systems is attracting ever-growing attention in quality assurance of Cyber-Physical Systems (CPS) as a practical alternative to exhaustive formal verification. In falsification, one searches for a falsifying input that drives a given black-box model to output an undesired signal. In this paper, we identify input constraints—such as the constraint “the throttle and brake pedals should not be pressed simultaneously” for an automotive powertrain model—as a key factor for the practical value of falsification Methods. We propose three approaches for systematically addressing input constraints in optimization-based falsification, two among which come from the Lexicographic Method studied in the context of constrained multi-objective optimization. Our experiments show the approaches’ effectiveness.
V. Balasubramanian - One of the best experts on this subject based on the ideXlab platform.
-
Prediction and Optimization of Pulsed Current Gas Tungsten Arc Welding Process Parameters to Obtain Sound Weld Pool Geometry in Titanium Alloy Using Lexicographic Method
Journal of Materials Engineering and Performance, 2009Co-Authors: M. Balasubramanian, V. Jayabalan, V. BalasubramanianAbstract:In this article the weld pool geometry of pulsed current gas tungsten arc (GTA)-welded titanium alloy was analyzed. Increase in use of pulsed current process creates dependancy on the use of mathematical equations to predict the weld pool geometry. Hence, the development of mathematical models using four factors, five levels, central composite design was attempted. The developed models were checked for their adequacy. Lexicographic Method was used for optimizing the process parameters of pulsed current GTA welding technique. Optimizing the process parameters has resulted in bringing out strong weld pool geometry, which was later confirmed by conducting confirmation tests.