Relevant bibliographies by topics / Automates programmables

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Automates programmables'

Author: Grafiati
Published: 4 June 2021
Last updated: 29 July 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Automates programmables.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Automates programmables"

1

Shkil, Alexander, Dariia Rakhlis, Inna Filippenko, and Valentyn Korniienko. "Design and self-diagnostics of cyberphysical control devices on SOC platform." Innovative Technologies and Scientific Solutions for Industries, no. 4(26) (December 27, 2023): 122–32. http://dx.doi.org/10.30837/itssi.2023.26.122.

Full text
Abstract:
The subject of research in this article is models, methods, and procedures for designing and self-diagnosing automated models of logic control devices implemented in SoCs. The object of work is the procedures for automated design and diagnosis of digital devices on the SoC technology platform. The aim of the study is to develop models and procedures for designing and self-testing in the cycle of automated design of automatic logic control systems on the SoC technology platform, which will significantly increase the reliability of their operation. The article solves the following tasks: consideration of the procedures for interacting the processor core with programmable logic as part of the SoC; improvement of the procedures for designing and testing software and hardware systems based on SoC; further development of procedures for automated design, verification, and diagnosis of cyber-physical logic control systems using programming languages and hardware description languages; implementation of the procedure for hardware self-testing of control automata on the SoC technology platform. The following methods are implemented: synthesis of control automata based on graph models, implementation of control automata models in the C programming language using an automata template, diagnostic experiment by traversing the automata transition graph. Results achieved. Based on the analysis of the procedures for the interaction of the processor core and programmable logic on the selected SoC platform, a model of a cyber-physical logic control system was designed. The practical implementation was carried out on the basis of the Vivado/Vitis/Vitis HLS CAD toolkit. The method of hardware self-testing of control automata on the technological platform of SoC ZYNQ-7000 was implemented. Conclusions. The article analyzes the principles of designing embedded cyber-physical systems implemented in system-on-chip. The principles of building verification systems and embedded self-diagnostics of system-on-chip systems containing software and hardware are considered. The developed methods are tested on a model of a traffic light logic control device on the SoC FPGA platform of the ZYNQ-7000 family by Xilinx. The Moore's control automaton is implemented in the PL block in the C programming language, and the operational automaton is implemented in the PS block. During the organization of the self-diagnosis process, a non-destructive diagnostic experiment was performed by traversing all arcs of the transition graph, starting from the initial vertex. In this case, the tester was an operational automaton, the reference logic and time values of which were stored in the memory of the PS unit. Visual observation of the diagnostic experiment was carried out using the LED panel of the ZedBoard board.
APA, Harvard, Vancouver, ISO, and other styles
2

Díaz-Choque, Martín, Vidalina Chaccara-Contreras, Giorgio Aquije-Cárdenas, et al. "Supervision, control, and data acquisition system of a heat exchanger." Indonesian Journal of Electrical Engineering and Computer Science 28, no. 1 (2022): 155. http://dx.doi.org/10.11591/ijeecs.v28.i1.pp155-164.

Full text
Abstract:
<span>Today, when industry 4.0 is already being talked about, and its advantages at the organizational level, there are still industrial processes that show a lack of automatic regulation mechanisms, which means that an optimal operating process is not guaranteed, nor that monitoring and supervision capacity. In this sense, the purpose of the article is to demonstrate the feasibility of the integration between the programmable logic controller and the Arduino nanocontrollers, this as an alternative to automate a concentric tube heat exchanger, for monitoring and data acquisition through a supervision, control and data acquisition system. The integration is shown through the design and implementation of a temperature transducer made up of a MAX6675 converter module and an Arduino Nano controller, which is amplified through its pulse width modulation (PWM) interface and the integrated TL081CP and coupled to the analog inputs of the automaton. As a result of the experimental tests, it was possible to determine that the flow rate of the automated system is directly proportional to the drop or difference in temperature in the hot fluid and inversely proportional to the increase in temperature in the cold fluid, verifying the effectiveness of the automated heat exchanger.</span>
APA, Harvard, Vancouver, ISO, and other styles
3

Abdullah, Shahino Mah. "Intelligent Robots and the Question of their Legal Rights: An Islamic Perspective." ICR Journal 9, no. 3 (2018): 394–97. http://dx.doi.org/10.52282/icr.v9i3.108.

