26
th th th SEAMS - GMU 2011 Yogyakarta - Indonesia, 12 - 15 July 2011 th th Proceedings of the 6 SEAMS-GMU International Conference on Mathematics and Its Applications th Mathematics and Its Applications in the Development of Sciences and Technology. Proceedings of the 6 SEAMS-GMU International Conference on Mathematics and Its Applications th Department of Mathematics Faculty of Mathematics & Natural Sciences Universitas Gadjah Mada Sekip Utara Yogyakarta - INDONESIA 55281 Phone : +62 - 274 - 552243 ; 7104933 Fax. : +62 - 274 555131 MATHEMATICS AND ITS APPLICATIONS IN THE DEVELOPMENT OF SCIENCES AND TECHNOLOGY International Conference on Mathematics and Its Applications The ISBN 978-979-17979-3-1

MATHEMATICS AND ITS APPLICATIONS IN THE …

  • Upload
    others

  • View
    1

  • Download
    0

Embed Size (px)

Citation preview

ththth

SEAMS - GMU 2011

Yogyakarta - Indonesia, 12 - 15 July 2011th th

Proceedings of the 6 SEAMS-GMU International Conference on Mathematics and Its Applications

th

Mathem

atics and Its Applications in the

Developm

ent of Sciences and Technology.

Proceedings of the 6 S

EA

MS

-GM

U International

Conference on M

athematics and Its A

pplications

th

Department of Mathematics

Faculty of Mathematics & Natural Sciences

Universitas Gadjah Mada

Sekip Utara Yogyakarta - INDONESIA 55281

Phone : +62 - 274 - 552243 ; 7104933

Fax. : +62 - 274 555131

MATHEMATICS AND ITS APPLICATIONS IN THE DEVELOPMENT OF SCIENCES AND TECHNOLOGY

International Conference on Mathematics and Its Applications

TheISBN 978-979-17979-3-1

PROCEEDINGS OF THE 6TH

SOUTHEAST ASIAN MATHEMATICAL SOCIETY

GADJAH MADA UNIVERSITY

INTERNATIONAL CONFERENCE ON MATHEMATICS

AND ITS APPLICATIONS 2011

Yogyakarta, Indonesia, 12th – 15th July 2011

DEPARTMENT OF MATHEMATICS

FACULTY OF MATHEMATICS AND NATURAL SCIENCES

UNIVERSITAS GADJAH MADA

YOGYAKARTA, INDONESIA

2012

Published by

Department of Mathematics

Faculty of Mathematics and Natural Sciences

Universitas Gadjah Mada

Sekip Utara, Yogyakarta, Indonesia

Telp. +62 (274) 7104933, 552243

Fax. +62 (274) 555131

PROCEEDINGS OF

THE 6TH SOUTHEAST ASIAN MATHEMATICAL SOCIETY-GADJAH MADA UNIVERSITY

INTERNATIONAL CONFERENCE ON MATHEMATICS AND ITS APPLICATIONS 2011

Copyright @ 2012 by Department of Mathematics, Faculty of Mathematics and

Natural Sciences, Universitas Gadjah Mada, Yogyakarta, Indonesia

ISBN 978-979-17979-3-1

PROCEEDINGS OF THE 6TH

SOUTHEAST ASIAN MATHEMATICAL SOCIETY-GADJAH MADA

UNIVERSITY

INTERNATIONAL CONFERENCE ON MATHEMATICS AND ITS

APPLICATIONS 2011

Chief Editor:

Sri Wahyuni

Managing Editor :

Indah Emilia Wijayanti Dedi Rosadi

Managing Team :

Ch. Rini Indrati Irwan Endrayanto A. Herni Utami Dewi Kartika Sari

Nur Khusnussa’adah Indarsih Noorma Yulia Megawati Rianti Siswi Utami

Hadrian Andradi

Supporting Team :

Parjilan Warjinah Siti Aisyah Emiliana Sunaryani Yuniastuti

Susiana Karyati Tutik Kristiastuti Sudarmanto

Tri Wiyanto Wira Kurniawan Sukir Widodo Sumardi

EDITORIAL BOARDS

Algebra, Graph and Combinatorics

Budi Surodjo

Ari Suparwanto

Analysis

Supama

Atok Zulijanto

Applied Mathematics

Fajar Adi Kusumo

Salmah

Computer Science

Edi Winarko

MHD. Reza M.I. Pulungan

Statistics and Finance

Subanar

Abdurakhman

LIST OF REVIEWERS

Abdurakhman

Universitas Gadjah Mada, Indonesia

Insap Santosa

Universitas Gadjah Mada, Indonesia

Achmad Muchlis

Institut Teknologi Bandung, Indonesia

Intan Muchtadi-Alamsyah

Institut Teknologi Bandung, Indonesia

Adhitya Ronnie Effendi

Universitas Gadjah Mada, Indonesia

Irawati

Institut Teknologi Bandung, Indonesia

Agus Buwono

Institut Pertanian Bogor, Indonesia

Irwan Endrayanto A.

Universitas Gadjah Mada, Indonesia

Agus Maman Abadi

Universitas Negeri Yogyakarta, Indonesia

Jailani

Universitas Negeri Yogyakarta, Indonesia

Agus Yodi Gunawan

Institut Teknologi Bandung, Indonesia

Janson Naiborhu

Institut Teknologi Bandung, Indonesia

Ari Suparwanto

Universitas Gadjah Mada, Indonesia

Joko Lianto Buliali

Institut Teknologi Sepuluh Nopember,

Indonesia

