Computer Aided Systems Theory – EUROCAST 2017: 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II | SpringerLink
Skip to main content
Springer Nature Link
Log in

Computer Aided Systems Theory – EUROCAST 2017

16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Roberto Moreno-Díaz

    1. University of Las Palmas de Gran Canaria, Las Palmas de Gran Canaria, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Franz Pichler

    1. Johannes Kepler University Linz, Linz, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Alexis Quesada-Arencibia

    1. University of Las Palmas de Gran Canaria, Las Palmas de Gran Canaria, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10672)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: EUROCAST 2017.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook JPY 5719
Price includes VAT (Japan)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book JPY 7149
Price includes VAT (Japan)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

The two-volume set LNCS 10671 and 10672 constitutes the thoroughly refereed proceedings of the 16th International Conference on Computer Aided Systems Theory, EUROCAST 2017, held in Las Palmas de Gran Canaria, Spain, in February 2017.

The 117 full papers presented were carefully reviewed and selected from 160 submissions. The papers are organized in topical sections on: pioneers and landmarks in the development of information and communication technologies; systems theory, socio-economic systems and applications; theory and applications of metaheuristic algorithms; stochastic models and applications to natural, social and technical systems; model-based system design, verification and simulation; applications of signal processing technology; algebraic and combinatorial methods in signal and pattern analysis; computer vision, deep learning and applications; computer and systems based methods and electronics technologies in medicine; intelligent transportation systems and smart mobility.

Similar content being viewed by others

Keywords

Table of contents (57 papers)

  1. Front Matter

    Pages I-XX
    Download chapter PDF

  2. Stochastic Models and Applications to Natural, Social and Technical Systems

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. On Fractional Stochastic Modeling of Neuronal Activity Including Memory Effects

      • Giacomo Ascione, Enrica Pirozzi
      Pages 3-11

    3. On the Imputation of Missing Values in Univariate \(PM_{10}\) Time Series

      • G. Albano, M. La Rocca, C. Perna
      Pages 12-19

    4. On Sharp Bounds on the Rate of Convergence for Finite Continuous-Time Markovian Queueing Models

      • Alexander Zeifman, Alexander Sipin, Victor Korolev, Galina Shilova, Ksenia Kiseleva, Anna Korotysheva et al.
      Pages 20-28

    5. A Random Tandem Network with Queues Modeled as Birth-Death Processes

      • Virginia Giorno, Amelia G. Nobile
      Pages 29-37

    6. Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters

      • Milan Češka Jr., Milan Češka, Nicola Paoletti
      Pages 38-46

    7. On a Non-homogeneous Gompertz-Type Diffusion Process: Inference and First Passage Time

      • Giuseppina Albano, Virginia Giorno, Patricia Román-Román, Francisco Torres-Ruiz
      Pages 47-54

    8. Tsallis and Kaniadakis Entropy Measures for Risk Neutral Densities

      • Muhammad Sheraz, Vasile Preda, Silvia Dedu
      Pages 55-63

    9. A Note on Diffusion Processes with Jumps

      • Virginia Giorno, Serena Spina
      Pages 64-71

    10. Some Remarks on the Mean of the Running Maximum of Integrated Gauss-Markov Processes and Their First-Passage Times

      • Marco Abundo, Mario Abundo
      Pages 72-79

    11. Applications of the Quantile-Based Probabilistic Mean Value Theorem to Distorted Distributions

      • Antonio Di Crescenzo, Barbara Martinucci, Julio Mulero
      Pages 80-87

  3. Model-Based System Design, Verification and Simulation

    1. Front Matter

      Pages 89-89
      Download chapter PDF

    2. One Degree of Freedom Copter

      • Peter Ťapák, Mikuláš Huba
      Pages 91-98

    3. Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics

      • Bohuslav Křena, Hana Pluháčková, Shmuel Ur, Tomáš Vojnar
      Pages 99-108

    4. Towards Smaller Invariants for Proving Coverability

      • Lenka Turoňová, Lukáš Holík
      Pages 109-116

    5. Simplifying Some Characteristics of Manipulators Based on Features of Their Models

      • Ignacy Duleba, Iwona Karcz-Duleba
      Pages 117-125

    6. A Study of Design Model for IoT System

      • Atsushi Ito, Yuko Hiramatsu, Hiroyuki Hatano, Mie Sato, Akira Sasaki, Fumihiro Sato et al.
      Pages 126-133

    7. Data-Driven Maritime Processes Management Using Executable Models

      • Tomáš Richta, Hao Wang, Ottar Osen, Arne Styve, Vladimír Janoušek
      Pages 134-141

    8. The Neural System of Monitoring and Evaluating the Parameters of the Elements of an Intelligent Building

      • Andrzej Stachno
      Pages 142-150
Back to top

Other volumes

  1. Computer Aided Systems Theory – EUROCAST 2017

  2. Computer Aided Systems Theory – EUROCAST 2017

Editors and Affiliations

  • University of Las Palmas de Gran Canaria, Las Palmas de Gran Canaria, Spain

    Roberto Moreno-Díaz, Alexis Quesada-Arencibia

  • Johannes Kepler University Linz, Linz, Austria

    Franz Pichler

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation