Zeitschriften und Ausgaben

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

Volumen 33 (2023): Heft 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.)

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

Volumen 32 (2022): Heft 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.)

Volumen 32 (2022): Heft 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.)

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

Volumen 32 (2022): Heft 1 (March 2022)

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

Volumen 31 (2021): Heft 3 (September 2021)

Volumen 31 (2021): Heft 2 (June 2021)

Volumen 31 (2021): Heft 1 (March 2021)

Volumen 30 (2020): Heft 4 (December 2020)

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

Volumen 30 (2020): Heft 2 (June 2020)

Volumen 30 (2020): Heft 1 (March 2020)

Volumen 29 (2019): Heft 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.)

Volumen 29 (2019): Heft 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.)

Volumen 29 (2019): Heft 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.)

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

Volumen 28 (2018): Heft 4 (December 2018)

Volumen 28 (2018): Heft 3 (September 2018)

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

Volumen 28 (2018): Heft 1 (March 2018)
Hefts in Parameter Identification and Control (special section, pp. 9-122), Abdel Aitouche (Ed.)

Volumen 27 (2017): Heft 4 (December 2017)

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

Volumen 27 (2017): Heft 2 (June 2017)

Volumen 27 (2017): Heft 1 (March 2017)

Volumen 26 (2016): Heft 4 (December 2016)

Volumen 26 (2016): Heft 3 (September 2016)

Volumen 26 (2016): Heft 2 (June 2016)

Volumen 26 (2016): Heft 1 (March 2016)

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

Volumen 25 (2015): Heft 3 (September 2015)

Volumen 25 (2015): Heft 2 (June 2015)

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

Volumen 24 (2014): Heft 4 (December 2014)

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

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

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

Volumen 23 (2013): Heft 4 (December 2013)

Volumen 23 (2013): Heft 3 (September 2013)

Volumen 23 (2013): Heft 2 (June 2013)

Volumen 23 (2013): Heft 1 (March 2013)

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

Volumen 22 (2012): Heft 3 (September 2012)

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

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

Volumen 21 (2011): Heft 4 (December 2011)

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

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

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

Volumen 20 (2010): Heft 4 (December 2010)

Volumen 20 (2010): Heft 3 (September 2010)

Volumen 20 (2010): Heft 2 (June 2010)

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

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

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

Volumen 19 (2009): Heft 2 (June 2009)

Volumen 19 (2009): Heft 1 (March 2009)

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

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

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

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

Volumen 17 (2007): Heft 4 (December 2007)

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

Volumen 17 (2007): Heft 2 (June 2007)

Volumen 17 (2007): Heft 1 (March 2007)

Zeitschriftendaten
Format
Zeitschrift
eISSN
2083-8492
ISSN
1641-876X
Erstveröffentlichung
05 Apr 2007
Erscheinungsweise
4 Hefte pro Jahr
Sprachen
Englisch

Suche

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

Zeitschriftendaten
Format
Zeitschrift
eISSN
2083-8492
ISSN
1641-876X
Erstveröffentlichung
05 Apr 2007
Erscheinungsweise
4 Hefte pro Jahr
Sprachen
Englisch

Suche

0 Artikel
Uneingeschränkter Zugang

Verified Methods for Computing Pareto Sets: General Algorithmic Analysis

Online veröffentlicht: 24 Sep 2009
Seitenbereich: 369 - 380

Zusammenfassung

Schlüsselwörter

  • multi-objective optimization
  • Pareto set
  • verified computing
Uneingeschränkter Zugang

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

Online veröffentlicht: 24 Sep 2009
Seitenbereich: 381 - 397

Zusammenfassung

Schlüsselwörter

  • ordinary differential equations
  • differential-algebraic equations
  • ValEncIA-IVP
  • verified simulation
  • inverse control problems
Uneingeschränkter Zugang

Interval Analysis for Certified Numerical Solution of Problems in Robotics

Online veröffentlicht: 24 Sep 2009
Seitenbereich: 399 - 412

Zusammenfassung

Schlüsselwörter

  • interval analysis
  • uncertainties
  • robotics
Uneingeschränkter Zugang

Reliable Robust Path Planning with Application to Mobile Robots

Online veröffentlicht: 24 Sep 2009
Seitenbereich: 413 - 424

Zusammenfassung

Schlüsselwörter

  • interval analysis
  • path planning
  • robust control
  • state-space models
Uneingeschränkter Zugang

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

Online veröffentlicht: 24 Sep 2009
Seitenbereich: 425 - 439

Zusammenfassung

Schlüsselwörter

  • interval arithmetic
  • reachability analysis
  • observability analysis
  • robust stability
  • model-based design of optimal controllers
Uneingeschränkter Zugang

