Rivista e Edizione

Volume 33 (2023): Edizione 3 (September 2023)
Mathematical Modeling in Medical Problems (Special section, pp. 349-428), Urszula Foryś, Katarzyna Rejniak, Barbara Pękala, Agnieszka Bartłomiejczyk (Eds.)

Volume 33 (2023): Edizione 2 (June 2023)
Automation and Communication Systems for Autonomous Platforms (Special section, pp. 171-218), Zygmunt Kitowski, Paweł Piskur and Stanisław Hożyń (Eds.)

Volume 33 (2023): Edizione 1 (March 2023)
Image Analysis, Classification and Protection (Special section, pp. 7-70), Marcin Niemiec, Andrzej Dziech and Jakob Wassermann (Eds.)

Volume 32 (2022): Edizione 4 (December 2022)
Big Data and Artificial Intelligence for Cooperative Vehicle-Infrastructure Systems (Special section, pp. 523-599), Baozhen Yao, Shuaian (Hans) Wang and Sobhan (Sean) Asian (Eds.)

Volume 32 (2022): Edizione 3 (September 2022)
Recent Advances in Modelling, Analysis and Implementation of Cyber-Physical Systems (Special section, pp. 345-413), Remigiusz Wiśniewski, Luis Gomes and Shaohua Wan (Eds.)

Volume 32 (2022): Edizione 2 (June 2022)
Towards Self-Healing Systems through Diagnostics, Fault-Tolerance and Design (Special section, pp. 171-269), Marcin Witczak and Ralf Stetter (Eds.)

Volume 32 (2022): Edizione 1 (March 2022)

Volume 31 (2021): Edizione 4 (December 2021)
Advanced Machine Learning Techniques in Data Analysis (special section, pp. 549-611), Maciej Kusy, Rafał Scherer, and Adam Krzyżak (Eds.)

Volume 31 (2021): Edizione 3 (September 2021)

Volume 31 (2021): Edizione 2 (June 2021)

Volume 31 (2021): Edizione 1 (March 2021)

Volume 30 (2020): Edizione 4 (December 2020)

Volume 30 (2020): Edizione 3 (September 2020)
Big Data and Signal Processing (Special section, pp. 399-473), Joanna Kołodziej, Sabri Pllana, Salvatore Vitabile (Eds.)

Volume 30 (2020): Edizione 2 (June 2020)

Volume 30 (2020): Edizione 1 (March 2020)

Volume 29 (2019): Edizione 4 (December 2019)
New Perspectives in Nonlinear and Intelligent Control (In Honor of Alexander P. Kurdyukov) (special section, pp. 629-712), Julio B. Clempner, Enso Ikonen, Alexander P. Kurdyukov (Eds.)

Volume 29 (2019): Edizione 3 (September 2019)
Information Technology for Systems Research (special section, pp. 427-515), Piotr Kulczycki, Janusz Kacprzyk, László T. Kóczy, Radko Mesiar (Eds.)

Volume 29 (2019): Edizione 2 (June 2019)
Advances in Complex Cloud and Service Oriented Computing (special section, pp. 213-274), Anna Kobusińska, Ching-Hsien Hsu, Kwei-Jay Lin (Eds.)

Volume 29 (2019): Edizione 1 (March 2019)
Exploring Complex and Big Data (special section, pp. 7-91), Johann Gamper, Robert Wrembel (Eds.)

Volume 28 (2018): Edizione 4 (December 2018)

Volume 28 (2018): Edizione 3 (September 2018)

Volume 28 (2018): Edizione 2 (June 2018)
Advanced Diagnosis and Fault-Tolerant Control Methods (special section, pp. 233-333), Vicenç Puig, Dominique Sauter, Christophe Aubrun, Horst Schulte (Eds.)

Volume 28 (2018): Edizione 1 (March 2018)
Ediziones in Parameter Identification and Control (special section, pp. 9-122), Abdel Aitouche (Ed.)

Volume 27 (2017): Edizione 4 (December 2017)

