Computer Aided Systems Theory – EUROCAST 2017: 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II PDF
Preview Computer Aided Systems Theory – EUROCAST 2017: 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II
Roberto Moreno-Díaz Franz Pichler Alexis Quesada-Arencibia (Eds.) Computer Aided 2 7 6 Systems Theory – 0 1 S C EUROCAST 2017 N L 16th International Conference Las Palmas de Gran Canaria, Spain, February 19–24, 2017 Revised Selected Papers, Part II 123 Lecture Notes in Computer Science 10672 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, Lancaster, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Friedemann Mattern ETH Zurich, Zurich, Switzerland John C. Mitchell Stanford University, Stanford, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen TU Dortmund University, Dortmund, Germany Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max Planck Institute for Informatics, Saarbrücken, Germany More information about this series at http://www.springer.com/series/7407 í Roberto Moreno-D az Franz Pichler (cid:129) Alexis Quesada-Arencibia (Eds.) Computer Aided – Systems Theory EUROCAST 2017 16th International Conference – Las Palmas de Gran Canaria, Spain, February 19 24, 2017 Revised Selected Papers, Part II 123 Editors RobertoMoreno-Díaz Alexis Quesada-Arencibia University of LasPalmas deGran Canaria University of LasPalmas deGran Canaria LasPalmas deGran Canaria LasPalmas deGran Canaria Spain Spain FranzPichler JohannesKepler University Linz Linz Austria ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notesin Computer Science ISBN 978-3-319-74726-2 ISBN978-3-319-74727-9 (eBook) https://doi.org/10.1007/978-3-319-74727-9 LibraryofCongressControlNumber:2018930745 LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues ©SpringerInternationalPublishingAG2018 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow knownorhereafterdeveloped. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Thepublisher,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors give a warranty, express or implied, with respect to the material contained herein or for any errors or omissionsthatmayhavebeenmade.Thepublisherremainsneutralwithregardtojurisdictionalclaimsin publishedmapsandinstitutionalaffiliations. Printedonacid-freepaper ThisSpringerimprintispublishedbySpringerNature TheregisteredcompanyisSpringerInternationalPublishingAG Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland Preface The concept of CAST as a computer-aided systems theory was introduced by Franz Pichler in the late 1980s to refer to computer theoretical and practical development as toolsforsolvingproblemsinsystemscience.Itwasthoughtofasthethirdcomponent (theothertwobeingCADandCAM)requiredtocompletethepathfromcomputerand systems sciences to practical developments in science and engineering. Franz Pichler, of the University ofLinz, organized the first CASTworkshop in April 1988,which demonstrated the acceptance ofthe concepts by the scientific and technical community.Next,RobertoMoreno-Díaz,oftheUniversityofLasPalmasdeGranCanaria, joinedFranzPichler,motivatedandencouragedbyWernerSchimanovich,oftheUniversity ofVienna(presentHonoraryChairofEurocast),andtheyorganizedthefirstinternational meetingonCAST,(LasPalmasFebruary1989),underthenameEUROCAST1989.The event again proved to be a very successful gathering of systems theorists, computer sci- entists,andengineersfrommostEuropeancountries,NorthAmerica,andJapan. ItwasagreedthatEUROCASTinternationalconferenceswouldbeorganizedevery twoyears,alternatingbetweenLasPalmasdeGranCanariaandacontinentalEuropean location. Since 2001 the conference has been held exclusively in Las Palmas. Thus, successive EUROCAST meetings took place in Krems (1991), Las Palmas (1993), Innsbruck (1995), Las Palmas (1997), and Vienna (1999), before being held exclu- sively in Las Palmas in 2001, 2003, 2005, 2007, 2009, 2011, 2013, and 2015, in addition to an extra-European CAST conference in Ottawa in 1994. Selected papers from these meetings were published as Springer Lecture Notes in Computer Science volumes410,585,763,1030,1333,1798,2178,2809,3643,4739,5717,6927,6928, 8111, 8112, and 9520, respectively, and in several special issues of Cybernetics and Systems: An International Journal. EUROCAST and CAST meetings are definitely consolidated, as shown by the number and quality of the contributions over the years. EUROCAST 2017 took place in the Elder Museum of Science and Technology of Las Palmas, during February 19–24, and it continued with the approach tested at pre- viousconferences asaninternational computer-related conferencewithatrueinterdis- ciplinarycharacter.Theparticipantsprofilesarepresentlyextendedtoincludefieldsthat are in the frontier of science and engineering of computers, of information and com- municationtechnologies,andthefieldsofsocialandhumansciences.Thebestparadigm istheWeb,withitsassociatesystemsengineering,CAD-CASTtools,andprofessional applicationproducts(Apps)forservicesinthesocial,public,andprivatedomains. There were specialized workshops, which, on this occasion, were devoted to the following topics: 1. Pioneers and Landmarks in the Development of Information and Communication Technologies, chaired by Pichler (Linz), Stankovic (Nis), Kreuzer Felisa and Kreuzer James (USA) 2. SystemsTheoryandApplications,chairedbyPichler(Linz)andMoreno-Díaz(Las Palmas) VI Preface 3. StochasticModelsandApplicationstoNatural,Social,andTechnologicalSystems, chaired by Nobile and Di Crescenzo (Salerno) 4. Theory and Applications of Metaheuristic Algorithms, chaired by Affenzeller and Jacak (Hagenberg) and Raidl (Vienna) 5. Embedded Systems Security, chaired by Mayrhofer (Linz) and Schmitzberger (Linz) 6. Model-Based System Design, Verification, and Simulation, chaired by Nikodem (Wroclaw), Ceska (Brno), and Ito (Utsunomiya) 7. Systems in Industrial Robotics, Automation and IoT, chaired by Stetter (Munich), Markl (Vienna), and Jacob (Kempten) 8. Applications of Signal Processing Technology, chaired by Huemer (Linz), Zagar (Linz), Lunglmayr (Linz), and Haselmayr (Linz) 9. Algebraic and Combinatorial Methods in Signal and Pattern Analysis, chaired by Astola (Tampere), Moraga (Dortmund), and Stankovic (Nis) 10. ComputerVision,DeepLearning,andApplications,chairedbyPenedo(ACoruña) and Radeva (Barcelona) 11. Computer-andSystems-BasedMethodsandElectronicTechnologiesinMedicine, chaired by Rozenblit (Tucson), Hagelauer (Linz), Maynar (Las Palmas), and Klempous (Wroclaw) 12. Cyber-Medical Systems, chaired by Rudas (Budapest), Kovács (Budapest), and Fujita (Iwate) 13. Socioeconomic and Biological Systems: Formal Models and Computer Tools, chaired by Schwaninger (St. Gallen), Schoenenberger (Basel), Tretter (Munich), Cull (Corvallis USA), and Suárez-Araújo (Las Palmas) 14. Intelligent Transportation Systems and Smart Mobility, chaired by Sanchez-Medina (Las Palmas), Celikoglu (Istanbul), Olaverri-Monreal (Wien), Garcia-Fernandez (Madrid), and Acosta-Sanchez (La Laguna) In this conference, as in previous ones, most of the credit for the success is due to the workshop chairs. They and the sessions chairs, with the counseling of the inter- national Advisory Committee, selected from 160 presented papers, after oral presen- tations and subsequent corrections, the 117 revised papers included in this volume. The event and this volume were possible thanks to the efforts of the chairs of the workshopsinthediffusionandpromotionoftheconference,aswellasintheselection andorganizationofallthematerial.Theeditorswouldliketoexpresstheirthankstoall the contributors, many of whom are already Eurocast participants for years, and par- ticularly to the considerable interaction of young and senior researchers, as well as to the invited speakers, Prof. Christian Müller-Scholer from Hamburg, Prof. Manuel Maynar,fromLasPalmas,andProf.JaakkoAstolafromTampere,fortheirreadinessto collaborate. We would also like to thank the director of the Elder Museum of Science and Technology, D. José Gilberto Moreno, and the museum staff. Special thanks are due to the staff of Springer in Heidelberg for their valuable support. September 2017 Roberto Moreno-Díaz Franz Pichler Alexis Quesada-Arencibia Organization Organized by Instituto Universitario de Ciencias y Tecnologías Cibernéticas Universidad de Las Palmas de Gran Canaria, Spain Johannes Kepler University Linz, Linz, Austria Museo Elder de la Ciencia y la Tecnología Las Palmas de Gran Canaria, Spain Conference Chair Roberto Moreno-Díaz, Las Palmas Program Chair Franz Pichler, Linz Honorary Chair Werner Schimanovich, Austrian Society for Automation and Robotics Organizing Committee Chair Alexis Quesada Arencibia Instituto Universitario de Ciencias y Tecnologías Cibernéticas Universidad de Las Palmas de Gran Canaria Campus de Tafira 35017 Las Palmas de Gran Canaria, Spain Phone: +34-928-457108 Fax: +34-928-457099 e-mail: [email protected] Contents – Part II Stochastic Models and Applications to Natural, Social and Technical Systems On Fractional Stochastic Modeling of Neuronal Activity Including Memory Effects . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Giacomo Ascione and Enrica Pirozzi On the Imputation of Missing Values in Univariate PM Time Series. . . . . . 12 10 G. Albano, M. La Rocca, and C. Perna On Sharp Bounds on theRate ofConvergencefor Finite Continuous-Time Markovian Queueing Models . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 Alexander Zeifman, Alexander Sipin, Victor Korolev, Galina Shilova, Ksenia Kiseleva, Anna Korotysheva, and Yacov Satin A Random Tandem Network with Queues Modeled as Birth-Death Processes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 Virginia Giorno and Amelia G. Nobile Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38 Milan Češka Jr., Milan Češka, and Nicola Paoletti On a Non-homogeneous Gompertz-Type Diffusion Process: Inference and First Passage Time . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 Giuseppina Albano, Virginia Giorno, Patricia Román-Román, and Francisco Torres-Ruiz Tsallis and Kaniadakis Entropy Measures for Risk Neutral Densities. . . . . . . 55 Muhammad Sheraz, Vasile Preda, and Silvia Dedu A Note on Diffusion Processes with Jumps . . . . . . . . . . . . . . . . . . . . . . . . 64 Virginia Giorno and Serena Spina Some Remarks on the Mean of the Running Maximum of Integrated Gauss-Markov Processes and Their First-Passage Times. . . . . . . . . . . . . . . . 72 Marco Abundo and Mario Abundo Applications of the Quantile-Based Probabilistic Mean Value Theorem to Distorted Distributions. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80 Antonio Di Crescenzo, Barbara Martinucci, and Julio Mulero X Contents – Part II Model-Based System Design, Verification and Simulation One Degree of Freedom Copter . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91 Peter Ťapák and Mikuláš Huba Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99 Bohuslav Křena, Hana Pluháčková, Shmuel Ur, and Tomáš Vojnar Towards Smaller Invariants for Proving Coverability. . . . . . . . . . . . . . . . . . 109 Lenka Turoňová and Lukáš Holík Simplifying Some Characteristics of Manipulators Based on Features of Their Models. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117 Ignacy Duleba and Iwona Karcz-Duleba A Study of Design Model for IoT System . . . . . . . . . . . . . . . . . . . . . . . . . 126 Atsushi Ito, Yuko Hiramatsu, Hiroyuki Hatano, Mie Sato, Akira Sasaki, Fumihiro Sato, and Yu Watanabe Data-Driven Maritime Processes Management Using Executable Models . . . . 134 Tomáš Richta, Hao Wang, Ottar Osen, Arne Styve, and Vladimír Janoušek The Neural System of Monitoring and Evaluating the Parameters of the Elements of an Intelligent Building. . . . . . . . . . . . . . . 142 Andrzej Stachno A Study of Precedent Retrieval System for Civil Trial. . . . . . . . . . . . . . . . . 151 Yuya Kiryu, Atsushi Ito, Takehiko Kasahara, Hiroyuki Hatano, and Masahiro Fujii Applications of Signal Processing Technology Investigations on Sparse System Identification with l -LMS, 0 Zero-Attracting LMS and Linearized Bregman Iterations . . . . . . . . . . . . . . . 161 Andreas Gebhard, Michael Lunglmayr, and Mario Huemer Influence of MEMS Microphone Imperfections on the Performance of First-Order Adaptive Differential Microphone Arrays. . . . . . . . . . . . . . . . 170 Andreas Gaich and Mario Huemer Global Decision Making for Wavelet Based ECG Segmentation. . . . . . . . . . 179 Carl Böck, Michael Lunglmayr, Christoph Mahringer, Christoph Mörtl, Jens Meier, and Mario Huemer Heartbeat Classification of ECG Signals Using Rational Function Systems. . . 187 Gergő Bognár and Sándor Fridli
The list of books you might like
