Zeszyty czasopisma

Tom 32 (2022): Zeszyt 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.)

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

Tom 32 (2022): Zeszyt 1 (March 2022)

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

Tom 31 (2021): Zeszyt 3 (September 2021)

Tom 31 (2021): Zeszyt 2 (June 2021)

Tom 31 (2021): Zeszyt 1 (March 2021)

Tom 30 (2020): Zeszyt 4 (December 2020)

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

Tom 30 (2020): Zeszyt 2 (June 2020)

Tom 30 (2020): Zeszyt 1 (March 2020)

Tom 29 (2019): Zeszyt 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.)

Tom 29 (2019): Zeszyt 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.)

Tom 29 (2019): Zeszyt 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.)

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

Tom 28 (2018): Zeszyt 4 (December 2018)

Tom 28 (2018): Zeszyt 3 (September 2018)

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

Tom 28 (2018): Zeszyt 1 (March 2018)
Zeszyts in Parameter Identification and Control (special section, pp. 9-122), Abdel Aitouche (Ed.)

Tom 27 (2017): Zeszyt 4 (December 2017)

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

Tom 27 (2017): Zeszyt 2 (June 2017)

Tom 27 (2017): Zeszyt 1 (March 2017)

Tom 26 (2016): Zeszyt 4 (December 2016)

Tom 26 (2016): Zeszyt 3 (September 2016)

Tom 26 (2016): Zeszyt 2 (June 2016)

Tom 26 (2016): Zeszyt 1 (March 2016)

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

Tom 25 (2015): Zeszyt 3 (September 2015)

Tom 25 (2015): Zeszyt 2 (June 2015)

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

Tom 24 (2014): Zeszyt 4 (December 2014)

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

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

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

Tom 23 (2013): Zeszyt 4 (December 2013)

Tom 23 (2013): Zeszyt 3 (September 2013)

Tom 23 (2013): Zeszyt 2 (June 2013)

Tom 23 (2013): Zeszyt 1 (March 2013)

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

Tom 22 (2012): Zeszyt 3 (September 2012)

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

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

Tom 21 (2011): Zeszyt 4 (December 2011)

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

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

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

Tom 20 (2010): Zeszyt 4 (December 2010)

Tom 20 (2010): Zeszyt 3 (September 2010)

Tom 20 (2010): Zeszyt 2 (June 2010)

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

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

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

Tom 19 (2009): Zeszyt 2 (June 2009)

Tom 19 (2009): Zeszyt 1 (March 2009)

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

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

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

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

Tom 17 (2007): Zeszyt 4 (December 2007)

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

Tom 17 (2007): Zeszyt 2 (June 2007)

Tom 17 (2007): Zeszyt 1 (March 2007)

Informacje o czasopiśmie
Format
Czasopismo
eISSN
2083-8492
ISSN
1641-876X
Pierwsze wydanie
05 Apr 2007
Częstotliwość wydawania
4 razy w roku
Języki
Angielski

Wyszukiwanie

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

Informacje o czasopiśmie
Format
Czasopismo
eISSN
2083-8492
ISSN
1641-876X
Pierwsze wydanie
05 Apr 2007
Częstotliwość wydawania
4 razy w roku
Języki
Angielski

Wyszukiwanie

10 Artykułów
Otwarty dostęp

Verified Methods for Computing Pareto Sets: General Algorithmic Analysis

Data publikacji: 24 Sep 2009
Zakres stron: 369 - 380

Abstrakt

Słowa kluczowe

  • multi-objective optimization
  • Pareto set
  • verified computing
Otwarty dostęp

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

Data publikacji: 24 Sep 2009
Zakres stron: 381 - 397

Abstrakt

Słowa kluczowe

  • ordinary differential equations
  • differential-algebraic equations
  • ValEncIA-IVP
  • verified simulation
  • inverse control problems
Otwarty dostęp

Interval Analysis for Certified Numerical Solution of Problems in Robotics

Data publikacji: 24 Sep 2009
Zakres stron: 399 - 412

Abstrakt

Słowa kluczowe

  • interval analysis
  • uncertainties
  • robotics
Otwarty dostęp

Reliable Robust Path Planning with Application to Mobile Robots

Data publikacji: 24 Sep 2009
Zakres stron: 413 - 424

Abstrakt

Słowa kluczowe

  • interval analysis
  • path planning
  • robust control
  • state-space models
Otwarty dostęp

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

Data publikacji: 24 Sep 2009
Zakres stron: 425 - 439

Abstrakt

