Found 144 Documents (Results 1–100)
Microwave assistance effect for rock breaking of TBM disc cutter using the coupled method of continuum and grain-based model. (English) Zbl 07855285
The self-coordination mean-variance strategy in continuous time. (English) Zbl 1531.91236
MSC:
91G10
A tensor renormalization group analysis of the Blume-Capel model inspired by game theory. (English) Zbl 1527.82023
Insights from Ising models of land-use under economic coordination incentives. (English) Zbl 07723532
MSC:
82-XX
Fresh agricultural products supply chain coordination considering consumers’ dual preferences under carbon cap-and-trade mechanism. (English) Zbl 1513.90037
Optimal start time of a markdown sale under a two-echelon inventory system. (English) Zbl 07769628
MSC:
90-XX
Platoon-actuated variable area mainstream traffic control for bottleneck decongestion. (English) Zbl 1501.93010
Managing large-scale projects in a mixed economy. (English. Russian original) Zbl 1496.90028
Autom. Remote Control 83, No. 5, 755-779 (2022); translation from Avtom. Telemekh. 2022, No. 5, 102-132 (2022).
Bilateral coordination quantisation control for master-slave flexible manipulators based on PDE dynamic model. (English) Zbl 1497.93099
Two dimensionless parameters and a mechanical analogue for the HKB model of motor coordination. (English) Zbl 1471.92011
MSC:
92B20
The Haken-Kelso-Bunz (HKB) model: from matter to movement to mind. (English) Zbl 1471.92025
MSC:
92B20
Coupling relationship between green production and green consumption: case of the Yangtze River Delta area. (English) Zbl 1542.91274
MSC:
91B76
Experimental validation of a semi-distributed sequential quadratic programming method for optimal coordination of automated vehicles at intersections. (English) Zbl 1469.93077
Single cycle supply chain coordination model for fuzzy stochastic demand of perishable items. (English) Zbl 1458.90110
MSC:
90B06
Motion coordination for a class of multi-agents via networked predictive control. (English) Zbl 1447.93013
A coordination mechanism for supply chains with capacity expansions and order-dependent lead times. (English) Zbl 1441.90005
MSC:
90B05
A formal approach to the engineering of domain-specific distributed systems. (English) Zbl 1494.68022
Cybersecurity investments in the supply chain: coordination and a strategic attacker. (English) Zbl 1430.90132
Impact of temporal network structures on the speed of consensus formation in opinion dynamics. (English) Zbl 07563461
MSC:
82-XX
A novel mathematical inventory model for growing-mortal items (case study: Rainbow trout). (English) Zbl 1481.90026
Information security decisions for two firms in a market with different types of customers. (English) Zbl 1507.91088
Biology and mathematics. (Biologie und Mathematik.) (German) Zbl 1443.92002
Berlin: Springer Spektrum (ISBN 978-3-662-59479-7/pbk; 978-3-662-59480-3/ebook). xv, 304 p. (2019).
Reviewer: Irina Ioana Mohorianu (Oxford)
Automated synthesis of application-layer connectors from automata-based specifications. (English) Zbl 1423.68066
Fix-and-optimize procedures for solving the long-term unit commitment problem with pumped storages. (English) Zbl 1434.90047
Mathematical models of collective dynamics and self-organization. (English) Zbl 1454.35395
Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians 2018, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume IV. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 3925-3946 (2018).
Reviewer: Eugene Postnikov (Kursk)
The role of phase shifts of sensory inputs in walking revealed by means of phase reduction. (English) Zbl 1402.92126
MSC:
92C20
Interests coordination and incentive mechanism between the main and subordinate enterprises based on Stackelberg game. (Chinese. English summary) Zbl 1413.90007
Reverse auction models for procurement contract under uncertain demand. (Chinese. English summary) Zbl 1413.91034
Study of financing mechanism and strategy for supply chains with stochastic demands. (Chinese. English summary) Zbl 1413.90114
Searching for information. (English) Zbl 1422.91455
A two-stage supply chain coordination mechanism considering price sensitive demand and quantity discounts. (English) Zbl 1375.90060
Flexible transactional coordination in the peer model. (English) Zbl 1498.68189
Dastani, Mehdi (ed.) et al., Fundamentals of software engineering. 7th international conference, FSEN 2017, Tehran, Iran, April 26–28, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10522, 116-131 (2017).
Review on supply chain competitions and mechanisms under yield uncertainty. (Chinese. English summary) Zbl 1399.90001
MSC:
90B05
Prevention-correction coordinated control strategy for power system based on operational risk. (Chinese. English summary) Zbl 1399.93062
Supply chain upstream and downstream joint coordination contract game model based on consumer preference. (Chinese. English summary) Zbl 1389.90027
Solving strategy for stochastic dynamic fleet scheduling with station operation coordination. (Chinese. English summary) Zbl 1389.90148
Hierarchical robust systems for magnetic plasma control in tokamaks with adaptation. (English. Russian original) Zbl 1365.93010
Autom. Remote Control 78, No. 4, 700-713 (2017); translation from Avtom. Telemekh. 2017, No. 4, 149-165 (2017).
A new flocking model through body attitude coordination. (English) Zbl 1372.35308
Reviewer: Thomas Ernst (Uppsala)
Evolving dynamics of trading behavior based on coordination game in complex networks. (English) Zbl 1400.91112
Research and development of multivariable coordinated control theory. (Chinese. English summary) Zbl 1374.93007
Hysteresis in random-field Ising model on a Bethe lattice with a mixed coordination number. (English) Zbl 1342.82091
MSC:
82C20
Generalized symmetry breaking tasks and nondeterminism in concurrent objects. (English) Zbl 1338.68020
MSC:
68M14
Coordination control of mainline control and ramp metering in freeway merging area. (Chinese. English summary) Zbl 1349.90198
MSC:
90B20
Optimal distributed-coordinated approach for energy management in multisource electric power generation systems. (English) Zbl 1334.49123
Olaru, Sorin (ed.) et al., Developments in model-based optimization and control. Distributed control and industrial applications. Based on two workshops on optimisation-based control and estimation at CentraleSupélec, France, November 2013 and November 2014. Cham: Springer (ISBN 978-3-319-26685-5/pbk; 978-3-319-26687-9/ebook). Lecture Notes in Control and Information Sciences 464, 93-114 (2015).
MSC:
49N90
Distributed model predictive control method for optimal coordination of signal splits in urban traffic networks. (English) Zbl 1332.93120
Conflict analysis between environment protection and economic development based on GM-DEA theory. (English) Zbl 1536.90083
Zaraté, Pascale (ed.) et al., Group decision and negotiation. A process-oriented view. Joint INFORMS-GDN and EWG-DSS international conference, GDN 2014, Toulouse, France, June 10–13, 2014. Proceedings. Cham: Springer. Lect. Notes Bus. Inf. Process. 180, 219-228 (2014).
A compositional model to reason about end-to-end QoS in stochastic Reo connectors. (English) Zbl 1412.68065
A two stage supply chain model with selling price dependent demand and investment for quality improvement. (English) Zbl 1352.90012
MSC:
90B05
The coordination control without model of cloud computing service composition systems. (Chinese. English summary) Zbl 1340.68003
Prediction-driven coordination of distributed MPC controllers for linear unconstrained dynamic systems. (English) Zbl 1317.93015
A decision model of supply chain quantity flexibility contract with options. (Chinese. English summary) Zbl 1313.90021
Vendor-buyer integrated inventory model with quality improvement and negative exponential lead time crashing cost. (English) Zbl 1395.90022
MSC:
90B05
A platoon dispersion model based on truncated lognormal distribution of speed. (Chinese. English summary) Zbl 1299.90090
MSC:
90B20
Reordering policy and coordination of a supply chain with a loss-averse retailer. (English) Zbl 1276.90032
Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions. (English) Zbl 1259.68129
MSC:
68Q60
A framework for automated distributed implementation of component-based models. (English) Zbl 1256.68016
A three-hierarchy supply chain coordination model based on bi-level programming under fuzzy demand environment. (Chinese. English summary) Zbl 1249.90005
Modeling dynamic reconfigurations in Reo using high-level replacement systems. (English) Zbl 1211.68052
Multi-agent coordination for market environments. Towards a next generation electricity infrastructure based on microgrids. (English) Zbl 1216.93005
Negenborn, Rudy R. (ed.) et al., Intelligent infrastructures. Dordrecht: Springer (ISBN 978-90-481-3597-4/hbk; 978-90-481-3598-1/ebook). Intelligent Systems, Control and Automation: Science and Engineering 42, 151-177 (2010).
An inventory coordination model with single-manufacturer and single-buyer for a deteriorating item. (Chinese. English summary) Zbl 1224.90009
Automated analysis of Reo circuits using symbolic execution. (English) Zbl 1364.68142
Salaün, Gwen (ed.) et al., Proceedings of the 8th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2009),
Rhodes, Greece, July 11, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 255, 137-158 (2009).
Coordinating asynchronous and open distributed systems under semiring-based timing constraints. (English) Zbl 1347.68032
Canal, Carlos (ed.) et al., Proceedings of the 7th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2008), Reykjavik, Iceland, July 13, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 2, 133-153 (2009).
Deconstructing image. (English) Zbl 1347.68077
Canal, Carlos (ed.) et al., Proceedings of the 7th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2008), Reykjavik, Iceland, July 13, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 2, 43-58 (2009).
Secure and conditional resource coordination for successful collaborations. (English) Zbl 1184.68103
Bertino, Elisa (ed.) et al., Collaborative computing: networking, applications and worksharing. 4th international ICST conference, CollaborateCom 2008, Orlando, FL, USA, November 13–16, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03353-7/pbk; 978-3-642-03354-4/ebook). Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering 10, 287-303 (2009).
MSC:
68M14
Using the multi-living agent concept to investigate complex information systems. (English) Zbl 1192.68698
Manufacturer-buyer coordination for newsvendor-type-products with two ordering opportunities and partial backorders. (English) Zbl 1176.90391
MSC:
90B90
Supply chain coordination with CVaR criterion. (English) Zbl 1177.90048
MSC:
90B06
91B30
Execution errors in retail supply chains: analysis of the case of misplaced products. (English) Zbl 1283.93053
Connector rewriting with high-level replacement systems. (English) Zbl 1277.68193
Canal, Carlos (ed.) et al., Proceedings of the 6th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2007), Lisbon, Portugal, September 8, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 194, No. 4, 77-92 (2008).
Comparing three coordination models: Reo, ARC, and RRD. (English) Zbl 1277.68208
Canal, Carlos (ed.) et al., Proceedings of the 6th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2007), Lisbon, Portugal, September 8, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 194, No. 4, 39-55 (2008).
A formal framework for interactive agents. (English) Zbl 1277.68207
Goldin, Dina (ed.) et al., Proceedings of the workshop on the foundations of interactive computation (FinCo 2007), Braga, Portugal, March 31, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 3, 95-106 (2008).
Linear temporal logic of constraint automata. (English) Zbl 1188.68176
Sarbazi-Azad, Hamid (ed.) et al., Advances in computer science and engineering. 13th international CSI computer conference, CSICC 2008, Kish Island, Iran, March 9–11, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-540-89984-6/pbk; 978-3-540-89985-3/ebook). Communications in Computer and Information Science 6, 972-975 (2008).
MSC:
68Q45
Quantifying supply chain ineffectiveness under uncoordinated pricing decisions. (English) Zbl 1138.90410
MSC:
90B50
Analysis of the impact of price-sensitivity factors on the returns policy in coordinating supply chain. (English) Zbl 1149.90019
MSC:
90B05
91B40
Trajectory control of multiple aircraft: an NMPC approach. (English) Zbl 1220.49024
Findeisen, Rolf (ed.) et al., Assessment and future directions of nonlinear model predictive control. Selected papers based on the presentations at the workshop (NMPC05), Freudenstadt-Lauterbad, Germany, August 26–30, 2005. Berlin: Springer (ISBN 978-3-540-72698-2/pbk). Lecture Notes in Control and Information Sciences 358, 629-639 (2007).
Model predictive path-space iteration for multi-robot coordination. (English) Zbl 1223.93087
Grundel, Don (ed.) et al., Cooperative systems. Control and optimization. Many papers based on the presentations at the 5th international conference on cooperative control and optimization, Gainesville, FL, USA, January 20–22, 2005. Berlin: Springer (ISBN 978-3-540-48270-3/pbk). Lecture Notes in Economics and Mathematical Systems 588, 229-253 (2007).
Optimal decision for manufacturing-retailing supply chain using returns policy. (Chinese. English summary) Zbl 1150.90329
Social laws in alternating time: effectiveness, feasibility, and synthesis. (English) Zbl 1120.68097
Classification of security properties in a Linda-like process algebra. (English) Zbl 1103.68081
MSC:
68Q85
A discrete model for long time sintering. (English) Zbl 1146.74313
MSC:
74E20
Filter Results by …
Document Type
- Journal Articles (116)
- Collection Articles (23)
- Books (5)
all
top 5
Author
- Arbab, Farhad (6)
- De Nicola, Rocco (4)
- Degond, Pierre (3)
- Krause, Christian (3)
- Lazovik, Alexander (3)
- Sirjani, Marjan (3)
- Talcott, Carolyn L. (3)
- Frouvelle, Amic (2)
- Hojjat, Hossein (2)
- Loreti, Michele (2)
- Merino-Aceituno, Sara (2)
- Pourvatan, Bahman (2)
- Pugliese, Rosario (2)
- Rekik, Yacine (2)
- Ren, Shangping (2)
- Uthayakumar, Ramasamy (2)
- Vijayashree, M. (2)
- Wang, Shengdong (2)
- Weng, Z. Kevin (2)
- Zhou, Yongwu (2)
- Aldini, Alessandro (1)
- Arrieta-Camacho, Juan J. (1)
- Attiya, Hagit (1)
- Autili, Marco (1)
- Babik, Fabrice (1)
- Bai, Qingguo (1)
- Baier, Christel (1)
- Banaszak, Zbigniew Antoni (1)
- Basten, Twan (1)
- Behrens, Doris A. (1)
- Berman, Oded (1)
- Bernussou, Jacques (1)
- Besançon, Gildas (1)
- Bhosale, M. R. (1)
- Bian, Yuetang (1)
- Biegler, Lorenz T. (1)
- Biryukov, S. I. (1)
- Bonakdarpour, Borzoo (1)
- Bozga, Marius (1)
- Bravetti, Mario (1)
- Brogi, Antonio (1)
- Bryson, Jay H. (1)
- Buscher, Udo (1)
- Cai, Jianhu (1)
- Cao, Shaozhong (1)
- Casanova, Adrián González (1)
- Cass, J. F. (1)
- Castañeda, Armando (1)
- Chakravarty, Amiya K. (1)
- Chang, Ying (1)
- Chaudron, Michel (1)
- Chen, Chun Lung Philip (1)
- Chen, Kebing (1)
- Chen, Liang (1)
- Chen, Shiping (1)
- Chen, Xuewu (1)
- Chen, Ya (1)
- Chen, Zhisong (1)
- Chibani, Lahbib (1)
- Chutani, Anshuman (1)
- Čičič, Mladen (1)
- Clarke, Dave (1)
- Coelho, Jorge (1)
- Cruz, José B. jun. (1)
- Cui, Xiangyu (1)
- Dai, Huaping (1)
- Dallery, Yves (1)
- Dankowicz, Harry J. (1)
- Darwish, Mohamed G. (1)
- Daun, Silvia (1)
- de Vink, Erik P. (1)
- Deconinck, Geert (1)
- Deng, Aimin (1)
- Deng, Lili (1)
- Ding, Jianfeng (1)
- Drechsler, Martin (1)
- Du, Wei (1)
- Dumitrescu, Romeo A. (1)
- Ellis, J. E. (1)
- Ereshko, F. I. (1)
- Espinosa-Vega, Marco A. (1)
- Falcone, Paolo (1)
- Ferrari, Gian Luigi (1)
- Fierro, Rafael (1)
- Finkbeiner, Bernd (1)
- Forbes, J. Fraser (1)
- Franz, Alexander (1)
- Frison, Gianluca (1)
- Fu, Yunyun (1)
- Fu, Zhiming (1)
- Gan, Quancai (1)
- Gao, Yanan (1)
- Gholamian, Mohammad Reza (1)
- Glock, Christoph H. (1)
- Goeman, Henk J. M. (1)
- Gorla, Daniele (1)
- Gorrieri, Roberto (1)
- Gros, Sebastien (1)
- Guay, Martin (1)
- Guesnerie, Roger (1)
- and 220 more Authors
all
top 5
Serial
- Eur. J. Oper. Res. (11)
- Sci. Comput. Program. (8)
- Physica A (4)
- Autom. Remote Control (4)
- J. Syst. Eng. (4)
- Theor. Comput. Sci. (3)
- Control Decis. (3)
- J. Ind. Manag. Optim. (3)
- Biol. Cybern. (2)
- Int. J. Control (2)
- Int. Econ. Rev. (2)
- J. Syst. Sci. Math. Sci. (2)
- Asia-Pac. J. Oper. Res. (2)
- Open Econ. Rev. (2)
- RAIRO, Oper. Res. (2)
- Control Theory Appl. (2)
- Int. J. Syst. Sci. (1)
- J. Comput. Phys. (1)
- J. Mech. Phys. Solids (1)
- Automatica (1)
- Èkon. Mat. Metody (1)
- IEEE Trans. Autom. Control (1)
- Inf. Sci. (1)
- J. Assoc. Comput. Mach. (1)
- J. Comput. Syst. Sci. (1)
- J. Econ. Theory (1)
- J. Oper. Res. Soc. (1)
- Nav. Res. Logist. (1)
- RAIRO, Autom. Syst. Anal. Control (1)
- SIAM J. Comput. (1)
- Synthese (1)
- Optim. Control Appl. Methods (1)
- Oper. Res. Lett. (1)
- Math. Pract. Theory (1)
- Comput. Oper. Res. (1)
- J. Qufu Norm. Univ., Nat. Sci. (1)
- J. Econ. Dyn. Control (1)
- Math. Comput. Modelling (1)
- Formal Asp. Comput. (1)
- Ann. Oper. Res. (1)
- Int. J. Inf. Manage. Sci. (1)
- Int. J. Found. Comput. Sci. (1)
- J. Supercomput. (1)
- Math. Models Methods Appl. Sci. (1)
- Games Econ. Behav. (1)
- Appl. Math. Modelling (1)
- Probl. Control Inf. Theory (1)
- Automatisierungstechnik (1)
- Distrib. Comput. (1)
- Nord. J. Comput. (1)
- J. Comput. Neurosci. (1)
- Eng. Anal. Bound. Elem. (1)
- Discrete Contin. Dyn. Syst. (1)
- Comput. Math. Organ. Theory (1)
- Int. Trans. Oper. Res. (1)
- Eur. J. Control (1)
- J. Hunan Univ., Nat. Sci. (1)
- J. Comb. Optim. (1)
- Math. Comput. Model. Dyn. Syst. (1)
- Nat. Resour. Model. (1)
- J. Syst. Sci. Complex. (1)
- J. Harbin Eng. Univ. (1)
- Comput. Inform. (1)
- J. Southeast Univ., Nat. Sci. (1)
- J. Northeast. Univ., Nat. Sci. (1)
- Multiscale Model. Simul. (1)
- ACM Trans. Comput. Log. (1)
- Iran. J. Fuzzy Syst. (1)
- Sci. China, Ser. F (1)
- Electr. Eng. Electron. (1)
- GMD-Ber. (1)
- Lect. Notes Eng. (1)
- North-Holland Syst. Control Ser. (1)
- ALEA, Lat. Am. J. Probab. Math. Stat. (1)
- J. Phys. A, Math. Theor. (1)
- Log. Methods Comput. Sci. (1)
- Asian J. Control (1)
- Dyn. Games Appl. (1)
- Asia Pac. J. Math. (1)
- J. Log. Algebr. Methods Program. (1)
all
top 5
Year of Publication
- 2024 (2)
- 2023 (4)
- 2022 (6)
- 2021 (4)
- 2020 (8)
- 2019 (7)
- 2018 (9)
- 2017 (7)
- 2016 (4)
- 2015 (7)
- 2014 (6)
- 2013 (4)
- 2012 (5)
- 2011 (2)
- 2010 (4)
- 2009 (7)
- 2008 (7)
- 2007 (4)
- 2006 (1)
- 2005 (3)
- 2004 (4)
- 2003 (3)
- 2002 (1)
- 2001 (4)
- 2000 (2)
- 1999 (1)
- 1998 (3)
- 1996 (1)
- 1995 (3)
- 1994 (3)
- 1989 (1)
- 1988 (2)
- 1987 (1)
- 1986 (1)
- 1985 (1)
- 1984 (3)
- 1983 (1)
- 1982 (1)
- 1981 (3)
- 1979 (3)
- 1978 (1)
all
top 3
Software
- Reo (10)
- Linda (7)
- KLAIM (6)
- 2APL (2)
- AUTO (2)
- LIME (2)
- Maude (2)
- PAGODA (2)
- PRISM (2)
- ReSpecT (2)
- Reoservice (2)
- mCRL2 (2)
- AGG (1)
- AMPL (1)
- AUTO-07P (1)
- AgentSpeak (1)
- CADP (1)
- COWS (1)
- CPLEX (1)
- CPN/Tools (1)
- Design/CPN (1)
- Erlang (1)
- GROOVE (1)
- HomCont (1)
- ImpUNITY (1)
- Ipopt (1)
- Jason (1)
- Klava (1)
- LearnLib (1)
- MOCHA (1)
- Matlab (1)
- MetaKlaim (1)
- MultiVeStA (1)
- PICCOLA (1)
- Paxos (1)
- Pirlo (1)
- SCEL (1)
- SCELlight (1)
- SHARPE (1)
- SPIN (1)
- Succinct (1)
- TINA (1)
- UNITY (1)
- Woflan (1)