Volume 27 (2017): Edizione 3 (September 2017)
Systems Analysis: Modeling and Control (special section, pp. 457-499), Vyacheslav Maksimov and Boris Mordukhovich (Eds.)

Volume 27 (2017): Edizione 2 (June 2017)

Volume 27 (2017): Edizione 1 (March 2017)

Volume 26 (2016): Edizione 4 (December 2016)

Volume 26 (2016): Edizione 3 (September 2016)

Volume 26 (2016): Edizione 2 (June 2016)

Volume 26 (2016): Edizione 1 (March 2016)

Volume 25 (2015): Edizione 4 (December 2015)
Special issue: Complex Problems in High-Performance Computing Systems, Editors: Mauro Iacono, Joanna Kołodziej

Volume 25 (2015): Edizione 3 (September 2015)

Volume 25 (2015): Edizione 2 (June 2015)

Volume 25 (2015): Edizione 1 (March 2015)
Safety, Fault Diagnosis and Fault Tolerant Control in Aerospace Systems, Silvio Simani, Paolo Castaldi (Eds.)

Volume 24 (2014): Edizione 4 (December 2014)

Volume 24 (2014): Edizione 3 (September 2014)
Modelling and Simulation of High Performance Information Systems (special section, pp. 453-566), Pavel Abaev, Rostislav Razumchik, Joanna Kołodziej (Eds.)

Volume 24 (2014): Edizione 2 (June 2014)
Signals and Systems (special section, pp. 233-312), Ryszard Makowski and Jan Zarzycki (Eds.)

Volume 24 (2014): Edizione 1 (March 2014)
Selected Problems of Biomedical Engineering (special section, pp. 7 - 63), Marek Kowal and Józef Korbicz (Eds.)

Volume 23 (2013): Edizione 4 (December 2013)

Volume 23 (2013): Edizione 3 (September 2013)

Volume 23 (2013): Edizione 2 (June 2013)

Volume 23 (2013): Edizione 1 (March 2013)

Volume 22 (2012): Edizione 4 (December 2012)
Hybrid and Ensemble Methods in Machine Learning (special section, pp. 787 - 881), Oscar Cordón and Przemysław Kazienko (Eds.)

Volume 22 (2012): Edizione 3 (September 2012)

Volume 22 (2012): Edizione 2 (June 2012)
Analysis and Control of Spatiotemporal Dynamic Systems (special section, pp. 245 - 326), Dariusz Uciński and Józef Korbicz (Eds.)

Volume 22 (2012): Edizione 1 (March 2012)
Advances in Control and Fault-Tolerant Systems (special issue), Józef Korbicz, Didier Maquin and Didier Theilliol (Eds.)

Volume 21 (2011): Edizione 4 (December 2011)

Volume 21 (2011): Edizione 3 (September 2011)
Ediziones in Advanced Control and Diagnosis (special section, pp. 423 - 486), Vicenç Puig and Marcin Witczak (Eds.)

Volume 21 (2011): Edizione 2 (June 2011)
Efficient Resource Management for Grid-Enabled Applications (special section, pp. 219 - 306), Joanna Kołodziej and Fatos Xhafa (Eds.)

Volume 21 (2011): Edizione 1 (March 2011)
Semantic Knowledge Engineering (special section, pp. 9 - 95), Grzegorz J. Nalepa and Antoni Ligęza (Eds.)

Volume 20 (2010): Edizione 4 (December 2010)

Volume 20 (2010): Edizione 3 (September 2010)

Volume 20 (2010): Edizione 2 (June 2010)

Volume 20 (2010): Edizione 1 (March 2010)
Computational Intelligence in Modern Control Systems (special section, pp. 7 - 84), Józef Korbicz and Dariusz Uciński (Eds.)

Volume 19 (2009): Edizione 4 (December 2009)
Robot Control Theory (special section, pp. 519 - 588), Cezary Zieliński (Ed.)

Volume 19 (2009): Edizione 3 (September 2009)
Verified Methods: Applications in Medicine and Engineering (special issue), Andreas Rauh, Ekaterina Auer, Eberhard P. Hofer and Wolfram Luther (Eds.)