Full text
Abstract:

 Ismail al-Jazari was a prominent inventor in the Islamic world and is known today as the father of robotics. His magnum opus, The Book of Knowledge of Ingenious Mechanical Devices, gathered together instructions for building 100 devices he had designed. He invented a variety of water-rising machines, clocks, and humanoid automata, such as a drink-serving waitress, a hand-washer with flush mechanisms, a peacock fountain with automated servants, and a musical robot band. The latter was an early programmable automaton invented in 1206, making al-Jazari the first person to introduce the concept of programming and automation.
APA, Harvard, Vancouver, ISO, and other styles
4

Biňasová, Vladimíra, Peter Bubeník, Miroslav Rakyta, Marta Kasajová, and Katarína Štaffenová. "Programmable model of an automated warehouse." Technológ 15, no. 2 (2023): 110–13. http://dx.doi.org/10.26552/tech.c.2023.2.20.

Full text
Abstract:
The paper deals with the multifunctional kit is a robust training model that simulates and demonstrates warehouse automation in the world's most advanced enterprises. Programming takes place in the Siemens TIA Portal software, which is then loaded into a Programmable Logic Automator which is interconnected with the source Siemens SITOP PSU100S. The main objective of the paper was to provide an overview of the current state of-the-art in automated manufacturing and to create an example of an automated warehouse that can be used in teaching as an ideal simulation and demonstration model for training and industrial automation.
APA, Harvard, Vancouver, ISO, and other styles
5

Ivanova, V., N. Rozhentcova, E. Gracheva, and A. Udaratin. "Development of an automated control system for 6/0.4 kV transformer substation with automatic transfer switch using standard IEC 61131-3." E3S Web of Conferences 288 (2021): 01105. http://dx.doi.org/10.1051/e3sconf/202128801105.

Full text
Abstract:
This work is devoted to the development of an automated transfer switch (ATS) for the 6/0.4 kV substation. The work is relevant due to the introduction of automation and the replacement of electromechanical equipment with microprocessor devices in the power systems. At the lower (field) level, automation is driven by the use of programmable logic controllers (PLCs) and various smart sensors. The possibility of using modular PLC in automation systems is considered. Developed are an algorithm and a program for the implementation of automated regulation of the application of automatic transfer switches at a substation using the recommendations of the IEC 61131.3 “Programming languages of programmable logic controllers” standard.
APA, Harvard, Vancouver, ISO, and other styles
6

Vyngra, A. V., A. S. Sobolev, and S. G. Chernyi. "Automated control system for electric drives with integration of programmable relays and active filters." Transactions of the Krylov State Research Centre S-I, no. 2 (2021): 53–59. http://dx.doi.org/10.24937/2542-2324-2021-2-s-i-53-59.

Full text
Abstract:
This paper discusses relevant challenges in upgrade of control systems and reviews possible applications of new programmable relays OVEN PR10 for non-stop Ethernet data transmission. It also discusses integration of active power filters in feeding circuits of electric drives with upgraded automatic control systems. The study analyses the applications of active filters and suggests a testing system that consists of electric compressor drives and automated multi-channel control system with integrated active filters. The tests performed under this study have shown that automatic systems work more efficiently if they are fed by high-quality loading current from their electric drives and are governed by OVEN PLC110 programmable logic controllers. This paper also describes a case study: laboratory experiment on integrating active power filter for interharmonic current components with multi-channel drive control system based on cutting-edge programmable relay OVEN PR103. The results of this study could be useful for the upgrade of Russian fishing fleet, as well as for design and development of innovative ships.
APA, Harvard, Vancouver, ISO, and other styles
7

shilledar, Musharraf. "AUTOMATED EFFLUENT TREATMENT SYSTEM." International Scientific Journal of Engineering and Management 03, no. 05 (2024): 1–9. http://dx.doi.org/10.55041/isjem01692.

