Magazine et Edition

Volume 32 (2022): Edition 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): Edition 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): Edition 1 (March 2022)

Volume 31 (2021): Edition 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): Edition 3 (September 2021)

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

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

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

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

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

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

Volume 29 (2019): Edition 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): Edition 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): Edition 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): Edition 1 (March 2019)
Exploring Complex and Big Data (special section, pp. 7-91), Johann Gamper, Robert Wrembel (Eds.)

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

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

Volume 28 (2018): Edition 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): Edition 1 (March 2018)
Editions in Parameter Identification and Control (special section, pp. 9-122), Abdel Aitouche (Ed.)

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

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

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

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

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

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

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

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

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

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

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

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

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

Volume 24 (2014): Edition 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): Edition 2 (June 2014)
Signals and Systems (special section, pp. 233-312), Ryszard Makowski and Jan Zarzycki (Eds.)

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

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

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

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

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

Volume 22 (2012): Edition 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): Edition 3 (September 2012)

Volume 22 (2012): Edition 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): Edition 1 (March 2012)
Advances in Control and Fault-Tolerant Systems (special issue), Józef Korbicz, Didier Maquin and Didier Theilliol (Eds.)

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

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

Volume 21 (2011): Edition 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): Edition 1 (March 2011)
Semantic Knowledge Engineering (special section, pp. 9 - 95), Grzegorz J. Nalepa and Antoni Ligęza (Eds.)

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

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

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

Volume 20 (2010): Edition 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): Edition 4 (December 2009)
Robot Control Theory (special section, pp. 519 - 588), Cezary Zieliński (Ed.)

Volume 19 (2009): Edition 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): Edition 2 (June 2009)

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

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

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

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

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

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

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

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

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

Détails du magazine
Format
Magazine
eISSN
2083-8492
ISSN
1641-876X
Première publication
05 Apr 2007
Période de publication
4 fois par an
Langues
Anglais

Chercher

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

Détails du magazine
Format
Magazine
eISSN
2083-8492
ISSN
1641-876X
Première publication
05 Apr 2007
Période de publication
4 fois par an
Langues
Anglais

Chercher

10 Articles
Accès libre

Verified Methods for Computing Pareto Sets: General Algorithmic Analysis

Publié en ligne: 24 Sep 2009
Pages: 369 - 380

Résumé

Mots clés

  • multi-objective optimization
  • Pareto set
  • verified computing
Accès libre

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

Publié en ligne: 24 Sep 2009
Pages: 381 - 397

Résumé

Mots clés

  • ordinary differential equations
  • differential-algebraic equations
  • ValEncIA-IVP
  • verified simulation
  • inverse control problems
Accès libre

Interval Analysis for Certified Numerical Solution of Problems in Robotics

Publié en ligne: 24 Sep 2009
Pages: 399 - 412

Résumé

Mots clés

  • interval analysis
  • uncertainties
  • robotics
Accès libre

Reliable Robust Path Planning with Application to Mobile Robots

Publié en ligne: 24 Sep 2009
Pages: 413 - 424

Résumé

Mots clés

  • interval analysis
  • path planning
  • robust control
  • state-space models
Accès libre

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

Publié en ligne: 24 Sep 2009
Pages: 425 - 439

Résumé

Mots clés

  • interval arithmetic
  • reachability analysis
  • observability analysis
  • robust stability
  • model-based design of optimal controllers
Accès libre

Nonlinear Stabilizing Control of an Uncertain Bioprocess Model

Publié en ligne: 24 Sep 2009
Pages: 441 - 454

Résumé

Mots clés

  • wastewater treatment model
  • local bifurcations of steady states
  • asymptotic stabilization
  • extremum seeking
  • uncertain data
Accès libre

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

Publié en ligne: 24 Sep 2009
Pages: 455 - 467

Résumé

Mots clés

  • multibody systems
  • result verification
  • sensitivity
  • DAE
  • uncertainty
Accès libre

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

Publié en ligne: 24 Sep 2009
Pages: 469 - 483

Résumé

Mots clés

  • gait/motion analysis
  • muskuloskeletal system
  • multibody simulation
  • MRI
  • X-ray
  • motion tracking
Accès libre

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

Publié en ligne: 24 Sep 2009
Pages: 485 - 499

Résumé

Mots clés

  • ValEncIA-IVP
  • consistency tests for the reduction of overestimation
  • identification of dynamical constraints
  • Hamiltonian systems
  • branch and prune algorithms
Accès libre

Verified Solution Method for Population Epidemiology Models with Uncertainty

Publié en ligne: 24 Sep 2009
Pages: 501 - 512

Résumé

Mots clés

  • nonlinear dynamics
  • epidemiology
  • interval analysis
  • verified computing
  • ordinary differential equations
10 Articles
Accès libre

Verified Methods for Computing Pareto Sets: General Algorithmic Analysis

Publié en ligne: 24 Sep 2009
Pages: 369 - 380

Résumé

Mots clés

  • multi-objective optimization
  • Pareto set
  • verified computing
Accès libre

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

Publié en ligne: 24 Sep 2009
Pages: 381 - 397

Résumé

Mots clés

  • ordinary differential equations
  • differential-algebraic equations
  • ValEncIA-IVP
  • verified simulation
  • inverse control problems
Accès libre

Interval Analysis for Certified Numerical Solution of Problems in Robotics

Publié en ligne: 24 Sep 2009
Pages: 399 - 412

Résumé

Mots clés

  • interval analysis
  • uncertainties
  • robotics
Accès libre

Reliable Robust Path Planning with Application to Mobile Robots

Publié en ligne: 24 Sep 2009
Pages: 413 - 424

Résumé

Mots clés

  • interval analysis
  • path planning
  • robust control
  • state-space models
Accès libre

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

Publié en ligne: 24 Sep 2009
Pages: 425 - 439

Résumé

Mots clés

  • interval arithmetic
  • reachability analysis
  • observability analysis
  • robust stability
  • model-based design of optimal controllers
Accès libre

Nonlinear Stabilizing Control of an Uncertain Bioprocess Model

Publié en ligne: 24 Sep 2009
Pages: 441 - 454

Résumé

Mots clés

  • wastewater treatment model
  • local bifurcations of steady states
  • asymptotic stabilization
  • extremum seeking
  • uncertain data
Accès libre

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

Publié en ligne: 24 Sep 2009
Pages: 455 - 467

Résumé

Mots clés

  • multibody systems
  • result verification
  • sensitivity
  • DAE
  • uncertainty
Accès libre

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

Publié en ligne: 24 Sep 2009
Pages: 469 - 483

Résumé

Mots clés

  • gait/motion analysis
  • muskuloskeletal system
  • multibody simulation
  • MRI
  • X-ray
  • motion tracking
Accès libre

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

Publié en ligne: 24 Sep 2009
Pages: 485 - 499

Résumé

Mots clés

  • ValEncIA-IVP
  • consistency tests for the reduction of overestimation
  • identification of dynamical constraints
  • Hamiltonian systems
  • branch and prune algorithms
Accès libre

Verified Solution Method for Population Epidemiology Models with Uncertainty

Publié en ligne: 24 Sep 2009
Pages: 501 - 512

Résumé

Mots clés

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

Planifiez votre conférence à distance avec Sciendo