Volume 19 (2009): Edizione 2 (June 2009)

Volume 19 (2009): Edizione 1 (March 2009)

Volume 18 (2008): Edizione 4 (December 2008)
Ediziones in Fault Diagnosis and Fault Tolerant Control (special issue), Józef Korbicz and Dominique Sauter (Eds.)

Volume 18 (2008): Edizione 3 (September 2008)
Selected Problems of Computer Science and Control (special issue), Krzysztof Gałkowski, Eric Rogers and Jan Willems (Eds.)

Volume 18 (2008): Edizione 2 (June 2008)
Selected Topics in Biological Cybernetics (special section, pp. 117 - 170), Andrzej Kasiński and Filip Ponulak (Eds.)

Volume 18 (2008): Edizione 1 (March 2008)
Applied Image Processing (special issue), Anton Kummert and Ewaryst Rafajłowicz (Eds.)

Volume 17 (2007): Edizione 4 (December 2007)

Volume 17 (2007): Edizione 3 (September 2007)
Scientific Computation for Fluid Mechanics and Hyperbolic Systems (special issue), Jan Sokołowski and Eric Sonnendrücker (Eds.)

Volume 17 (2007): Edizione 2 (June 2007)

Volume 17 (2007): Edizione 1 (March 2007)

Dettagli della rivista
Formato
Rivista
eISSN
2083-8492
ISSN
1641-876X
Pubblicato per la prima volta
05 Apr 2007
Periodo di pubblicazione
4 volte all'anno
Lingue
Inglese

Cerca

Volume 19 (2009): Edizione 3 (September 2009)
Verified Methods: Applications in Medicine and Engineering (special issue), Andreas Rauh, Ekaterina Auer, Eberhard P. Hofer and Wolfram Luther (Eds.)

Dettagli della rivista
Formato
Rivista
eISSN
2083-8492
ISSN
1641-876X
Pubblicato per la prima volta
05 Apr 2007
Periodo di pubblicazione
4 volte all'anno
Lingue
Inglese

Cerca

0 Articoli
Accesso libero

Verified Methods for Computing Pareto Sets: General Algorithmic Analysis

Pubblicato online: 24 Sep 2009
Pagine: 369 - 380

Astratto

Parole chiave

  • multi-objective optimization
  • Pareto set
  • verified computing
Accesso libero

A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP

Pubblicato online: 24 Sep 2009
Pagine: 381 - 397

Astratto

Parole chiave

  • ordinary differential equations
  • differential-algebraic equations
  • ValEncIA-IVP
  • verified simulation
  • inverse control problems
Accesso libero

Interval Analysis for Certified Numerical Solution of Problems in Robotics

Pubblicato online: 24 Sep 2009
Pagine: 399 - 412

Astratto

Parole chiave

  • interval analysis
  • uncertainties
  • robotics
Accesso libero

Reliable Robust Path Planning with Application to Mobile Robots

Pubblicato online: 24 Sep 2009
Pagine: 413 - 424

Astratto

Parole chiave

  • interval analysis
  • path planning
  • robust control
  • state-space models
Accesso libero

Verification Techniques for Sensitivity Analysis and Design of Controllers for Nonlinear Dynamic Systems with Uncertainties

Pubblicato online: 24 Sep 2009
Pagine: 425 - 439

Astratto

Parole chiave

  • interval arithmetic
  • reachability analysis
  • observability analysis
  • robust stability
  • model-based design of optimal controllers
Accesso libero

Nonlinear Stabilizing Control of an Uncertain Bioprocess Model

Pubblicato online: 24 Sep 2009
Pagine: 441 - 454

Astratto

Parole chiave

  • wastewater treatment model
  • local bifurcations of steady states
  • asymptotic stabilization
  • extremum seeking
  • uncertain data
Accesso libero

Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems

Pubblicato online: 24 Sep 2009
Pagine: 455 - 467

Astratto

Parole chiave

  • multibody systems
  • result verification
  • sensitivity
  • DAE
  • uncertainty
Accesso libero

An Object-Oriented Approach to Simulating Human Gait Motion Based on Motion Tracking

