Search results for "combustion"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
152	Osman Yasar	Plasma Modeling of Ignition for Combustion Simulations.	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF	Engine Combustion Simulations, Spark Ignition Modeling, Plasma Properties, Equation of State Data, Computational Fluid Dynamics
131	Jacqueline Chen	Combustion - Terascale direct numerical simulations of turbulent combustion.	SC	2006	DBLP DOI BibTeX RDF
116	Suresh Menon, Vaidyanathan Sankaran, Christopher P. Stone	Combustion Dynamics of Swirling Turbulent Flames.	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF
91	Olivier Grondin, Jonathan Chauvin, Fabrice Guillemin, Emmanuel Nguyen, Gilles Corde	Combustion parameters estimation and control using vibration signal : Application to the Diesel HCCI engine.	CDC	2008	DBLP DOI BibTeX RDF
88	Shaohua Ma, Zhiyuan Cai, Ying Hua, Xiaobai Li, Yangyang Ge	An Approach of Combustion Diagnosis in Boiler Furnace Based on Phase Space Reconstruction.	ICIC (3)	2007	DBLP DOI BibTeX RDF	combustion diagnosis, state distinguish, chaos, correlation dimension, phase space reconstruction
88	Gang Xie 0001, Xuebin Liu, Lifei Wang, Keming Xie	Rough-Sets-Based Combustion Status Diagnosis.	RSKT	2006	DBLP DOI BibTeX RDF	threshold segmentation, combustion diagnosis, image process, Rough sets
88	Jyunji Shinjo, Yashuhiro Mizobuchi, Satoru Ogawa	LES of Unstable Combustion in a Gas Turbine Combustor.	ISHPC	2003	DBLP DOI BibTeX RDF	premixed combustion, gas turbine and swirl combustor, instabilities, large-eddy simulation
76	Jingyi Du, Lu Wang	A Model Based on SVM for Predicting Spontaneous Combustion of Coal.	RSKT	2009	DBLP DOI BibTeX RDF	spontaneous combustion of coal, the minimum float coal thickness, Support vector machines, prediction
67	Gabriel Staffelbach	Combustion - High performance computing for combustion applications.	SC	2006	DBLP DOI BibTeX RDF
66	F. A. Williams	3. Turbulent Combustion.	The Mathematics of Combustion	1985	DBLP DOI BibTeX RDF
66	John D. Buckmaster	1. An Introduction to Combustion Theory.	The Mathematics of Combustion	1985	DBLP DOI BibTeX RDF
66	Herschel Rabitz	2. Sensitivity Analysis of Combustion Systems.	The Mathematics of Combustion	1985	DBLP DOI BibTeX RDF
65	Mathieu Hillion, Jonathan Chauvin, Nicolas Petit	Open-loop combustion timing control of a Spark-Ignited engine.	CDC	2008	DBLP DOI BibTeX RDF
65	Haiyan Wu, Hongbo Wang, Mingbo Sun, Jin Zhou	Experimental and Simulation Investigation in Fractal Dimension of Supersonic Combustion.	ICYCS	2008	DBLP DOI BibTeX RDF
65	Y. Bo, H. Cai, S. D. Xie	Estimation of Chinese Inventories for Historical NMVOCs Emissions from Combustion.	FSKD (4)	2008	DBLP DOI BibTeX RDF
65	Lei A. Clifton, Hujun Yin, Yang Zhang	Support Vector Machine in Novelty Detection for Multi-channel Combustion Data.	ISNN (2)	2006	DBLP DOI BibTeX RDF
65	Paola Belardini, Claudio Bertoli, Stefania Corsaro, Pasqua D'Ambra	The Impact of Different Stiff ODE Solvers in Parallel Simulation of Diesel Combustion.	HPCC	2005	DBLP DOI BibTeX RDF
65	Julien Bohbot, Marc Zolver, Diego Klahr, Arnaud Torres	Three Dimensional Modelling of Combustion in a Direct Injection Diesel Engine Using a New Unstructured Parallel Solver.	ICCSA (1)	2003	DBLP DOI BibTeX RDF
65	Angela Violi, Xiaodong Chen, Gary Lindstrom, Eric Eddings, Adel F. Sarofim	Validation Web Site: A Combustion Collaboratory over the Internet.	International Conference on Computational Science (2)	2001	DBLP DOI BibTeX RDF
63	Hans A. J. A. van Kuijk, Rob J. M. Bastiaans, Jeroen A. van Oijen, L. Philip H. de Goey	Grate Furnace Combustion: A Submodel for the Solid Fuel Layer.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF	Grate furnace, reverse combustion, biomass
63	Volker Stephan, Klaus Debes, Horst-Michael Gross, F. Wintrich, H. Wintrich	A Reinforcement Learning Based Neural Multi-Agent-System for Control of a Combustion Process.	IJCNN (6)	2000	DBLP DOI BibTeX RDF	combustion process, visual flame observation, Reinforcement-Learning
53	Wen-Yuan Niu	Social Combustion Theory: Dynamics of Social System Deterioration.	Complex (2)	2009	DBLP DOI BibTeX RDF	social harmony equation(SHE), social temperature, social physics
53	Lei A. Clifton, Hujun Yin, David A. Clifton, Yang Zhang	Combined Support Vector Novelty Detection for Multi-channel Combustion Data.	ICNSC	2007	DBLP DOI BibTeX RDF
53	Andrew Kusiak, Zhe Song	Combustion efficiency optimization and virtual testing: a data-mining approach.	IEEE Trans. Ind. Informatics	2006	DBLP DOI BibTeX RDF
53	Paola Belardini, Claudio Bertoli, Stefania Corsaro, Pasqua D'Ambra	Introducing Combustion-Turbulence Interaction in Parallel Simulation of Diesel Engines.	HPCC	2006	DBLP DOI BibTeX RDF
53	Yuji Ikeda, Dariusz Mazurkiewicz	Application of Neural Network Technique to Combustion Spray Dynamics Analysis.	Progress in Discovery Science	2002	DBLP DOI BibTeX RDF
52	J. F. Clarke	5. Finite Amplitude Waves in Combustible Gases.	The Mathematics of Combustion	1985	DBLP DOI BibTeX RDF
52	Wildon Fickett	4. Detonation in Miniature.	The Mathematics of Combustion	1985	DBLP DOI BibTeX RDF
51	Olivier Grondin, Jonathan Chauvin, Gilles Corde	Torque-oriented control of an homogeneous charge compression ignition vehicle.	CDC	2008	DBLP DOI BibTeX RDF
48	Bryan E. Feldman, James F. O'Brien, Okan Arikan	Animating suspended particle explosions.	ACM Trans. Graph.	2003	DBLP DOI BibTeX RDF	explosions, computational fluid dynamics, physically based animation, natural phenomena, fire, combustion
40	Roderick M. Riensche, Robert R. Lewis	Modeling and Rendering Physically-Based Wood Combustion.	ISVC (1)	2009	DBLP DOI BibTeX RDF
40	Dina Shona Laila, Engelbert Gruenbacher	Discrete-time nonlinear observer and output feedback design for a combustion engine test bench.	CDC	2008	DBLP DOI BibTeX RDF
40	Gabriel Staffelbach, Jean Mathieu Senoner, Laurent Gicquel, Thierry Poinsot	Large Eddy Simulation of Combustion on Massively Parallel Machines.	VECPAR	2008	DBLP DOI BibTeX RDF
40	Kyungha Min, Dimitris N. Metaxas	A combustion-based technique for fire animation and visualization.	Vis. Comput.	2007	DBLP DOI BibTeX RDF	Natural phenomena, Fluid simulation, Fire, Photon mapping
40	Zeki Melek, John Keyser	Modeling Decomposing Objects under Combustion.	IEEE Visualization	2004	DBLP DOI BibTeX RDF	solid object decomposition, physically based modeling
40	Kazuhiro Yamamoto	Two-Phase Automaton for Porous Structure and Combustion Simulation.	ACRI	2004	DBLP DOI BibTeX RDF
40	Victor Abrukov, Vitaly Schetinin, Pavel Deltsov	Using Artificial Neural Networks for Combustion Interferometry.	KES	2003	DBLP DOI BibTeX RDF
40	Karim Ouazzane, Kamel Zerzour	A New System Based on the Use of Neural Networks and Database for Monitoring Coal Combustion Efficiency.	IEA/AIE	2003	DBLP DOI BibTeX RDF
38	Shaun H. Lee, Robert J. Howlett, Simon D. Walters	Fuzzy and Neuro-fuzzy Techniques for Modelling and Control.	KES (1)	2006	DBLP DOI BibTeX RDF
38	Ivana Veljkovic, Paul E. Plassmann	Scalable Photon Monte Carlo Algorithms and Software for the Solution of Radiative Heat Transfer Problems.	HPCC	2005	DBLP DOI BibTeX RDF
38	Saranyan A. Vigraham, John C. Gallagher, Sanjay K. Boddhu	Evolving analog controllers for correcting thermoacoustic instability in real hardware.	GECCO	2005	DBLP DOI BibTeX RDF	evolvable hardware
38	Xing He, Ann R. Karagozian	Numerical Simulation of Pulse Detonation Engine Phenomena.	J. Sci. Comput.	2003	DBLP DOI BibTeX RDF	detonations, gasdynamics, reactive Euler equations, shock capturing schemes
37	Xiao Chun, Chen Jing, Youxin Yuan, Bihui Huang, Li Jia	Research on Kiln Body Health Monitoring of Ceramic Roller Kiln with Oxygen-Enriched and Pure Oxygen Combustion.	PACIIA (2)	2008	DBLP DOI BibTeX RDF	Oxygen-enriched and pure oxygen combustion, Kiln body, Fiber grating temperature sensor, Health monitoring
36	Sumir Chandra, Manish Parashar, Jaideep Ray	Analyzing the impact of computational heterogeneity on runtime performance of parallel scientific components.	SpringSim (2)	2007	DBLP BibTeX RDF	component-based combustion applications, structured grids, load balancing, high performance computing
36	Paulo Debenest, Edwardo F. Fukushima, Yuki Tojo, Shigeo Hirose	A New Approach to Humanitarian Demining.	Auton. Robots	2005	DBLP DOI BibTeX RDF	landmines, demining, buggy, combustion engine
29	Lijia Fang, Hardeep Singh, Mitsuhisa Ichiyanagi, Takashi Suzuki, Maria Simona Raboaca, Constantin Filote, Chaman Verma	Prediction of Heat Energy Release Rate for Ammonia Combustion in a Constant Volume Combustion Chamber: A Machine Learning Approach.	ECAI	2023	DBLP DOI BibTeX RDF
29	Bryan P. Maldonado, Kevin Zaseck, Eiki Kitagawa, Anna G. Stefanopoulou	Closed-Loop Control of Combustion Initiation and Combustion Duration.	IEEE Trans. Control. Syst. Technol.	2020	DBLP DOI BibTeX RDF
29	Sergey Y. Misyura, Andrey Yu. Manakov, Galina S. Nyashina, Olga S. Gaidukova, Vladimir S. Morozov, Sergey S. Skiba	Gas Hydrate Combustion in Five Method of Combustion Organization.	Entropy	2020	DBLP DOI BibTeX RDF
29	Rahul Bale, Wei Hsiang Wang, Chung-Gang Li, Keiji Onishi, Kenji Uchida, Hidefumi Fujimoto, Ryoichi Kurose, Makoto Tsubokura	A Scalable Framework for Numerical Simulation of Combustion in Internal Combustion Engines.	PASC	2020	DBLP DOI BibTeX RDF
29	Matthieu Nugue	Outils pour l'étude conjointe par simulation et traitement d'images expérimentales de la combustion de particules d'aluminium utilisées dans les propergols solides. (Tools to study the combustion of aluminum particles used in solid propellants via numerical simulation and experimental-image analysis).		2019	RDF
29	Amal Dhahak	Modélisation chimique détaillée de la combustion de la biomasse dans les appareils de chauffage domestique en vue de réduire leurs émissions polluantes. (Detailed chemical modeling of biomass combustion in domestic heating appliances in order to reduce their polluting emissions).		2019	RDF
29	Ibrahim Haskara, Yue-Yun Wang	Closed-Loop Combustion Noise Limit Control for Modern Diesel Combustion Modes.	IEEE Trans. Control. Syst. Technol.	2017	DBLP DOI BibTeX RDF
29	Gustave Arroyo-Callejo	Modélisation thermique avancée d'une paroi multiperforée de chambre de combustion aéronautique avec dilution giratoire. (Advanced Thermal Modeling of Multiperforated Plates of Jet-Engine Combustion Chambers with Compound Angle Injection).		2016	RDF
29	Wuqiao Luo, Yun Li 0002, Zhong Tian, Bo Gao, Ling Tong 0001, Houjun Wang, Baoqing Zeng	Survey of greener ignition and combustion systems for internal combustion engines.	ICAC	2015	DBLP DOI BibTeX RDF
29	Sadaf Shariati, Aline Aguiar da Franca, Berkay Oezer, Raimund Noske, Dirk Abel, Andreas Brockhinke	Modeling and model predictive control of combustion instabilities in a multi-section combustion chamber using two-port elements.	CCA	2014	DBLP DOI BibTeX RDF
29	Yan Shi, Yongfeng Liu, Xiaoshe Jia, Pucheng Pei, Yong Lu, Li Yi	Simulation on the Combustion System Work Process for Internal Combustion Engine by Using KIVA-3V.	CE	2014	DBLP DOI BibTeX RDF
29	Cristian Dinca, Adrian Badea, Vladimir Tanasiev, Horia Necula	Life Cycle Assessment of Circulating Fluidized Bed Combustion with CO2 Post-Combustion Capture.	ICSEng	2014	DBLP DOI BibTeX RDF
29	Ibrahim Haskara, Yue-Yun Wang	Cylinder Pressure-Based Combustion Controls for Advanced Diesel Combustion With Multiple-Pulse Fuel Injection.	IEEE Trans. Control. Syst. Technol.	2013	DBLP DOI BibTeX RDF
29	Feichi Zhang, Henning Bonart, Peter Habisreuther, Henning Bockhorn	Impact of Grid Refinement on Turbulent Combustion and Combustion Noise Modeling with Large Eddy Simulation.	High Performance Computing in Science and Engineering	2013	DBLP DOI BibTeX RDF
29	Pablo Salas	Physical and numerical aspects of thermoacoustic instabilities in annular combustion chambers. (Aspects nume'riques et physiques des instabilite's thermoacoustiques dans les chambres de combustion annulaires).		2013	RDF
29	Siegfried Helm, Martin Kozek, Stefan Jakubek	Combustion Torque Estimation and Misfire Detection for Calibration of Combustion Engines by Parametric Kalman Filtering.	IEEE Trans. Ind. Electron.	2012	DBLP DOI BibTeX RDF
29	Mouadh Yagoubi	Optimisation évolutionnaire multi-objectif parallèle : application à la combustion Diesel. (Multi-objective parallel evolutionary algorithms : Application to Diesel Combustion).		2012	RDF
29	Anthony Ruiz	Unsteady Numerical Simulations of Transcritical Turbulent Combustion in Liquid Rocket Engines. (Simulations Numériques Instationnaires de la Combustion Turbulente et Transcritique dans les Moteurs Cryotechniques).		2012	RDF
29	Cemal Özcan	Yeni bir yanma düzeneğinin hazırlanması ve ısıl işlem görmüş ağaç malzemelerin yanma özelliklerinin belirlenmesi (Preparation of a new combustion mechanism and determine combustion properties heat treatment of wood materials)		2011	RDF
29	Vincent Fichet	Modélisation de la combustion du gaz naturel par réseaux de réacteurs avec cinétique chimique détaillée. (Modelling of natural gas combustion based on reactor networks with detailed chemical kinetics).		2008	RDF
29	Florent Duchaine	Optimisation de Forme Multi-Objectif sur Machines Parallèles avecMéta-Modèles et Coupleurs. Application aux Chambres de Combustion Aéronautiques. (Multiobjective Shape Optimization on Parallel Architectures withMetamodels and Couplers. Application to Aeronautical Combustion Chambers).		2007	RDF
29	Ghislain Lartigue	Simulation des grandes Echelles et Instabilites de combustion. (Large Eddy simulation and combustion instabilities).		2004	RDF
29	Emmanuel Bodèle	Modélisation et simulation de l'atomisation secondaire et de la vaporisation turbulente. Application à la combustion cryotechnique. (Modeling and simulation of secondary atomization and turbulent vaporization. Application to cryotechnic combustion).		2004	RDF
29	Karine Cannevière	Simulation Numérique Directe de la combustion turbulente diphasique: Application à l'étude de la propagation et de la structure des flammes. (Direct Numerical Simulation of two-phases turbulent combustion : Application to study of propagation and structure of flames).		2003	RDF
29	Carmen M. Pancerella, Larry A. Rahn, Christine L. Yang	The Diesel Combustion Collaboratory: Combustion Researchers Collaborating over the Internet.	SC	1999	DBLP DOI BibTeX RDF
27	Erik Schaffernicht, Volker Stephan, Klaus Debes, Horst-Michael Gross	Machine Learning Techniques for Selforganizing Combustion Control.	KI	2009	DBLP DOI BibTeX RDF
27	Hirotaka Kaji, Hajime Kita	Acceleration of Experiment-Based Evolutionary Multi-objective Optimization of internal-combustion engine controllers using fitness estimation.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
27	Konrad Swirski, Konrad Wojdan	Immune Inspired Optimizer of Combustion Process in Power Boiler.	IEA/AIE	2007	DBLP DOI BibTeX RDF	Optimization, Artificial Immune Systems, Intelligent Systems, Adaptive Control, Bio-informatics, Systems for Real Life Applications
27	Tran Vu Pham, Peter M. Dew, Lydia M. S. Lau, Michael J. Pilling	Enabling e-Research in Combustion Research Community.	e-Science	2006	DBLP DOI BibTeX RDF
27	Esteban García-Cuesta, Inés María Galván, Antonio J. de Castro	Spectral High Resolution Feature Selection for Retrieval of Combustion Temperature Profiles.	IDEAL	2006	DBLP DOI BibTeX RDF
27	Moussa Akil, Christine Servière	Separability of Convolutive Mixtures: Application to the Separation of Combustion Noise and Piston-Slap in Diesel Engine.	ICA	2006	DBLP DOI BibTeX RDF
27	Raquel S. Whittlesey-Harris, Mikhail Nesterenko	Fault-Tolerance Verification of the Fluids and Combustion Facility of the International Space Station.	ICDCS Workshops	2006	DBLP DOI BibTeX RDF
27	Rob J. M. Bastiaans, S. M. Martin, Heinz Pitsch, Jeroen A. van Oijen, L. Philip H. de Goey	Flamelet Analysis of Turbulent Combustion.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF
27	Rafael Aleixandre-Benavent, Juan Carlos Valderrama Zurián, José María Desantes, Antonio J. Torregrosa	Identification of information sources and citation patterns in the field of reciprocating internal combustion engines.	Scientometrics	2004	DBLP DOI BibTeX RDF
27	Charles A. Rendleman, Vincent E. Beckner, Mike Lijewski	Parallelization of an Adaptive Mesh Refinement Method for Low Mach Number Combustion.	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF
27	Samir Muzaferija, Volker Seidl, Aron Kneer	Parallel Multidimensional Calculation of Steady-State and Time-Dependent Flows with Combustion.	Euro-Par	1997	DBLP DOI BibTeX RDF
25	Christoph Kallenberger, Haris Hamedovic, Abdelhak M. Zoubir	Evaluation of torque estimation using gray-box and physical crankshaft modeling.	ICASSP	2008	DBLP DOI BibTeX RDF
25	Yongfeng Liu, Youtong Zhang, Hongsen Tian, Jianjun Qin	Three-Dimensional Simulation and Experiment in a High-Speed Direct-Injection Diesel Engine Based on KIVA-3V Code.	CSSE (2)	2008	DBLP DOI BibTeX RDF
25	Zhe Song, Andrew Kusiak	Constraint-Based Control of Boiler Efficiency: A Data-Mining Approach.	IEEE Trans. Ind. Informatics	2007	DBLP DOI BibTeX RDF
25	Weixing Wang	Burning material detection in real time.	SMC (7)	2004	DBLP DOI BibTeX RDF
25	Apichart Tuntrakoon, Suwat Kuntanapreeda	Image-Based Flame Control of a Premixed Gas Burner Using Fuzzy Logics.	ISMIS	2003	DBLP DOI BibTeX RDF
25	Zeki Melek, John Keyser	Interactive Simulation of Burning Objects.	PG	2003	DBLP DOI BibTeX RDF
25	Olivier Bournez, Guy-Marie Côme, Valérie Conraud, Hélène Kirchner, Liliana Ibanescu	Automated Generation of Kinetic Chemical Mechanisms Using Rewriting.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
25	Olivier Bournez, Guy-Marie Côme, Valérie Conraud, Hélène Kirchner, Liliana Ibanescu	A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms.	RTA	2003	DBLP DOI BibTeX RDF
25	Wei Cai, Xian-He Sun	Adaptive Wavelet ADI Method: Application and Parallelization.	ICPP Workshops	2000	DBLP DOI BibTeX RDF
25	Amanda J. C. Sharkey, Gopinath Odayammadath Chandroth, Noel E. Sharkey	Acoustic Emission, Cylinder Pressure and Vibration: A Multisensor Approach to Robust Fault Diagnosis.	IJCNN (6)	2000	DBLP DOI BibTeX RDF
25	Jin Liu, Martin Brooke	Fully parallel on-chip learning hardware neural network for real-time control.	ISCAS (5)	1999	DBLP DOI BibTeX RDF
25	Adam L. Turk, Scott T. Probst, Gary J. Powers	Verification of a Chemical Process Leak Test Procedure.	CAV	1997	DBLP DOI BibTeX RDF
25	Fredric C. Jaye, Ronald J. Reiner	Use of a multi-programming mini-computer for real time control applications.	AFIPS National Computer Conference	1974	DBLP DOI BibTeX RDF
23	Peer-Timo Bremer, Gunther H. Weber, Julien Tierny, Valerio Pascucci, Marcus S. Day, John B. Bell	Interactive Exploration and Analysis of Large-Scale Simulations Using Topology-Based Data Segmentation.	IEEE Trans. Vis. Comput. Graph.	2011	DBLP DOI BibTeX RDF	merge trees, segmentation, Topology, Morse theory, streaming algorithms, combustion
23	Peer-Timo Bremer, Gunther H. Weber, Valerio Pascucci, Marcus S. Day, John B. Bell	Analyzing and Tracking Burning Structures in Lean Premixed Hydrogen Flames.	IEEE Trans. Vis. Comput. Graph.	2010	DBLP DOI BibTeX RDF	topological data analysis, Morse complex, combustion simulations, burning regions, Visualization, data analysis, feature detection, feature tracking, Reeb graph
23	Hadzli Hashim, M. A. Haron, F. N. Osman, S. A. M. Al Junid, M. F. M. Idros, W. Wan Nawang	Artificial Neural Networks Based Algorithm for Identifying Engine Oil Parameters.	CICSyN	2010	DBLP DOI BibTeX RDF	lubricant, viscosity, Spectropohotometer, ANN, component, resistance, transmittance, combustion
23	Jeong-Mo Hong, Tamar Shinar, Ronald Fedkiw	Wrinkled flames and cellular patterns.	ACM Trans. Graph.	2007	DBLP DOI BibTeX RDF	cellular patterns, fire, flame, combustion
23	Francisco J. Serón, Diego Gutierrez, Juan A. Magallon, Luis Ferragut, M. Isabel Asensio	The Evolution of a WILDLAND Forest FIRE FRONT.	Vis. Comput.	2005	DBLP DOI BibTeX RDF	natural combustion, simulation, finite element method, physics-based modeling, Fire
23	Kevin Lano, Stephen J. Goldsack	Discrete event process controller synthesis using VDM++.	ICECCS	1995	DBLP DOI BibTeX RDF	ignition, control system synthesis, heat systems, discrete event process controller synthesis, VDM/sup ++/, controller specification, gas burner system, systematic method, declarative requirement statements, abstract VDM/sup ++/ specifications, concrete VDM/sup ++/ specifications, formalised requirements, refinement process, real-time systems, formal specification, temporal logic, timing, specification languages, timing analysis, object-oriented languages, process control, parallel languages, discrete event systems, programmable controllers, controller design, Vienna development method, control system CAD, Ada95, real-time temporal logic, combustion