Nonlinear Stabilizing Control of an Uncertain Bioprocess Model

Online veröffentlicht: 24 Sep 2009
Seitenbereich: 441 - 454

Zusammenfassung

Schlüsselwörter

  • wastewater treatment model
  • local bifurcations of steady states
  • asymptotic stabilization
  • extremum seeking
  • uncertain data
Uneingeschränkter Zugang

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

Online veröffentlicht: 24 Sep 2009
Seitenbereich: 455 - 467

Zusammenfassung

Schlüsselwörter

  • multibody systems
  • result verification
  • sensitivity
  • DAE
  • uncertainty
Uneingeschränkter Zugang

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

Online veröffentlicht: 24 Sep 2009
Seitenbereich: 469 - 483

Zusammenfassung

Schlüsselwörter

  • gait/motion analysis
  • muskuloskeletal system
  • multibody simulation
  • MRI
  • X-ray
  • motion tracking
Uneingeschränkter Zugang

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

Online veröffentlicht: 24 Sep 2009
Seitenbereich: 485 - 499

Zusammenfassung

Schlüsselwörter

  • ValEncIA-IVP
  • consistency tests for the reduction of overestimation
  • identification of dynamical constraints
  • Hamiltonian systems
  • branch and prune algorithms
Uneingeschränkter Zugang

Verified Solution Method for Population Epidemiology Models with Uncertainty

Online veröffentlicht: 24 Sep 2009
Seitenbereich: 501 - 512

Zusammenfassung

Schlüsselwörter

  • nonlinear dynamics
  • epidemiology
  • interval analysis
  • verified computing
  • ordinary differential equations
0 Artikel
Uneingeschränkter Zugang

Verified Methods for Computing Pareto Sets: General Algorithmic Analysis

Online veröffentlicht: 24 Sep 2009
Seitenbereich: 369 - 380

Zusammenfassung

Schlüsselwörter

  • multi-objective optimization
  • Pareto set
  • verified computing
Uneingeschränkter Zugang

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

Online veröffentlicht: 24 Sep 2009
Seitenbereich: 381 - 397

Zusammenfassung

Schlüsselwörter

  • ordinary differential equations
  • differential-algebraic equations
  • ValEncIA-IVP
  • verified simulation
  • inverse control problems
Uneingeschränkter Zugang

Interval Analysis for Certified Numerical Solution of Problems in Robotics

Online veröffentlicht: 24 Sep 2009
Seitenbereich: 399 - 412

Zusammenfassung

Schlüsselwörter

  • interval analysis
  • uncertainties
  • robotics
Uneingeschränkter Zugang

Reliable Robust Path Planning with Application to Mobile Robots

Online veröffentlicht: 24 Sep 2009
Seitenbereich: 413 - 424

Zusammenfassung

Schlüsselwörter

  • interval analysis
  • path planning
  • robust control
  • state-space models
Uneingeschränkter Zugang

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

Online veröffentlicht: 24 Sep 2009
Seitenbereich: 425 - 439

Zusammenfassung

Schlüsselwörter

  • interval arithmetic
  • reachability analysis
  • observability analysis
  • robust stability
  • model-based design of optimal controllers
Uneingeschränkter Zugang

Nonlinear Stabilizing Control of an Uncertain Bioprocess Model

Online veröffentlicht: 24 Sep 2009
Seitenbereich: 441 - 454

Zusammenfassung

Schlüsselwörter

  • wastewater treatment model
  • local bifurcations of steady states
  • asymptotic stabilization
  • extremum seeking
  • uncertain data
Uneingeschränkter Zugang

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

Online veröffentlicht: 24 Sep 2009
Seitenbereich: 455 - 467

Zusammenfassung

Schlüsselwörter

  • multibody systems
  • result verification
  • sensitivity
  • DAE
  • uncertainty
Uneingeschränkter Zugang

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

Online veröffentlicht: 24 Sep 2009
Seitenbereich: 469 - 483

Zusammenfassung

Schlüsselwörter

  • gait/motion analysis
  • muskuloskeletal system
  • multibody simulation
  • MRI
  • X-ray
  • motion tracking
Uneingeschränkter Zugang

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

Online veröffentlicht: 24 Sep 2009
Seitenbereich: 485 - 499

Zusammenfassung

Schlüsselwörter

  • ValEncIA-IVP
  • consistency tests for the reduction of overestimation
  • identification of dynamical constraints
  • Hamiltonian systems
  • branch and prune algorithms
Uneingeschränkter Zugang

Verified Solution Method for Population Epidemiology Models with Uncertainty

Online veröffentlicht: 24 Sep 2009
Seitenbereich: 501 - 512

Zusammenfassung

Schlüsselwörter

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