Asep. K. Supriatna

Universitas Padjadjaran, Indonesia

Khreshna Imaduddin Ahmad S.

Institut Teknologi Bandung, Indonesia

Atok Zulijanto

Universitas Gadjah Mada, Indonesia

Kiki Ariyanti Sugeng

Universitas Indonesia

Azhari SN

Universitas Gadjah Mada, Indonesia

Lina Aryati

Universitas Gadjah Mada, Indonesia

Budi Nurani

Universitas Padjadjaran, Indonesia

M. Farchani Rosyid

Universitas Gadjah Mada, Indonesia

Budi Santosa

Institut Teknologi Sepuluh Nopember, Indonesia

Mardiyana

Universitas Negeri Surakarta, Indonesia

Budi Surodjo

Universitas Gadjah Mada, Indonesia

MHD. Reza M. I. Pulungan

Universitas Gadjah Mada, Indonesia

Cecilia Esti Nugraheni

Universitas Katolik Parahyangan, Indonesia

Miswanto

Universitas Airlangga, Indonesia

Ch. Rini Indrati

Universitas Gadjah Mada, Indonesia

Netty Hernawati

Universitas Lampung, Indonesia

Chan Basarrudin

Universitas Indonesia

Noor Akhmad Setiawan

Universitas Gadjah Mada, Indonesia

Danardono

Universitas Gadjah Mada, Indonesia

Nuning Nuraini

Institut Teknologi Bandung, Indonesia

Dedi Rosadi

Universitas Gadjah Mada, Indonesia

Rieske Hadianti

Institut Teknologi Bandung, Indonesia

Deni Saepudin

Institut Teknologi Telkom, Indonesia

Roberd Saragih

Institut Teknologi Bandung, Indonesia

Diah Chaerani

Universitas Padjadjaran, Indonesia

Salmah

Universitas Gadjah Mada, Indonesia

Edy Soewono

Institut Teknologi Bandung, Indonesia

Siti Fatimah

Universitas Pendidikan Indonesia

Edy Tri Baskoro

Institut Teknologi Bandung, Indonesia

Soeparna Darmawijaya

Universitas Gadjah Mada, Indonesia

Edi Winarko

Universitas Gadjah Mada, Indonesia

Sri Haryatmi

Universitas Gadjah Mada, Indonesia

Endar H Nugrahani

Institut Pertanian Bogor, Indonesia

Sri Wahyuni

Universitas Gadjah Mada, Indonesia

Endra Joelianto

Institut Teknologi Bandung, Indonesia

Subanar

Universitas Gadjah Mada, Indonesia

Eridani

Universitas Airlangga, Indonesia

Supama

Universitas Gadjah Mada, Indonesia

Fajar Adi Kusumo

Universitas Gadjah Mada, Indonesia

Suryanto

Universitas Negeri Yogyakarta, Indonesia

Frans Susilo

Universitas Sanata Dharma, Indonesia

Suyono

Universitas Negeri Jakarta, Indonesia

Gunardi

Universitas Gadjah Mada, Indonesia

Tony Bahtiar

Institut Pertanian Bogor, Indonesia

Hani Garminia

Institut Teknologi Bandung, Indonesia

Wayan Somayasa

Universitas Haluoleo, Indonesia

Hartono

Universitas Negeri Yogyakarta, Indonesia

Widodo Priyodiprojo

Universitas Gadjah Mada, Indonesia

Hengki Tasman

Universitas Indonesia

Wono Setyo Budhi

Institut Teknologi Bandung, Indonesia

I Wayan Mangku

Institut Pertanian Bogor, Indonesia

Yudi Soeharyadi

Institut Teknologi Bandung, Indonesia

Indah Emilia Wijayanti

Universitas Gadjah Mada, Indonesia

PREFACE

It is an honor and great pleasure for the Department of Mathematics –

Universitas Gadjah Mada, Yogyakarta – INDONESIA, to be entrusted by the

Southeast Asian Mathematical Society (SEAMS) to organize an international

conference every four years. Appreciation goes to those who have developed and

established this tradition of the successful series of conferences. The SEAMS -

Gadjah Mada University (SEAMS-GMU) 2011 International Conference on

Mathematics and Its Applications took place in the Faculty of Mathematics and

Natural Sciences of Universitas Gadjah Mada on July 12th – 15th, 2011. The

conference was the follow up of the successful series of events which have been

held in 1989, 1995, 1999, 2003 and 2007.

The conference has achieved its main purposes of promoting the exchange

of ideas and presentation of recent development, particularly in the areas of pure,

applied, and computational mathematics which are represented in Southeast Asian

Countries. The conference has also provided a forum of researchers, developers,

and practitioners to exchange ideas and to discuss future direction of research.

Moreover, it has enhanced collaboration between researchers from countries in the

region and those from outside.

More than 250 participants from over the world attended the conference.

They come from USA, Austria, The Netherlands, Australia, Russia, South Africa,

Taiwan, Iran, Singapore, The Philippines, Thailand, Malaysia, India, Pakistan,

Mongolia, Saudi Arabia, Nigeria, Mexico and Indonesia. During the four days

conference, there were 16 plenary lectures and 217 contributed short

communication papers. The plenary lectures were delivered by Halina France-

Jackson (South Africa), Jawad Y. Abuihlail (Saudi Arabia), Andreas Rauber (Austria),

Svetlana Borovkova (The Netherlands), Murk J. Bottema (Australia), Ang Keng Cheng

(Singapore), Peter Filzmoser (Austria), Sergey Kryzhevich (Russia), Intan Muchtadi-