Słowa kluczowe

  • interval arithmetic
  • reachability analysis
  • observability analysis
  • robust stability
  • model-based design of optimal controllers
Otwarty dostęp

Nonlinear Stabilizing Control of an Uncertain Bioprocess Model

Data publikacji: 24 Sep 2009
Zakres stron: 441 - 454

Abstrakt

Słowa kluczowe

  • wastewater treatment model
  • local bifurcations of steady states
  • asymptotic stabilization
  • extremum seeking
  • uncertain data
Otwarty dostęp

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

Data publikacji: 24 Sep 2009
Zakres stron: 455 - 467

Abstrakt

Słowa kluczowe

  • multibody systems
  • result verification
  • sensitivity
  • DAE
  • uncertainty
Otwarty dostęp

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

Data publikacji: 24 Sep 2009
Zakres stron: 469 - 483

Abstrakt

Słowa kluczowe

  • gait/motion analysis
  • muskuloskeletal system
  • multibody simulation
  • MRI
  • X-ray
  • motion tracking
Otwarty dostęp

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

Data publikacji: 24 Sep 2009
Zakres stron: 485 - 499

Abstrakt

Słowa kluczowe

  • ValEncIA-IVP
  • consistency tests for the reduction of overestimation
  • identification of dynamical constraints
  • Hamiltonian systems
  • branch and prune algorithms
Otwarty dostęp

Verified Solution Method for Population Epidemiology Models with Uncertainty

Data publikacji: 24 Sep 2009
Zakres stron: 501 - 512

Abstrakt

Słowa kluczowe

  • nonlinear dynamics
  • epidemiology
  • interval analysis
  • verified computing
  • ordinary differential equations
10 Artykułów
Otwarty dostęp

Verified Methods for Computing Pareto Sets: General Algorithmic Analysis

Data publikacji: 24 Sep 2009
Zakres stron: 369 - 380

Abstrakt

Słowa kluczowe

  • multi-objective optimization
  • Pareto set
  • verified computing
Otwarty dostęp

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

Data publikacji: 24 Sep 2009
Zakres stron: 381 - 397

Abstrakt

Słowa kluczowe

  • ordinary differential equations
  • differential-algebraic equations
  • ValEncIA-IVP
  • verified simulation
  • inverse control problems
Otwarty dostęp

Interval Analysis for Certified Numerical Solution of Problems in Robotics

Data publikacji: 24 Sep 2009
Zakres stron: 399 - 412

Abstrakt

Słowa kluczowe

  • interval analysis
  • uncertainties
  • robotics
Otwarty dostęp

Reliable Robust Path Planning with Application to Mobile Robots

Data publikacji: 24 Sep 2009
Zakres stron: 413 - 424

Abstrakt

Słowa kluczowe

  • interval analysis
  • path planning
  • robust control
  • state-space models
Otwarty dostęp

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

Data publikacji: 24 Sep 2009
Zakres stron: 425 - 439

Abstrakt

Słowa kluczowe

  • interval arithmetic
  • reachability analysis
  • observability analysis
  • robust stability
  • model-based design of optimal controllers
Otwarty dostęp

Nonlinear Stabilizing Control of an Uncertain Bioprocess Model

Data publikacji: 24 Sep 2009
Zakres stron: 441 - 454

Abstrakt

Słowa kluczowe

  • wastewater treatment model
  • local bifurcations of steady states
  • asymptotic stabilization
  • extremum seeking
  • uncertain data
Otwarty dostęp

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

Data publikacji: 24 Sep 2009
Zakres stron: 455 - 467

Abstrakt

Słowa kluczowe

  • multibody systems
  • result verification
  • sensitivity
  • DAE
  • uncertainty
Otwarty dostęp

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

Data publikacji: 24 Sep 2009
Zakres stron: 469 - 483

Abstrakt

Słowa kluczowe

  • gait/motion analysis
  • muskuloskeletal system
  • multibody simulation
  • MRI
  • X-ray
  • motion tracking
Otwarty dostęp

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

Data publikacji: 24 Sep 2009
Zakres stron: 485 - 499

Abstrakt

Słowa kluczowe

  • ValEncIA-IVP
  • consistency tests for the reduction of overestimation
  • identification of dynamical constraints
  • Hamiltonian systems
  • branch and prune algorithms
Otwarty dostęp

Verified Solution Method for Population Epidemiology Models with Uncertainty

Data publikacji: 24 Sep 2009
Zakres stron: 501 - 512

Abstrakt

Słowa kluczowe

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

Zaplanuj zdalną konferencję ze Sciendo