Full text
Abstract:
This paper introduces the Programmable Logic Controller (PLC) Based Automated Effluent Treatment System as an innovative solution for efficiently managing industrial effluents. The system employs sophisticated technology, including PLCs and various sensors, to automate and optimize the treatment process. Specifically designed for industries like electroplating, where water contamination is prevalent, the system effectively monitors and controls water levels, temperature, gas presence, and pH levels to ensure the safe disposal of effluent. Through a detailed exploration of its components and functionalities, this paper demonstrates how the PLC-based system enhances efficiency, reliability, and environmental sustainability in industrial wastewater treatment. Key Words: Programmable Logic Controller, Automation, Effluent treatment plant, Environment safety, Sewage, Chemicals.
APA, Harvard, Vancouver, ISO, and other styles
8

Lv, Li Ya, and Yong Jun Min. "Power Batteries Pack Test System Based on GPIB Protocol." Advanced Materials Research 328-330 (September 2011): 614–18. http://dx.doi.org/10.4028/www.scientific.net/amr.328-330.614.

Full text
Abstract:
A communication and data collection device was designed based on GPIB protocol, with the design of PC control and automatic measurement software, which can complete programmable electronic load control and ambient temperature data acquision, implementation of new energy vehicles for the automatic measurement of battery pack and Data records, simplifying test system design. The results show that the system operation and reliable performance, advanced features, can realize the new energy vehicle power battery pack automated testing of complex working conditions.
APA, Harvard, Vancouver, ISO, and other styles
9

Wong, Ching-Chang, Chih-Cheng Liu, Sheng-Ru Xiao, Hao-Yu Yang, and Meng-Cheng Lau. "Q-Learning of Straightforward Gait Pattern for Humanoid Robot Based on Automatic Training Platform." Electronics 8, no. 6 (2019): 615. http://dx.doi.org/10.3390/electronics8060615.

Full text
Abstract:
In this paper, an oscillator-based gait pattern with sinusoidal functions is designed and implemented on a field-programmable gate array (FPGA) chip to generate a trajectory plan and achieve bipedal locomotion for a small-sized humanoid robot. In order to let the robot can walk straight, the turning direction is viewed as a parameter of the gait pattern and Q-learning is used to obtain a straightforward gait pattern. Moreover, an automatic training platform is designed so that the learning process is automated. In this way, the turning direction can be adjusted flexibly and efficiently under the supervision of the automatic training platform. The experimental results show that the proposed learning framework allows the humanoid robot to gradually walk straight in the automated learning process.
APA, Harvard, Vancouver, ISO, and other styles
10

Melnyk, Oleksandr, and Viktoriia Kozarevych. "SIMULATION OF PROGRAMMABLE SINGLE-ELECTRON NANOCIRCUITS." Bulletin of the National Technical University "KhPI". Series: Mathematical modeling in engineering and technologies, no. 1 (March 5, 2021): 64–68. http://dx.doi.org/10.20998/2222-0631.2020.01.05.

Full text
Abstract:
The speed and specializations of large-scale integrated circuits always contradict their versatility, which expands their range and causes the rise in price of electronic devices. It is possible to eliminate the contradictions between universality and specialization by developing programmable nanoelectronic devices, the algorithms of which are changed at the request of computer hardware developers, i.e. by creating arithmetic circuits with programmable characteristics. The development of issues of theory and practice of the majority principle is now an urgent problem, since the nanoelectronic execution of computer systems with programmable structures will significantly reduce their cost and significantly simplify the design stage of automated systems. Today there is an important problem of developing principles for building reliable computer equipment. The use of mathematical and circuit modeling along with computer-aided design systems (CAD) can significantly increase the reliability of the designed devices. The authors prove the advantages of creating programmable nanodevices to overcome the physical limitations of micro-rominiatization. This continuity contributes to the accelerated introduction of mathematical modeling based on programmable nanoelectronics devices. The simulation and computer-aided design of reliable programmable nanoelectronic devices based on the technology of quantum automata is described. While constructing single-electron nanocircuits of combinational and sequential types the theory of majority logic is used. The order of construction and programming of various types of arithmetic-logic units is analyzed.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Automates programmables"

1

Bel, Mokadem Houda. "Vérification des propriétés temporisées des automates programmables industriels." Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2006. http://tel.archives-ouvertes.fr/tel-00132057.