Alamsyah (Indonesia), Reza Pulungan (Indonesia), Salmah (Indonesia), Yudi

Soeharyadi (Indonesia), Subanar (Indonesia) Supama (Indonesia), Asep K. Supriatna

(Indonesia) and Indah Emilia Wijayanti (Indonesia). Most of the contributed papers

were delivered by mathematicians from Asia.

We would like to sincerely thank all plenary and invited speakers who

warmly accepted our invitation to come to the Conference and the paper

contributors for their overwhelming response to our call for short presentations.

Moreover, we are very grateful for the financial assistance and support that we

received from Universitas Gadjah Mada, the Faculty of Mathematics and Natural

Sciences, the Department of Mathematics, the Southeast Asian Mathematical

Society, and UNESCO.

We would like also to extend our appreciation and deepest gratitude to all

invited speakers, all participants, and referees for the wonderful cooperation, the

great coordination, and the fascinating efforts. Appreciation and special thanks are

addressed to our colleagues and staffs who help in editing process. Finally, we

acknowledge and express our thanks to all friends, colleagues, and staffs of the

Department of Mathematics UGM for their help and support in the preparation

during the conference.

The Editors

October, 2012

CONTENTS

Title i Publisher and Copyright ii Managerial Boards iii Editorial Boards iv List of Reviewers v Preface vii Paper of Invited Speakers On Things You Can’t Find : Retrievability Measures and What to do with Them ……............... 1 Andreas Rauber and Shariq Bashir

A Quasi-Stochastic Diffusion-Reaction Dynamic Model for Tumour Growth ..……................... 9 Ang Keng Cheng

*-Rings in Radical Theory ...………………………………………………..................................................... 19 H. France-Jackson

Clean Rings and Clean Modules ...………………………………………................................................... 29 Indah Emilia Wijayanti

Research on Nakayama Algebras ……...…………………………………................................................. 41 Intan Muchtadi-Alamsyah

Mathematics in Medical Image Analysis: A Focus on Mammography ...…............................... 51 Murk J. Bottema, Mariusz Bajger, Kenny MA, Simon Williams

The Order of Phase-Type Distributions ..………………………………….............................................. 65 Reza Pulungan

The Linear Quadratic Optimal Regulator Problem of Dynamic Game for Descriptor System… 79 Salmah

Chaotic Dynamics and Bifurcations in Impact Systems ………………........................................... 89 Sergey Kryzhevich

Contribution of Fuzzy Systems for Time Series Analysis ……………….......................................... 121 Subanar and Agus Maman Abadi

Contributed Papers Algebra

Degenerations for Finite Dimensional Representations of Quivers ……................................... 137 Darmajid and Intan Muchtadi-Alamsyah

On Sets Related to Clones of Quasilinear Operations …...……………………………………………………. 145 Denecke, K. and Susanti, Y.

Normalized H Coprime Factorization for Infinite-Dimensional Systems …………………………… 159 Fatmawati, Roberd Saragih, Yudi Soeharyadi

Construction of a Complete Heyting Algebra for Any Lattice ………………………………………………. 169 Harina O.L. Monim, Indah Emilia Wijayanti, Sri Wahyuni

The Fuzzy Regularity of Bilinear Form Semigroups …………………………………………………..…………. 175 Karyati, Sri Wahyuni, Budi Surodjo, Setiadji

The Cuntz-Krieger Uniqueness Theorem of Leavitt Path Algebras ………………………………………. 183 Khurul Wardati, Indah Emilia Wijayanti, Sri Wahyuni

Application of Fuzzy Number Max-Plus Algebra to Closed Serial Queuing Network with

Fuzzy Activitiy Time ………………………………………………………………………………………………..…………… 193 M. Andy Rudhito, Sri Wahyuni, Ari Suparwanto, F. Susilo

Enumerating of Star-Magic Coverings and Critical Sets on Complete Bipartite Graphs………… 205 M. Roswitha, E. T. Baskoro, H. Assiyatun, T. S. Martini, N. A. Sudibyo

Construction of Rate s/2s Convolutional Codes with Large Free Distance via Linear System

Approach ………………………………………………………………………………………………........…………………….. 213 Ricky Aditya and Ari Suparwanto

Characteristics of IBN, Rank Condition, and Stably Finite Rings ………....................................... 223 Samsul Arifin and Indah Emilia Wijayanti

The Eccentric Digraph of n mP P Graph ………………………………………………………………….….……… 233 Sri Kuntarti and Tri Atmojo Kusmayadi

On M -Linearly Independent Modules ……………………………………………………………………….......... 241 Suprapto, Sri Wahyuni, Indah Emilia Wijayanti, Irawati

The Existence of Moore Penrose Inverse in Rings with Involution …........................................ 249 Titi Udjiani SRRM, Sri Wahyuni, Budi Surodjo

Analysis

An Application of Zero Index to Sequences of Baire-1 Functions ………….................................. 259 Atok Zulijanto

Regulated Functions in the n-Dimensional Space ……………………....................….....................… 267 Ch. Rini Indrati

Compactness Space Which is Induced by Symmetric Gauge ……..........................………………... 275 Dewi Kartika Sari and Ch. Rini Indrati

A Continuous Linear Representation of a Topological Quotient Group …................................ 281 Diah Junia Eksi Palupi, Soeparna Darmawijaya, Setiadji, Ch. Rini Indrati

On Necessary and Sufficient Conditions for L into 1 Superposition Operator ……...………... 289 Elvina Herawaty, Supama, Indah Emilia Wijayanti

