[Lecture Notes in Computer Science] Structured Object-Oriented Formal Language and Method Volume 10795 || Extending UML for Model Checking
- 作者Tian, Cong; Nagoya, Fumiko; Liu, Shaoying; Duan, Zhenhua
- 文件大小632.20KB
- 发表时间2018
- DOI10.1007/978-3-319-90104-6_6
- 页码88-107
[Nonlinear Systems and Complexity] A Mathematical Modeling Approach from Nonlinear Dynamics to Complex Systems Volume 22 || From Nonlinear Dynamics to Complex Systems: IntroductionMacau, Elbert E. N. · 2019
[Nonlinear Systems and Complexity] A Mathematical Modeling Approach from Nonlinear Dynamics to Complex Systems Volume 22 || From Flocs to FlocksMacau, Elbert E. N. · 2019
[Nonlinear Systems and Complexity] A Mathematical Modeling Approach from Nonlinear Dynamics to Complex Systems Volume 22 || Characterizing Flows by Complex Network MethodsMacau, Elbert E. N. · 2019
[Nonlinear Systems and Complexity] A Mathematical Modeling Approach from Nonlinear Dynamics to Complex Systems Volume 22 || Intermittency and Transport Barriers in Fluids and PlasmasMacau, Elbert E. N. · 2019
[Nonlinear Systems and Complexity] A Mathematical Modeling Approach from Nonlinear Dynamics to Complex Systems Volume 22 || Tunable Orbits Influence in a Driven Stadium-Like BilliardMacau, Elbert E. N. · 2019
[Nonlinear Systems and Complexity] Mathematical Modeling and Applications in Nonlinear Dynamics Volume 14 || Mathematical Analysis of a Delayed Hematopoietic Stem Cell Model with Wazewska–Lasota Functional Production TypeLuo, Albert C.J.; Merdan, Hüseyin · 2016
[Nonlinear Systems and Complexity] A Mathematical Modeling Approach from Nonlinear Dynamics to Complex Systems Volume 22 || An Overview of the Generalized Gardner Equation: Symmetry Groups and Conservation LawsMacau, Elbert E. N. · 2019
Targeting in chaotic scatteringMacau, Elbert E. N. · Physical Review E · 1998
Performance of pinning-controlled synchronizationTurci, Luiz Felipe R.; Macau, Elbert E. N. · Physical Review E · 2011
Patrol Mobile Robots and Chaotic TrajectoriesMartins-Filho, Luiz S.; Macau, Elbert E. N. · Mathematical Problems in Engineering · 2007
HYBRID PINNING CONTROL FOR COMPLEX NETWORKSTURCI, LUIZ FELIPE R.; MACAU, ELBERT E. N. · International Journal of Bifurcation and Chaos · 2012
Phase locking control in the Circle MapPedro Fernando Almeida Di Donato; Elbert E. N. Macau; Celso Grebogi · 2007
Bouncing ball problem: Stability of the periodic modesBarroso, Joaquim J.; Carneiro, Marcus V.; Macau, Elbert E. N. · Physical Review E · 2009
Simulation of Inhomogeneous Columns of Beads under Vertical VibrationCarneiro, Marcus V.; Barroso, Joaquim J.; Macau, Elbert E. N. · Mathematical Problems in Engineering · 2009
Complex Networks Approach for Dynamical Characterization of Nonlinear SystemsFreitas, Vander L. S.; Lacerda, Juliana C.; Macau, Elbert E. N. · International Journal of Bifurcation and Chaos · 2019