Full text
Abstract:
De nombreux sytèmes critiques comportent des aspects temporisés, où interviennent de manière cruciale des contraintes quantitatives sur les délais séparant certaines actions. Un automate programmable industriel (API) constitue un composant fondamental d'un système souvent critique destiné à réagir et à communiquer en temps réel avec son environnement. Ma thèse se situe dans le contexte de la vérification de propriétés temporisées des APIS. Plus précisement, on propose une sémantique formelle à base d'automates temporisés pour la modélisation d'une sous classe de programmes Ladder comportant des blocs TON. On fournie une logique temporisée dont la sémantique permet de considérer seulement les événements "signifcatifs" (c'est à dire les événements qui durent suffisamment longtemps). On propose deux sémantiques différentes pour cette logique: sémantique "locale" et sémantique "globale". Pour la sémantique "locale", on a obtenu plusieurs résultats d'expressivité et grâce à une nouvelle relation d'équivalence, on montre que son model checking reste décidable sans modifier la complexité théorique. En revanche, pour la sémantique "globale", le model checking devient indécidable.
APA, Harvard, Vancouver, ISO, and other styles
2

Rossi, Olivier Jacques Paul. "Validation formelle de programmes Ladder Diagram pour automates programmables industriels." Cachan, Ecole normale supérieure, 2003. http://www.theses.fr/2003DENS0012.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Husson, Jean-François. "Modélisation de la causalité par des relations d'indépendance." Toulouse 3, 1996. http://www.theses.fr/1996TOU30230.

Full text
Abstract:
Nous proposons un modele pour les programmes paralleles generalisant la theorie des traces. Deux actions a et b sont independantes dans certains contextes connus par une relation appelee relation d'independance locale (en abrege ril). Deux mots sont equivalents s'ils se deduisent l'un de l'autre par permutation d'actions independantes ; une classe d'equivalence est l'ensemble des executions sequentielles d'un meme processus parallele. Nous etudions les proprietes des rils en liaison avec les proprietes definies pour d'autres modeles (automates avec relations de concurrence de droste, equivalences distribuees de rozoy). Nous montrons que les classes d'equivalences sont representables par des multi-ensembles partiellement ordonnes (exprimant une causalite) si et seulement si la ril satisfait une propriete de stabilite ; notre modele est alors equivalent a d'autres modeles (ensembles cci de p-traces de arnold, structures d'evenements stables de winskel, certains reseaux de petri place/transition) ; les equivalences distribuees de rozoy sont obtenues en ajoutant une propriete supplementaire de coherence. Nous definissons les rils reconnaissables. Une ril stable est reconnaissable si et seulement si les classes d'equivalences sont les projections des classes d'un langage reconnaissable de traces ; nous donnons une nouvelle demonstration de ce theoreme de arnold. Nous proposons un modele d'automate fini asynchrone: l'etat de l'automate est reparti sur un ensemble de registres. A chaque action est associe, en fonction de l'etat global de l'automate, un domaine (sous-ensemble de registres) ; la fonction de transition modifie uniquement les registres du domaine. Ces automates generalisent les automates asynchrones pour les langages de traces introduits par zielonka. Une ril est associee naturellement a un automate asynchrone. Nous montrons que toute ril stable reconnaissable est la ril d'un automate asynchrone
APA, Harvard, Vancouver, ISO, and other styles
4

Ponty, Jean-Luc. "Algorithmique et implémentation des automates contribution au développement du logiciel automate." Rouen, 1997. http://www.theses.fr/1997ROUES080.

Full text
Abstract:
Nous nous intéressons dans ce document aux algorithmes de conversion d'expressions rationnelles en automates, en nous attachant plus particulièrement à la construction de l'automate de Glushkov. Cette construction nous amène à présenter un algorithme original qui fournit une représentation efficace de l'automate de Glushkov d'une expression rationnelle. La structure de données utilisée nous permet notamment de donner un nouvel algorithme de test d'appartenance d'un mot à un langage rationnel. L'étude approfondie de cette représentation nous conduit également à une nouvelle implémentation de l'algorithme de détermination d'un automate. Précisons que chacun des algorithmes présentés fait l'objet d'une étude de complexité.
APA, Harvard, Vancouver, ISO, and other styles
5