A DRBEM for Steady Infiltration from Periodic Flat Channels with Root Water Uptake ……….. 297 Imam Solekhudin and Keng-Cheng Ang

Boundedness of the Bimaximal Operator and Bifractional Integral Operators in Generalized

Morrey Spaces …………………………………...................................................................................... 309 Wono Setya Budhi and Janny Lindiarni

Applied Mathematics

A Lepskij-Type Stopping-Rule for Simplified Iteratively Regularized Gauss-Newton Method.. 317 Agah D. Garnadi

Asymptotically Autonomous Subsystems Applied to the Analysis of a Two-Predator One-

Prey Population Model ............................................................................................................. 323 Alexis Erich S. Almocera, Lorna S. Almocera, Polly W.Sy

Sequence Analysis of DNA H1N1 Virus Using Super Pair Wise Alignment .............................. 331 Alfi Yusrotis Zakiyyah, M. Isa Irawan, Maya Shovitri

Optimization Problem in Inverted Pendulum System with Oblique Track ……………………………. 339 Bambang Edisusanto, Toni Bakhtiar, Ali Kusnanto

Existence of Traveling Wave Solutions for Time-Delayed Lattice Reaction-Diffusion Systems 347 Cheng-Hsiung Hsu, Jian-Jhong Lin, Ting-Hui Yang

Effect of Rainfall and Global Radiation on Oil Palm Yield in Two Contrasted Regions of Sumatera, Riau and Lampung, Using Transfer Function ..........................................................

365

Divo D. Silalahi, J.P. Caliman, Yong Yit Yuan

Continuously Translated Framelet............................................................................................ 379 Dylmoon Hidayat

Multilane Kinetic Model of Vehicular Traffic System ............................................................. 386 Endar H. Nugrahani

Analysis of a Higher Dimensional Singularly Perturbed Conservative System: the Basic

Properties ….............................................................................................................................. 395 Fajar Adi Kusumo

A Mathematical Model of Periodic Maintence Policy based on the Number of Failures for

Two-Dimensional Warranted Product ..…................................................................................. 403 Hennie Husniah, Udjianna S. Pasaribu, A.H. Halim

The Existence of Periodic Solution on STN Neuron Model in Basal Ganglia …………………………. 413 I Made Eka Dwipayana

Optimum Locations of Multi-Providers Joint Base Station by Using Set-Covering Integer

Programming: Modeling & Simulation ….................................................................................. 419 I Wayan Suletra, Widodo, Subanar

Expected Value Approach for Solving Multi-Objective Linear Programming with Fuzzy

Random Parameters …..................................................................................................... ......... 427 Indarsih, Widodo, Ch. Rini Indrati

Chaotic S-Box with Piecewise Linear Chaotic Map (PLCM) ...................................................... 435 Jenny Irna Eva Sari and Bety Hayat Susanti

Model of Predator-Prey with Infected Prey in Toxic Environment .......................................... 449 Lina Aryati and Zenith Purisha

On the Mechanical Systems with Nonholonomic Constraints: The Motion of a Snakeboard

on a Spherical Arena ………………………………………..……………………................................................ 459 Muharani Asnal and Muhammad Farchani Rosyid

Safety Analysis of Timed Automata Hybrid Systems with SOS for Complex Eigenvalues …….. 471 Noorma Yulia Megawati, Salmah, Indah Emilia Wijayanti

Global Asymptotic Stability of Virus Dynamics Models and the Effects of CTL and Antibody Responses ………………………………………………………………………………….……………………………………….. 481

Nughtoth Arfawi Kurdhi and Lina Aryati

A Simple Diffusion Model of Plasma Leakage in Dengue Infection …………………………..………… 499 Nuning Nuraini, Dinnar Rachmi Pasya, Edy Soewono

The Sequences Comparison of DNA H5N1 Virus on Human and Avian Host Using Tree

Diagram Method …………………………………..……………………………………………………………..…………….. 505 Siti Fauziyah, M. Isa Irawan, Maya Shovitri

Fuzzy Controller Design on Model of Motion System of the Satellite Based on Linear Matrix

Inequality …………………………………………………………………….…………….…………..…….……………………..

515 Solikhatun and Salmah

Unsteady Heat and Mass Transfer from a Stretching Suface Embedded in a Porous Medium

with Suction/injection and Thermal Radiation Effects…………………………………………………………. 529 Stanford Shateyi and Sandile S Motsa

Level-Set-Like Method for Computing Multi-Valued Solutions to Nonlinear Two Channels

Dissipation Model ……………………………………………………………………………….....………………………….. 547 Sumardi, Soeparna Darmawijaya, Lina Aryati, F.P.H. Van Beckum

Nonhomogeneous Abstract Degenerate Cauchy Problem: The Bounded Operator on the

Nonhomogen Term ………………………………………………………………………..…………………..……………… 559 Susilo Hariyanto, Lina Aryati,Widodo

Stability Analysis and Optimal Harvesting of Predator-Prey Population Model with Time

Delay and Constant Effort of Harvesting ………………………………………………………..……………………. 567 Syamsuddin Toaha

Dynamic Analysis of Ethanol, Glucose, and Saccharomyces for Batch Fermentation ………….. 579 Widowati, Nurhayati, Sutimin, Laylatusysyarifah

Computer Science, Graph and Combinatorics

Survey of Methods for Monitoring Association Rule Behav ior ............................. 589 Ani Dijah Rahajoe and Edi Winarko

A Comparison Framework for F ingerprint Recognition Methods . . . . . . . . . . . . . . . . . . . . 601 Ary Noviyanto and Reza Pulungan