Pubblicato online: 24 Sep 2009
Pagine: 469 - 483

Astratto

Parole chiave

  • gait/motion analysis
  • muskuloskeletal system
  • multibody simulation
  • MRI
  • X-ray
  • motion tracking
Accesso libero

Derivation of Physically Motivated Constraints for Efficient Interval Simulations Applied to the Analysis of Uncertain Dynamical Systems

Pubblicato online: 24 Sep 2009
Pagine: 485 - 499

Astratto

Parole chiave

  • ValEncIA-IVP
  • consistency tests for the reduction of overestimation
  • identification of dynamical constraints
  • Hamiltonian systems
  • branch and prune algorithms
Accesso libero

Verified Solution Method for Population Epidemiology Models with Uncertainty

Pubblicato online: 24 Sep 2009
Pagine: 501 - 512

Astratto

Parole chiave

  • nonlinear dynamics
  • epidemiology
  • interval analysis
  • verified computing
  • ordinary differential equations
0 Articoli
Accesso libero

Verified Methods for Computing Pareto Sets: General Algorithmic Analysis

Pubblicato online: 24 Sep 2009
Pagine: 369 - 380

Astratto

Parole chiave

  • multi-objective optimization
  • Pareto set
  • verified computing
Accesso libero

A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP

Pubblicato online: 24 Sep 2009
Pagine: 381 - 397

Astratto

Parole chiave

  • ordinary differential equations
  • differential-algebraic equations
  • ValEncIA-IVP
  • verified simulation
  • inverse control problems
Accesso libero

Interval Analysis for Certified Numerical Solution of Problems in Robotics

Pubblicato online: 24 Sep 2009
Pagine: 399 - 412

Astratto

Parole chiave

  • interval analysis
  • uncertainties
  • robotics
Accesso libero

Reliable Robust Path Planning with Application to Mobile Robots

Pubblicato online: 24 Sep 2009
Pagine: 413 - 424

Astratto

Parole chiave

  • interval analysis
  • path planning
  • robust control
  • state-space models
Accesso libero

Verification Techniques for Sensitivity Analysis and Design of Controllers for Nonlinear Dynamic Systems with Uncertainties

Pubblicato online: 24 Sep 2009
Pagine: 425 - 439

Astratto

Parole chiave

  • interval arithmetic
  • reachability analysis
  • observability analysis
  • robust stability
  • model-based design of optimal controllers
Accesso libero

Nonlinear Stabilizing Control of an Uncertain Bioprocess Model

Pubblicato online: 24 Sep 2009
Pagine: 441 - 454

Astratto

Parole chiave

  • wastewater treatment model
  • local bifurcations of steady states
  • asymptotic stabilization
  • extremum seeking
  • uncertain data
Accesso libero

Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems

Pubblicato online: 24 Sep 2009
Pagine: 455 - 467

Astratto

Parole chiave

  • multibody systems
  • result verification
  • sensitivity
  • DAE
  • uncertainty
Accesso libero

An Object-Oriented Approach to Simulating Human Gait Motion Based on Motion Tracking

Pubblicato online: 24 Sep 2009
Pagine: 469 - 483

Astratto

Parole chiave

  • gait/motion analysis
  • muskuloskeletal system
  • multibody simulation
  • MRI
  • X-ray
  • motion tracking
Accesso libero

Derivation of Physically Motivated Constraints for Efficient Interval Simulations Applied to the Analysis of Uncertain Dynamical Systems

Pubblicato online: 24 Sep 2009
Pagine: 485 - 499

Astratto

Parole chiave

  • ValEncIA-IVP
  • consistency tests for the reduction of overestimation
  • identification of dynamical constraints
  • Hamiltonian systems
  • branch and prune algorithms
Accesso libero

Verified Solution Method for Population Epidemiology Models with Uncertainty

Pubblicato online: 24 Sep 2009
Pagine: 501 - 512

Astratto

Parole chiave

  • nonlinear dynamics
  • epidemiology
  • interval analysis
  • verified computing
  • ordinary differential equations