37,195 Hits in 7.1 sec

Guest editorial object-oriented methods for distributed control architectures

2002 IEEE Transactions on Robotics and Automation  
Viswanadham for his dedicated and quality handling of this Special Section, and past Associate Editor Yadati Narahari for handling the review of two Special Section papers.  ...  Special thanks also go to the Transactions Editorial Board for their support and help from the initial stage of proposal preparation to the final stage of publication, and to the many anonymous reviewers  ...  "Architectural Models for Global Automation Systems," by Davide Brugali and Giuseppe Menga, is an example of an object-oriented architecture for a large-scale problem.  ... 
doi:10.1109/tra.2002.805247 fatcat:z7muwrnk6vajth7imjytkhhaeq

Editorial overview: Reaction and catalysis engineering: Back to fundamentals

Marc-Olivier Coppens, Theodore T Tsotsis
2016 Current Opinion in Chemical Engineering  
Marin and colleagues note that automated procedures exist to construct large kinetic models of  ...  No model is perfect, but it needs to be an adequate representation of reality, and so it should include all relevant ingredients to be the basis for trustworthy process analysis and design.  ...  The EMMS method has achieved a lot of success, and is now even applied for the design of industrial processes.  ... 
doi:10.1016/j.coche.2016.08.012 fatcat:otz5eeidonhfhmuphfo7xcox7e

Introduction to the IEEE Society on Systems, Man, and Cybernetics

2021 2020 2nd International Conference on Societal Automation (SA)  
We wish to acknowledge the Conference sponsors: IEEE Systems, Man, and Cybernetics Society; Industrial Systems Institute, Patras, Greece; Innovation 4.0 Institute; (ISEG) Lisbon School of Economics & Management  ...  Imre Rudas, President, 2020-2021, IEEE Systems, Man, and Cybernetics Society for the support the Conference received from inception.  ...  A good example of a large-scale ultra-complex engineering system is in the concept of the city of the future.  ... 
doi:10.1109/sa51175.2021.9507108 fatcat:37xhvzb77nbntissyias4svsza

Embedded computing - Formal methods in embedded design

S.D. Johnson
2003 Computer  
There is at best a marginal relationship between the notion of mathematical rigor and the mechanical rigidity of automated reasoning.  ...  Like the situation with hardware in the Formal Methods Terminology Formal methods are often described as the application of mathematical rigor to system design and implementation.  ... 
doi:10.1109/mc.2003.1244539 fatcat:wctoe3stwrfttc6webv6usdd54

System Design in the Era of IoT — Meeting the Autonomy Challenge

Joseph Sifakis
2018 Electronic Proceedings in Theoretical Computer Science  
The advent of IoT is a great opportunity to reinvigorate Computing by focusing on autonomous system design.  ...  Our proposal for knowledge-based design seeks a compromise: preserving rigorousness despite the fact that essential properties cannot be guaranteed at design time.  ...  There is currently a striking contrast between the ambition for increasingly large autonomous systems in the framework of IoT and the lack of adequate rigorous design methods and supported by tools.  ... 
doi:10.4204/eptcs.272.1 fatcat:42xiaitdkzaxpo6doygaglbya4

Selected Papers from SLA++P 07 and 08 Model-Driven High-Level Programming of Embedded Systems

Florence Maraninchi, Michael Mendler, Marc Pouzet, Alain Girault, Eric Rutten
2008 EURASIP Journal on Embedded Systems  
Model-based high-level programming of embedded systems has become a reality in the automotive and avionics industries.  ...  Strong interest is emerging in component programming for large-scale embedded systems, in the link between simulation tools and compiler tools, in languages for describing the system and its environment  ...  Model-based high-level programming of embedded systems has become a reality in the automotive and avionics industries.  ... 
doi:10.1155/2008/376920 fatcat:bh5to5zogfhb3d6ygb7ql3bgjm

SEAA 2020 Opinion

2020 2020 46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)  
and leading a research group on Software Engineering Intelligence.  ...  award, the College of Engineering and Computer Science distinguished research award, 4 best paper awards, and his AIbased software refactoring invention, licensed and deployed by industrial partners,  ...  His main interests are rigorous and practical software and system development methods based on adequate modeling techniques.  ... 
doi:10.1109/seaa51224.2020.00009 fatcat:ekfvk57zhbfllntx5i7bmqn3ie

Perspectives for process systems engineering—Personal views from academia and industry

Karsten-Ulrich Klatt, Wolfgang Marquardt
2009 Computers and Chemical Engineering  
Furthermore, systems thinking and systems problem solving have to be prioritized rather than the mere application of computational problem solving methods.  ...  Emphasis should be put on model-based applications in all PSE domains including product and process design, control and operations.  ...  Small-scale production PSE has been largely focusing on methods and tools for design, control and operation of large-scale chemical processes operated in continuous mode.  ... 
doi:10.1016/j.compchemeng.2008.09.002 fatcat:i3bqe52p7rbwllvs75t6kwlt4u

Industrial Cyber-Physical Systems – iCyPhy [chapter]