The Global Behav ior of Certa in Turing System …………………. ..................................... 615 Janpou Nee

Logic Approach Towards Formal Verif ication of Cryptographic Protocol . . . . . . . . . 621 D.L. Crispina Pardede, Maukar, Sulistyo Puspitodjati

A Framework for an LTS Semantics for Promela ….. . . . . . . . . . . . . . .. . . . . . . .. . . . . . .. . . . . . . .. . . 631 Suprapto and Reza Pulungan

Mathematics Education

Modelling On Lecturers’ Performance with Hotteling-Harmonic-Fuzzy …................................ 647 H. A. Parhusip and A. Setiawan

Differences in Creativity Qualities Between Reflective and Impulsive Students in Solving

Mathematics …………………......................................……...................…………………........................ 659 Warli

Statistics and Finance

Two-Dimensional Warranty Policies Using Copula ...…………...................………………………………. 671 Adhitya Ronnie Effendie

Consistency of the Bootstrap Estimator for Mean Under Kolmogorov Metric and Its

Implementation on Delta Method ……................................………………….................................. 679 Bambang Suprihatin, Suryo Guritno, Sri Haryatmi

Multivariate Time Series Analysis Using RcmdrPlugin.Econometrics and Its Application for

Finance ..................................................................................................................................... 689 Dedi Rosadi

Unified Structural Models and Reduced-Form Models in Credit Risk by the Yield Spreads …. 697 Di Asih I Maruddani, Dedi Rosadi, Gunardi, Abdurakhman

The Effect of Changing Measure in Interest Rate Models …….…....................…....................... 705 Dina Indarti, Bevina D. Handari, Ias Sri Wahyuni

New Weighted High Order Fuzzy Time Seriesfor Inflation Prediction ……................................ 715 Dwi Ayu Lusia and Suhartono

Detecting Outlier in Hyperspectral Imaging UsingMultivariate Statistical Modeling and

Numerical Optimization ………………………………………...........................................……………......... 729 Edisanter Lo

Prediction the Cause of Network Congestion Using Bayesian Probabilities ............................. 737 Erwin Harapap, M. Yusuf Fajar, Hiroaki Nishi

Solving Black-Scholes Equation by Using Interpolation Method with Estimated Volatility……… 751 F. Dastmalchisaei, M. Jahangir Hossein Pour, S. Yaghoubi

Artificial Ensemble Forecasts: A New Perspective of Weather Forecast in Indonesia ............... 763 Heri Kuswanto

Second Order Least Square for ARCH Model …………………………....................………………............. 773 Herni Utami, Subanar, Dedi Rosadi, Liqun Wang

Two Dimensional Weibull Failure Modeling ……………………..…..................……….......................... 781 Indira P. Kinasih and Udjianna S. Pasaribu

Simulation Study of MLE on Multivariate Probit Models …......................................................... 791 Jaka Nugraha

Clustering of Dichotomous Variables and Its Application for Simplifying Dimension of

Quality Variables of Building Reconstruction Process ............................................................. 801 Kariyam

Valuing Employee Stock Options Using Monte Carlo Method ……………................................. 813 Kuntjoro Adji Sidarto and Dila Puspita

Classification of Epileptic Data Using Fuzzy Clustering .......................................................... 821 Nazihah Ahmad, Sharmila Karim, Hawa Ibrahim, Azizan Saaban, Kamarun Hizam

Mansor

Recommendation Analysis Based on Soft Set for Purchasing Products ................................. 831 R.B. Fajriya Hakim, Subanar, Edi Winarko

Heteroscedastic Time Series Model by Wavelet Transform ................................................. 849 Rukun Santoso, Subanar, Dedi Rosadi, Suhartono

Parallel Nonparametric Regression Curves ............................................................................ 859 Sri Haryatmi Kartiko

Ordering Dually in Triangles (Ordit) and Hotspot Detection in Generalized Linear Model for

Poverty and Infant Health in East Java ……................................…………………………………………. 865 Yekti Widyaningsih, Asep Saefuddin, Khairil Anwar Notodiputro, Aji Hamim Wigena

Empirical Properties and Mixture of Distributions: Evidence from Bursa Malaysia Stock

Market Indices …………………....................................................................................................... 879 Zetty Ain Kamaruzzaman, Zaidi Isa, Mohd Tahir Ismail An Improved Model of Tumour-Immune System Interactions …………………………………………….. 895 Trisilowati, Scott W. Mccue, Dann Mallet

79

Proceedings of ”The 6th

SEAMS-UGM Conference 2011”

pp. 79 - 88

QUADRATIC OPTIMAL REGULATOR PROBLEM OF

DYNAMIC GAME FOR DESCRIPTOR SYSTEM

SALMAH

Abstract. In this paper the noncooperative linear quadratic game problem will be

considered. We present necessary and sufficient conditions for existence of optimal strategy for linear quadratic continuous non-zero-sum two player dynamic games for index

one descriptor system. The connection of the game solution with solution of couple Riccati

equation will be studied. In noncooperative game with open loop structure, we study Nash solution of the game. If the second player is allowed to select his strategy first, he is called

the leader of the game and the first player who select his strategy at the second time is

called the follower.A stackelberg strategy is the optimal strategy for the leader under the assumption that the follower reacts by playing optimally. Keywords and Phrases : Dynamic, game, noncooperative, descriptor, system

1. INTRODUCTION

Dynamic game theory brings three keys to many situations in economy, ecology, and

elsewhere: optimizing behavior, multiple agents presence, and decisions consequences.