Dabriou, Alain-Robert. "Description, simulation et réalisation d'automates logiques à l'aide de Sirena." Rennes 1, 1985. http://www.theses.fr/1985REN10015.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Medina, Rodriguez Antonio. "Méthode de synthèse d'un contrôleur logique à partir des spécifications algébriques." Cachan, Ecole normale supérieure, 2007. https://tel.archives-ouvertes.fr/tel-01199731.

Full text
Abstract:
Nous présentons une méthode de synthèse de la commande d'un système à événements discrets (SED). Cette méthode est une alternative à la technique de synthèse de la commande supervisée. La méthode part d'une spécification de la commande décrite en langage naturel et va jusqu'à l'implantation des fonctions de commande calculées dans un contrôleur logique, tel que l'Automate Programmable Industriel 'API)<br>We present a synthesis method for the control of discrte event systems (DES). This method is an alternative to the supervisory contol theory (SCT). The method uses a control specification described in natural language and finishes with the implantation of control functions calculated in a logic controller, such as the Programmable Logic Controller (PLC)
APA, Harvard, Vancouver, ISO, and other styles
7

Bouyer-Decitre, Patricia. "Modèles et algorithmes pour la vérification des systèmes temporisés." Cachan, Ecole normale supérieure, 2002. http://www.theses.fr/2002DENS0008.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Korzeczek, Sylvain Bolliet Louis. "Le langage GRAFCET des automates programmables TELEMECANIQUE TSX27 et TSX47 saisie graphique et interpretation /." S.l. : Université Grenoble 1, 2008. http://dumas.ccsd.cnrs.fr/dumas-00322927.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Pichard, Romain. "Contribution à la Commande des systèmes à événements discrets par filtre logique." Thesis, Reims, 2018. http://www.theses.fr/2018REIMS025/document.

Full text
Abstract:
Cette thèse contribue à une approche formelle de conception d'un programme de contrôle/commande pour les systèmes automatisés de production (SAP) contrôlés par des automates programmables industriels (API). Dans ce contexte, deux constats principaux ont été soulevés : il existe manque de méthodologie efficace pour la conception d'un programme API dans le monde industriel et les méthodes formelles issues du monde académique ne sont ni connues ni utilisées par l'industrie car trop complexes. Par ailleurs, l'industrie du futur nécessitera des contrôleurs toujours plus flexibles et fiables. La flexibilité implique que les programmes seront encore plus difficiles à réaliser, et par conséquent, la difficulté pour garantir la fiabilité de ceux-ci sera accrue.Pour répondre à ces problématiques, une méthode de conception formelle s'intégrant dans un cycle de développement industriel classique (cycle en V) a été proposée. De plus, afin de faciliter le transfert vers l'industrie tant d'un point de vue technique (API) qu’humain (pratique des automaticiens), le formalisme utilisé est entièrement basé sur des variables et des équations logiques appelées contraintes logiques. Ces contraintes logiques permettent la spécification des exigences informelles recensées dans le cahier des charges. A partir de ces contraintes logiques, un algorithme de résolution des contraintes, implémentable dans un API, est synthétisé et implémenté automatiquement dans un langage de programmation normalisé pour API. Ce filtre logique peut être utilisé pour : commander un SAP contrôlé par un API, vérifier formellement un programme API, mettre en sécurité un programme API déjà existant présentant des erreurs.Les travaux de cette thèse ont eu pour objectif de lever certains verrous et de globalement améliorer et renforcer l'approche par filtre logique. Dans le but de généraliser l'approche par filtre, un effort important a été réalisé autour de la formalisation des contraintes logiques et des différentes fonctions et propriétés associées au filtre logique. Cet apport de formalisation a permis, en particulier, de proposer une approche de vérification formelle de la notion de cohérence d'un filtre logique ainsi qu'une condition nécessaire et suffisante à cette propriété. Enfin, après avoir mis à jour l'algorithme d'implémentation classique, deux algorithmes de recherche locale d'une solution basés sur des techniques de solveur SAT ont été proposés<br>This thesis contributes to a formal approach to design control/command program for automated production systems controlled by Programmable Logical Controller (PLC). In this context, two main observations have been highlighted: there is a lack of efficient methodology for the design of PLC program in the industrial field and the academicals formal approaches are neither known nor used in manufacturing industry due to high complexity. Furthermore, the industry of future will require flexible and reliable PLC program. The flexibility implies that programs will be even more difficult to design and, consequently, the complexity to guarantee the reliability will be increased.To address these issues, a formal design approach, presented as a classical V-cycle, have been proposed. Moreover, to facilitate the industrial transfer from both technical (PLC) and human (engineer practice) point of view, the formalism is exclusively based on logical variables and equations called logical constraints. These constraints are used to specify the informal requirements described in the specification book. From these constraints, a logical filter is synthesized automatically and a solving algorithm, IEC 61131-3 compliant, is implemented in the PLC program. This logical filter may be used to: command an automated production system controlled by a PLC, verify formally a PLC program, and make safe an existing PLC program containing errors.The contributions of this thesis covered the whole development cycle: formal specification, formal analysis and synthesis, automatic implementation in a PLC program. To support these contributions, a significant effort was made on the formalism based on logical constraints. This new formalism has allowed, in particular, to propose a necessary and sufficient condition to the coherence property of a logical filter and to guarantee the convergence of the online solving algorithm. At least, the classical solving algorithm has been updated according to the new formalism, and two algorithms based on SAT solver techniques and local research have been proposed and tested on real PLC
APA, Harvard, Vancouver, ISO, and other styles
10

