Computer Aided Systems Theory – EUROCAST 2017: 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II

489 Pages·2018·36.86 MB·English

by  Roberto Moreno-Díaz,Franz Pichler,Alexis Quesada-Arencibia (eds.)

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: [phone]
Fax: [phone]
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