Therefore this theory has been used to study various policy problems especially in macro-

economic. In applications one often encounters systems described by differential equations

system subject to algebraic constraints. The descriptor systems, gives a realistic model for this

systems.

In policy coordination problems, questions arise, are policies coordinated and which

information do the parties have. One scenario is noncooperative open-loop game. According

this, the parties can not react to each other’s policies, and the only information that the

players know is the model structure and initial state.

In this paper we will consider a linear open-loop dynamic game in which the player

satisfy a linear descriptor system and minimize quadratic objective function. For finite

horizon problem, solution of generalized Riccati differential equation is studied. If the

planning horizon is extended to infinity the differential Riccati equation will become an

algebraic Riccati equation.

80 SALMAH

2. PRELIMINARIES

The players are assumed to minimize the performance criteria:

,)()()()(2

1)()(

2

1),...,,(

0 1

21 dttuRtutxQtxTExKETxuuuJ

T n

j

jij

T

ji

T

iT

TT

ni

(2.1)

with all matrices symmetric. Furthermore and semi positive definite and positive

definite, where the players give control vector to the system

, (2.2)

( ) .

with

, x(t) descriptor

vector n dimension. While ui(t), i=1,…,n are control vector dimension which is done by i-

th player, i=1,…,n. Matrix E generally singular with rank

Below is definition for Nash equilibrium strategy.

Definition2.1.The pair (

) is called Nash equilibrium strategy if

(

) ( )

(

) ( )

for all admissible strategies , .

If the second player is allowed to select his strategy first, he is called the leader of the

game and the first player who select his strategy at the second time is called the follower. A

stackelberg strategy is the optimal strategy for the leader under the assumption that the

follower reacts by playing optimally.

Assumption which is needed will be given.

Assumption 2.1:Descriptor system (1) regular, impulse controllable and finite dynamic

stabilizable which satisfy

(i). | | , except for a finite number of ,

(ii). ( ) ( ) ,

(iii). ( | ) [ ]

3. NASH EQUILIBRIUM OF DESCRIPTOR GAME

The To derive necessary condition of opnimal Nash solution we need the Hamiltonian

functions as follow.

( )

(

)

( ),

( )

(

)

( ),

With Lagrange multiplier method as in [11] we get necessary conditions for objective

function to be optimal in the Nash sense are

,

,

i=1,2. (3.1)

Substitute these equations to (1) yields

Quadratic Optimal Regulator Problem of Dynamic Game for Descriptor System 81

( ) ( ) ( ) (3.2)

and

with i=1,2. (3.3)

The boundary conditions are

( ) and ( ) ( ). (3.4)

From necessary condition of optimal Nash solution we get optimal strategies for 2

players dynamic game are ( ) with satisfy (3.2) and boundary

conditions(3.4), i=1,2.

We can write in matrix form and get

(

)(

( ) ( )

( )) (

)(

( ) ( )

( )) , (3.5)

with boundary conditions (3.4) . System (3.5) can be written in descriptor form as

. If ( ) regular, system (3.5) will have solution (see [11]). We need the

following assumptions for equation (3.5).

Assumption 3.1: Descriptor system (3.5) is regular and impulse free i.e

( ) .

If Assumption 3.1 is satisfied then system (3.5) will be regular and impulse controllable.

For 2 players linear quadratic dynamic game define 2 generalized differential Riccati

equation as follow

with

with boundary condition

( ) (3.6)

The following theorem concern with relationship between the existence of dynamic

game solution and generalized Riccati differential equation (3.6).

Theorem 3.1: The two player linear quadratic discrete dynamic game (2.1), (2.2) has, for

every consistent initial state, a Nash equilibrium if the set of differenttial Riccati equation

(3.6) has a set of solutions on [0,T].

Moreover the optimal feedback Nash equilibrium is given by

( )

( ) ( ), ( )

( ) ( ), where x(t) is a solution of the closed loop system

( ) (

( )

( )) ( ) ( )

PROOF: Let the player choose strategy

( )

( ) ( ), ( )

( ) ( ), to control system (3.1), (3.2) with ( ) ( ) solusion of(3.6).

Define ( ) ( ) ( ), and ( ) ( ) ( ), we get

)()()()()( 111 txtKEtxtKEtE TTT ,

)()()()()( 222 txtKEtxtKEtE TTT .

From (2.2) we get

82 SALMAH

)()()()()( 22

1

22211

1

111 txtKBRBtxtKBRBtAxxE TT ,

Therefore we get

xtKExKBRBLxKBRBLxQAxLxKAtE TTTTT )()( 122

1

222111

1

11111111

xELxKBRBLxKBRBLxQAxLxKA TTT 122

1

222111

1

1111111

xKBRBLxKBRBLxQAxLxKA TTT

22

1

222111

1

1111111

xKBRBLxKBRBLAxL TT

22

1

222111

1

11111

)()(11

txQtxKAT ,

and with same reason we get

)()()(222

txQtxKAtE TT .

This two equation has solution.

For 2 players infinite time linear quadratic dynamic game the players satisfy system (1).

Objective function to be minimized are in the form

,)()()()(2

1),(

0

2

1

21 dttuRtutxQtxuuJj

jij

T

ji

T

i

i=1,2 (3.7)

with all matrices symmetric. Furthermore and semi positive definite and positive

definite.

Generalized algebraic Riccati equation for 2 players infinite time problem that related

with Nash equilibrium are

(3.8)

with .

It can be proved that Theorem 1 will also be satisfied for optimal control for infinite

time problem, therefore we get the optimal Nash have form ( )

( ) ( ), with are constant matrices, solution of (3.8).

4. STACKELBERG EQUILIBRIUM OF DESCRIPTOR GAME

To derive necessary condition of opnimal Nash solution we need the Hamiltonian functions

for the follower is.

( )

(

)

( ),

With Lagrange multiplier method as in [11] we get necessary conditions for objective

function for the follower to be optimal is

,

,

i=1,2. (4.1)

From the first equation of (4.1) we get

( ) ( ) ( ). (4.2)

From the second equation of (4.2) we get the optimal control for the follower is

. (4.3)

The boundary conditions are

Quadratic Optimal Regulator Problem of Dynamic Game for Descriptor System 83

( ) and ( ) ( ). (4.4)

For the second player as the leader define Hamiltonian

( )

(

)

( ). (4.5)

Let get deridative of (4.4) to ( ) we get

. (4.6)

Let get deridative of (4.4) to ( ) we get

. (4.7)

With the second player as the leader let the Hamiltonian is

( )

(

)

( )

(

),

or

( )

(

)

( )

( ) (

). (4.8)

Let get derivative of (4.8) to x we get

( ) ( ) ( ) ( ). (4.9)

Let get derivative of (4.8) to we get

(

). (4.10)

Let get derivative of (4.8) to we get

. (4.11)

Let get derivative of (4.8) to we get

. (4.12)

Substitute (4.9) to (4.12) we get

. (4.13)

Substitute (4.3) to (4.13) we get

. (4.14)

From necessary condition of optimal Stackelberg solution we get optimal strategies for 2

players dynamic game are ( ) with satisfy (4.2), (4.8) and (4.13) and

boundary conditions(4.4), i=1,2.

We can write in matrix form and get

2

1

12

1

121

21

2

1

0

00

0

0

000

000

000

000

x

AQQ

AQ

SSA

SSAx

E

E

E

E

T

T

T

T

T

(4.15)

with boundary conditions (4.4) . System (4.15) can be written in descriptor form as .

If ( ) regular, system (4.15) will have solution. We need the following assumptions for

equation (4.15).

Assumption 4.1: Descriptor system (4.15) is regular and impulse free i.e

( ) .

If Assumption 4.1 is satisfied then system (4.15) will be regular and impulse

84 SALMAH

controllable.

For 2 players Stackelberg linear quadratic dynamic game define generalized differential

Riccati equation as follow

with

.

with boundary condition

( ) , ( ) . (4.16)

The following theorem concern with relationship between the existence of dynamic

game solution and generalized Riccati differential equation (4.16).

Theorem 4.1: The two player linear quadratic discrete dynamic game (2.1), (2.2) has, for

every consistent initial state, a Stackelberg equilibrium if the set of differenttial Riccati

equation (4.16) has a set of solutions on [0,T].

Moreover the optimal feedback Nash equilibrium is given by

( )

( ) ( ), ( )

( ) ( ) Where x(t) is a solution of the closed loop system

( ) (

( )

( )) ( ) ( ) .

PROOF: Let , and . We get . Substitute this to

(4.2) and because we get the first equation of (4.16). Because

substitute to (4.9) and because we get the second equation of (4.16). Because

, substitute to (4.14) we get the third equation of (4.16).

Generalized algebraic Riccati equation for 2 players infinite time problem that related

with Nash equilibrium are

With . (4.17)

5. NUMERICAL EXAMPLE

We will give numerical example to find optimal Nash solution of game by try to find ARE

solution. Consider system

,0

1

1

0

01

10

00

0121

2

1

2

1uu

x

x

x

x

(4.18)

101 )0( xx , 202 )0( xx

.

For the cost function, given

.1,2,1,11

10,

10

01212121

RRRQQ

We will find solution of the generalized algebraic Riccati equation (4.18) to get optimal

Nash of the game.

Because , we have

Quadratic Optimal Regulator Problem of Dynamic Game for Descriptor System 85

)1,1()1,1( 11 LK ,

0)1,2(1 L,

0)2,1(1 K.

Because we have

)1,1()1,1( 22 LK ,

0)1,2(2 L,

0)2,1(2 K.

Substitute the result to first algebraic Riccati equation (3.8) will give the following equations.

,0)1,1()1,1(2

1)1,2()2,1(1)2,1()1,2( 211111 KLKLLK

(4.19)

,0)2,2()2,1()1,1()2,2( 1111 KLLK (4.20)

,0)1,2()2,2()2,2()1,1( 1111 KLLK (4.21)

0)2,2()2,2(1 11 KL. (4.22)

Take ( ) , we get ( )

and based on (4.21), we get

1)1,1()1,2( 11 aKK. (4.23)

Based on (4.22) we get

)1,1(1

1)2,1( 11 Ka

L . (4.24)

Substitute (4.23), (4.24) to (4.19) give

02)1,1(2

3)1,1(

2

1 2

11 KK. (4.25)

Because of the second algebraic Riccati equation we get

,0)1,1()1,1(2

1)1,2()2,1()2,1()1,2( 221222 KLKLLK

(4.26)

,01)2,2()2,1()1,1()2,2( 1222 KLLK (4.27)

,01)1,2()2,2()2,2()1,1( 1222 KLLK (4.28)

.0)2,2()2,2(1 12 KL (4.29)

Based on (4.29) and because of ( ) , give ( )

. Based on (4.27) and

(4.28) we get ( ) ( ) ( ) and ( ) ( ) . Let L2(1,2)=b we

get ( ) ( ) Because ( ) ( ) ( ) , ( ) ( ) and based on (4.27)

we get

)1,1(2

1)1,1()1,2( 2

212 KabKK . (4.30)

Based on (4.29), (4.26) and (4.27) we get

2

112 )1,1(12

1)1,1()1,2( KabKK

. (4.31)

Therefore we have

86 SALMAH

,1)1,1(

0)1,1(

1

1

1

aaK

KK N

(4.32)

Let K2(2,1)=c we can write

,)1,1(

0)1,1(1

1

1

2

Kabc

KK N

(4.33)

where ( ) and ( ) can be found from (4.24) and (4.30). Solution for ( ),

( )are ( )

. Take ( )

we get ( )

.

Optimal Nash control gain for the players is given by

aa

K N

13

4

03

4

1

3

4

18

1

3

4

03

41

2

abab

K N

. (4.34)

Now we will find the Stackelberg equilibrium of the game. Because we get

. From the first Riccati equation (4.17) we get (4.19)-(4.22). From the second

Riccati (4.17) we get

,0)1,1()1,1(2

1)1,2()2,1()1,1()2,1()1,2( 221222 KLKLPLK

(4.35)

,01)2,2()2,1()1,1()2,2( 1222 KLLK (4.36)

,01)1,2()2,2()2,2()1,1( 1222 KLLK (4.37)

.0)2,2()2,2(1)2,2( 12 KLP (4.38)

From the third Riccati equation (4.17) we get

,0)1,2()1,1()1,2()1,1()1,1()1,1(2

122111 KKKKKP

(4.39)

,0)2,2()2,2()2,2()1,1( 21 KKPP (4.40)

,0)1,2()1,1()1,2()1,1()1,2()2,2()1,1()2,2( 22111 KKKKKPPP(4.41)

.0)2,2()2)2,2()(2,2( 21 KPK (4.42)

Take ( ) , we get from (4.22) ( )

. From (4.21) we get

( ) ( ) .

From (4.20) we get

( )

( ).

Take ( ) From (4.38) and because ( ) we get

( )

.

From (4.42) we get

( ) ( ). Take ( ) , from (4.36) we get

( ) ( ) .

Quadratic Optimal Regulator Problem of Dynamic Game for Descriptor System 87

From (4.42) we get

( )( ) ( ) .

From (4.35) we get

( ) ( )

( ( ))

( ). (4.43)

From (4.40) we get

( ) ( ) .

From (4.39) and (4.41) we get

( )

.

From (4.39) and (4.43) we get

( ) ( ( )

( ( ))

( ))

( ) ( ) ( ) ( ). (4.44)

Therefore we can find ( ) from (4.44). Let ( ) . From (4.39) we can get

( ). Let ( ) . Then we get optimal Stackelberg for the game is given by

(

( ) ), (

( )

).

6. CONCLUDING REMARK

This paper consider 2 player non-zero-sum linear quadratic dynamic game with descriptor

systems for finite horizon and infinite horizon case. Necessary condition for the existence of a

Nash equilibrium and Stackelberg equilibrium have been derived with Hamiltonian method.

The paper also consider 2 couple Riccati-type differential equation for finite horizon case and

algebraic Riccati equation for infinite horizon case related with Nash equilibrium and

Stackelberg equilibrium.

References

[1] BASAR, T., AND OLSDER, G.J., Dynamic Noncooperative Game Theory, second Edition,

Academic Press, London, San Diego, 1995.

[2] DAI, L., Singular Control Systems, Springer Verlag, Berlin, 1989. [3] ENGWERDA, J., On the Open-loop Nash Equilibrium in LQ-games, Journal of Economic

Dynamics and Control, Vol. 22, 729-762, 1998.

[4] ENGWERDA, J.C., LQ Dynamic Optimization and Differential Games, Chichester: John

Wiley & Sons, 229-260, 2005.

[5] KATAYAMA, T., AND MINAMINO, K., Linear Quadratic Regular and Spectral

Factorization for Continuous Time Descriptor Systems, Proceedings of the 31st

Conference on decision and Control, Tucson, Arizona, 967-972, 1992.

88 SALMAH

[6] LEWIS, F.L., A survey of Linear Singular Systems, Circuits System Signal Process,

vol.5, no.1, 3-36, 1986.

[7] MINAMINO, K., The Linear Quadratic Optimal Regulator and Spectral Factorization for

Descriptor Systems, Master Thesis, Department of Applied Mathematics and Physics,

Faculty of Engineering, Kyoto University, 1992.

[8] MUKAIDANI, H. AND XU, H., Nash Strategies for Large Scale Interconnected Systems,

43rd IEEE Conference on Decision and Control Bahamas, 2004, pp 4862-4867.

[9] SALMAH, BAMBANG, S., NABABAN, S.M., AND WAHYUNI, S., Non-Zero-Sum Linear

Quadratic Dynamic Game with Descriptor Systems, Proceeding Asian Control

Conference, Singapore, pp 1602-1607, 2002.

[10] SALMAH, N-Player Linear Quadratic Dynamic Game for Descriptor System,

Proceeding of International Conference Mathematics and its Applications SEAMS-

GMU, Gadjah Mada University, Yogyakarta, Indonesia, 2007.

[11] XU, H., AND MIZUKAMI, K., Linear Quadratic Zero-sum Differential Games for

Generalized State Space Systems, IEEE Transactions on Automatic Control, Vol. 39

No.1, January, 1994, 143-147,1994.

SALMAH

Department of Mathematics Gadjah Mada University

e-mail: [email protected]