Rudelou, Ghislain. "Performances temporelles d'automates programmables et conception d'un coprocesseur d'accélération." Montpellier 2, 1993. http://www.theses.fr/1993MON20238.

Full text
Abstract:
Ce memoire met en evidence les problemes de performances temporelles des automates programmables industriels et propose de les resoudre en partie en diminuant de facon significative leur temps de cycle par la conception et l'implantation d'un coprocesseur specifique. Dans le contexte general des applications temps reel, il recense les principaux parametres logiciels et materiels qui conjugues entre-eux, permettent de tendre vers le niveau de performances temporelles exige pour ce type d'applications. Relativement au monde du controle de processus et des automates programmables, il s'appuie sur la realisation de mesures statistiques dynamiques pour analyser et demontrer l'insuffisance et les deficiences de processeurs standard general purpose en termes de performances temporelles. Il permet d'identifier les taches repetitives et penalisantes en temps d'execution qui caracterisent l'application d'automatisme et qu'il serait interessant de confier a un coprocesseur specifique. Il propose d'une part les traductions de descriptions topologiques grafcet et langage a relais en structures de donnees booleennes et d'autre part les algorithmes d'interpretation necessaires a leur traitement optimal. Il expose les specifications d'un coprocesseur specifique, la conception des parties operatives et de controle suivant une demarche de synthese hardware privilegiant d'abord les temps d'execution, puis la minimisation de la surface du circuit
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Automates programmables"

1

Demard, Roger. La pratique des automates programmables. Cedic/Nathan, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

D, Bouteille, ed. Les Automatismes programmables. 2nd ed. CEPADUES-Éditions, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Tian, Mingguang. Dan pian ji yu ke bian cheng kong zhi qi xue xi fu dao yu ji neng xun lian. Shandong ke xue ji shu chu ban she, 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Michel, Gilles. Les A.P.I.: Architecture et applications des automates programmables industriels. Dunod, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

1957-, Bishop Robert H., ed. Mechatronic system control, logic, and data acquisition. Taylor & Francis, 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

P, Canton Maria, ed. Microcontroller programming: The microchip PIC. CRC Press, 2007.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Tavernier, Christian. Programmation en C des PIC. Dunod, 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Ibrahim, Dogan. Advanced PIC microcontroller projects in C: From USB to ZIGBEE with the 18F series. Newnes/Elsevier, 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Pérez, Fernando E. Valdés. Microcontrollers: Fundamentals and applications with PIC. Taylor & Francis, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

R, Sundburg Gale, and United States. National Aeronautics and Space Administration. Scientific and Technical Information Branch., eds. Programmable, automated transistor test system. National Aeronautics and Space Administration, Scientific and Technical Information Branch, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Automates programmables"

1