Amit Fisher, Clas A. Jacobson, Edward A. Lee, Richard M. Murray, Alberto Sangiovanni-Vincentelli, Eelco Scholte
2014 Complex Systems Design & Management  
ICyPhy is a pre-competitive industry-academic partnership focused on architectures, abstractions, technologies, methodologies, and supporting tools for the design, modeling, and analysis of large-scale  ...  , and industrial automation.  ...  Industrial Motivation Efficient and effective design of distributed multi-scale complex systems is largely an unsolved problem.  ... 
doi:10.1007/978-3-319-02812-5_2 dblp:conf/csdm/FisherJLMSS13 fatcat:pnb2o3qkbfcwjoqmbw6syvky5i

Challenges in Optimization and Control of Biobased Process Systems: An Industrial-Academic Perspective

Franz D. Bähner, Oscar A. Prado-Rubio, Jakob K. Huusom
2021 Industrial & Engineering Chemistry Research  
By replacing rules-of-thumb and oversimplified calculations with rigorous quantification and automation, PSE increases the profitability of a wide range of processes.  ...  Process Systems Engineering (PSE) approaches have been applied successfully in large-scale chemical production to optimize processes of high complexity.  ...  Still, the complexity of decision-making processes calls for formal methods and the use of models−yet, a balance between model-based methods and heuristics needs to be found where modeling challenges (  ... 
doi:10.1021/acs.iecr.1c01792 fatcat:loyps4ozczcjjnevdeixjapaha

Accelerating Biologics Manufacturing by Modeling or: Is Approval under the QbD and PAT Approaches Demanded by Authorities Acceptable Without a Digital-Twin?

Steffen Zobel-Roos, Axel Schmidt, Fabian Mestmäcker, Mourad Mouellef, Maximilian Huter, Lukas Uhlenbrock, Martin Kornecki, Lara Lohmann, Reinhard Ditz, Jochen Strube
2019 Processes  
Finally, an analysis of the obstacles and possiblesolutions for any successful and efficient industrialization of innovative methods from processdevelopment, through piloting to manufacturing, results  ...  being modeled by a "digital-twin" as part of the filing documentation?  ...  and design • as well as for operation of process development laboratory scale-down equipment automated and PAT equipped, piloting and manufacturing • PAT sensor implementation • Automation/process control  ... 
doi:10.3390/pr7020094 fatcat:nayeu6oxarbqjobqfoyvxpsrqq

Adopting Automated Bug Assignment in Practice – A Registered Report of an Industrial Case Study [article]

Markus Borg, Leif Jonsson, Emelie Engström, Béla Bartalos, Attila Szabo
2021 arXiv   pre-print
[Method] We design an industrial case study combining interviews with TRR developers and users with analysis of data extracted from the bug tracking system at Ericsson.  ...  [Background/Context] The continuous inflow of bug reports is a considerable challenge in large development projects.  ...  reports to teams in large scale industrial contexts, use machine learning to automate bug assignment.  ... 
arXiv:2109.13635v1 fatcat:x5kf4kvc7zcspgz3qxfdqrhezi

Achieving Low Cost and High Quality Aero Structure Assembly through Integrated Digital Metrology Systems

J.E. Muelaner, O.C. Martin, P.G. Maropoulos
2013 Procedia CIRP  
Measurement assisted assembly (MAA) has the potential to facilitate a step change in assembly efficiency for large structures such as airframes through the reduction of rework, manually intensive processes  ...  These advances will require the development of automated networks of measurement instruments; model based thermal compensation, the automatic integration of 'live' measurement data into variation simulation  ...  Acknowledgements This work has been carried out as part of the EPSRC, IdMRC at the Mechanical Engineering Department of the University of Bath, under grant No. EP/E00184X/1.  ... 
doi:10.1016/j.procir.2013.06.054 fatcat:rhlhaudcc5ey5p4tbg4s64i2ze

Software Verification — A Scalable, Model-Driven, Empirically Grounded Approach [chapter]

Lionel C. Briand
2009 Simula Research Laboratory  
As a result, existing V&V technology in many industry sectors is no match for the scale and complexity of software systems, and this makes it difficult to ensure the dependability of software systems in  ...  Also UML 2.0 contains many features that support the modelling of large-scale, complex systems.  ... 
doi:10.1007/978-3-642-01156-6_28 fatcat:lkad7ajiwnaeljqeslwk6jr2x4

Manufacturing plant control: Challenges and issues

Gérard Morel, Carlos Eduardo Pereira
2007 Control Engineering Practice  
Enterprise control system integration between business systems, manufacturing execution systems and shop-floor process-control systems remains a key issue for facilitating the deployment of plant-wide  ...  over networks, holonic manufacturing execution systems and their related agent-based technology, and applying formal methods to ensure dependable control of these manufacturing systems.  ...  Klein et al. (2005) , for instance, focus on the identification of large-scale discreteevent dynamic systems for fault detection.  ... 
doi:10.1016/j.conengprac.2007.06.003 fatcat:lmszqjfbm5eh5kdxwelcu342z4
« Previous Showing results 1 — 15 out of 37,195 results