Clement, Michael R., and Dennis Volpano. "Programmable Diagnostic Network Measurement with Localization and Traffic Observation." In Automated Security Management. Springer International Publishing, 2013. http://dx.doi.org/10.1007/978-3-319-01433-3_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Ratner, Tamar, and Ehud Keinan. "Programmable DNA-Based Finite Automata." In Algorithmic Bioprocesses. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-540-88869-7_25.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Wu, Chung-Yi, and Chi-Huey Wong. "Automated Programmable One-Pot Synthesis of Glycans." In Glycoscience: Biology and Medicine. Springer Japan, 2014. http://dx.doi.org/10.1007/978-4-431-54836-2_3-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Wu, Chung-Yi, and Chi-Huey Wong. "Automated Programmable One-Pot Synthesis of Glycans." In Glycoscience: Biology and Medicine. Springer Japan, 2014. http://dx.doi.org/10.1007/978-4-431-54841-6_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Schelle, Graham, and Dirk Grunwald. "Automated Speculation and Parallelism in High Performance Network Applications." In Field Programmable Logic and Application. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30117-2_165.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Çakir, M., E. Grimpe, and W. Nebel. "HW-Driven Emulation with Automatic Interface Generation." In Field Programmable Logic and Application. Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-45234-8_61.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Ziegler, Heidi E. "Automated Mapping of Coarse-Grain Pipelined Applications to FPGA Systems." In Field Programmable Logic and Application. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30117-2_166.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Holland, Mark, and Scott Hauck. "Automatic Creation of Reconfigurable PALs/PLAs for SoC." In Field Programmable Logic and Application. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30117-2_55.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Horta, Edson L., and John W. Lockwood. "Automated Method to Generate Bitstream Intellectual Property Cores for Virtex FPGAs." In Field Programmable Logic and Application. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30117-2_110.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Brebner, Gordon. "Automatic identification of swappable logic units in XC6200 circuitry." In Field-Programmable Logic and Applications. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63465-7_222.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Automates programmables"

1

Subramanian, Rajesh, H. James de St. Germain, and Samuel Drake. "Integrating a Vision System With a Coordinate Measuring Machine to Automate the Datum Alignment Process." In ASME 2005 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2005. http://dx.doi.org/10.1115/detc2005-85455.

Full text
Abstract:
Inspection is an important stage in the manufacturing process of machined parts. Coordinate measuring machines (CMM) have become more automatic, programmable, and capable of fulfilling the growing demands of inspection. However, fixturing (datum alignment) of parts is still done manually, consuming valuable inspection time. In this paper, we describe an automated datum alignment technique which integrates a vision system with the CMM to avoid part fixturing. The rough position of the part is estimated through image analysis. This initial reference frame drives the CMM through an automatic datum alignment procedure, thereby automatically establishing the reference frame without the use of fixtures. This technique has been demonstrated for two and a half dimensional (2.5D) machined parts with well-defined features that exhibit a stable position on a flat table.
APA, Harvard, Vancouver, ISO, and other styles
2

Lohrke, Heiko, Philipp Scholz, Christian Boit, Shahin Tajik, and Jean-Pierre Seifert. "Automated Detection of Fault Sensitive Locations for Reconfiguration Attacks on Programmable Logic." In ISTFA 2016. ASM International, 2016. http://dx.doi.org/10.31399/asm.cp.istfa2016p0336.

Full text
Abstract:
Abstract Programmable logics, such as complex programmable logic devices (CPLDs) and field programmable gate arrays (FPGAs), are widely used in security applications. In these applications cryptographic ciphers, physically unclonable functions (PUFs) and other security primitives are implemented on such platforms. These security primitives can be the target of fault injection attacks. One of the most powerful examples of fault injection techniques is laser fault injection (LFI), which can induce permanent or transient faults into the configuration memories of programmable logic. However, localization of fault sensitive locations on the chip requires reverse-engineering of the utilized building blocks, and therefore, is a tedious task. In this work, we propose an automated technique using readily available IC debug tools to map and profile the fault sensitive locations of programmable logic devices in a short period.
APA, Harvard, Vancouver, ISO, and other styles
3

Kline, Martin. "Programmable Automated Welding System (PAWS)." In Conference on Intelligent Robots in Factory, Field, Space, and Service. American Institute of Aeronautics and Astronautics, 1994. http://dx.doi.org/10.2514/6.1994-1221.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Yang, Steven S. L. "Calibration of Programmable Loads." In NCSL International Workshop & Symposium. NCSL International, 2017. http://dx.doi.org/10.51843/wsproceedings.2017.14.

Full text
Abstract:
The Standards and Calibration Laboratory (SCL) in Hong Kong has developed a system for the calibration of programmable loads. A programmable load is commonly used to emulate DC or AC loads required to perform functional tests of batteries, photovoltaic cells, power supplies, inverters and transformers. In recent years, programmable loads have more new applications such as electric vehicle testing and regenerative energy system testing. Load regulation test, battery discharge measurement and transient tests can be automated by programmable loads, which load changes for these tests can be made without introducing significant switching transient. Programmable load settings and read back accuracy for constant current mode, constant resistance mode, constant voltage mode, constant power mode and power factor modele loads can also be tested. Details of the proposed AC and DC programmable load calibration system developed at SCL are described in the paper.
APA, Harvard, Vancouver, ISO, and other styles
5

SeyedinNavadeh, SeyedMohammad, Andres Ivan Martinez Rojas, Alessandro di Tria, et al. "Integrated Photonic Processors for Optical Free-Space Links." In Optical Fiber Communication Conference. Optica Publishing Group, 2024. http://dx.doi.org/10.1364/ofc.2024.m4j.3.

Full text
Abstract:
Programmable photonic integrated processors offer a large potential for the generation, manipulation, and detection of free-space optical beams (FSO). Applications are shown on the automated setting of optimal orthogonal MIMO channels and transmission through time varying FSO links.
APA, Harvard, Vancouver, ISO, and other styles
6

Szpak, Rodrigo, and Max Hering de Queiroz. "Design and Implementation of Supervisory Control for an Electropneumatic Station Subject to Faults in Material Flow." In 9th FPNI Ph.D. Symposium on Fluid Power. American Society of Mechanical Engineers, 2016. http://dx.doi.org/10.1115/fpni2016-1542.

Full text
Abstract:
Human intervention in automated manufacturing systems may result in faults in material flow leading to incoherent behavior of the control system. Particularly when multiple workpieces can be operated concurrently, the design of a programmable logic controller (PLC) that can handle such nondeterministic events is a complex task that justifies the use of formal methods such as the Supervisory Control Theory (SCT). The main objective of this work is the use of SCT for the systematic design of the automation system of an electro-pneumatic station of a Modular Production System prone to faults in the material flow. A code generation tool has been used to translate the modular supervisors into an IEC61131 PLC program, whose automata-based structure has been exploited by several functionalities of a SCADA System. The implementation of supervisory control allows the station to flexibly process five workpieces simultaneously, with conformance to functional requirements and with safety to deal with the nondeterministic removal of workpieces along the station.
APA, Harvard, Vancouver, ISO, and other styles
7

Amin, Ahmed M., Mithuna Thottethodi, T. N. Vijaykumar, Steven Wereley, and Stephen C. Jacobson. "Automatic volume management for programmable microfluidics." In the 2008 ACM SIGPLAN conference. ACM Press, 2008. http://dx.doi.org/10.1145/1375581.1375590.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Dumitru, Mihai-Valentin, Dragos Dumitrescu, and Costin Raiciu. "Towards automatic exploitation of programmable networks." In 2024 IEEE 10th International Conference on Network Softwarization (NetSoft). IEEE, 2024. http://dx.doi.org/10.1109/netsoft60951.2024.10588899.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Ansh, Rakesh Yadav, Debajyoti Deb, and Ashok Ray. "Multi-purpose auto-programmable reconfigurable embedded system architecture." In 2015 International Conference on Electronic Design, Computer Networks & Automated Verification (EDCAV). IEEE, 2015. http://dx.doi.org/10.1109/edcav.2015.7060537.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Anghelescu, Petre. "Encryption algorithm using Programmable Cellular Automata." In 2011 World Congress on Internet Security (WorldCIS-2011). IEEE, 2011. http://dx.doi.org/10.1109/worldcis17046.2011.5749858.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Automates programmables"

1

Schoenwetter, Howard K. A precision programmable step generator for use in automated test systems. National Bureau of Standards, 1986. http://dx.doi.org/10.6028/nbs.tn.1230.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Automates programmables' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography