|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2290 occurrences of 1346 keywords
|
|
|
Results
Found 10212 publication records. Showing 10212 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | Joonki Hong, Vittal Prabhu |
Distributed Learning and Control for Manufacturing Systems Scheduling. |
IEA/AIE |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Ian R. Edmonds |
The Impact of Environmental Structure on the Evolutionary Trajectories of a Foraging Agent. |
Artificial Evolution |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Wassim A. Bedwani, Ossama M. Ismail |
Genetic Optimization of Variable Structure PID Control Systems. |
AICCSA |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Leonid V. Tsap |
Feedback From Video For Virtual Reality Navigation. |
Workshop on Digital and Computational Video |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Eric Monteith |
Genoa TIE, Advanced Boundary Controller Experiment. |
ACSAC |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Joan Carletta, Christos A. Papachristou, Mehrdad Nourani |
Detecting Undetectable Controller Faults Using Power Analysis. |
DATE |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Susan E. Torney |
Operations Assistants for Johnson Space Center's Mission Control Center. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Omid Shakernia, Shankar Sastry 0001, George J. Pappas |
Decidable Controller Synthesis for Classes of Linear Systems. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Petr Pfeifer |
Multifunctional Programmable Single-Board CAN Monitoring Module. |
FPL |
2000 |
DBLP DOI BibTeX RDF |
Student Papers, FPL2000, programmable device, ALTERA, FLEX6000, EPF6016, SJA1000, PC/104, CAN |
11 | Olivier Sigaud, Pierre Gérard |
Being Reactive by Exchanging Roles: An Empirical Study. |
Balancing Reactivity and Social Deliberation in Multi-Agent Systems |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Fernando G. Gonzalez, Alicia Helton, Douglas Helton, Jeffrey S. Smith, Eileen Thompson, Gerry Walterscheild |
The design of a solid-state physical model of an automated system to be used as a test bed for control applications. |
WSC |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Hansoo Kim 0001, Chen Zhou 0006, Hua X. Du |
Virtual machines for message based, real-time and interactive simulation. |
WSC |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Joseba Urzelai, Dario Floreano |
Evolutionary Robots with Fast Adaptive Behaviour in New Environments. |
ICES |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Martin Maierhofer, Christopher Bailey 0002 |
On ATM Cell Batching and Its Effects on Bus Arbitration in a Conventional Multimedia Server. |
EUROMICRO |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Alan K. Mackworth |
Constraint-Based Agents: The ABC's of CBA's. |
CP |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Orna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi |
Open Systems in Reactive Environments: Control and Synthesis. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Asim Roy |
A Theory of the Brain: There Are Parts of the Brain That Control Other Parts. |
IJCNN (2) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | George G. Lendaris, Larry Schultz, Thaddeus T. Shannon |
Adaptive Critic Design for Intelligent Steering and Speed Control of a 2-Axle Vehicle. |
IJCNN (3) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Dorian Suc, Ivan Bratko |
Problem Decomposition for Behavioural Cloning. |
ECML |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Christoph Meinel, Christian Stangier |
Speeding Up Image Computation by Using RTL Information. |
FMCAD |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Jie Zhang 0005, A. Julian Morris |
Recurrent neuro-fuzzy networks for nonlinear process modeling. |
IEEE Trans. Neural Networks |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Deepak Shukla, Darren M. Dawson, Frank W. Paul |
Multiple neural-network-based adaptive controller using orthonormal activation function neural networks. |
IEEE Trans. Neural Networks |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Danilo Beuche, Abdelaziz Guerrouat, Holger Papajewski, Wolfgang Schröder-Preikschat, Olaf Spinczyk, Ute Spinczyk |
The PURE Family of Object-Oriented Operating Systems for Deeply Embedded Systems. |
ISORC |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Christos A. Papachristou, Yusuf Alzazeri |
A Method of Distributed Controller Design for RTL Circuits. |
DATE |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Sung I. Hong, Sally A. McKee, Maximo H. Salinas, Robert H. Klenke, James H. Aylor, William A. Wulf |
Access Order and Effective Bandwidth for Streams on a Direct Rambus Memory. |
HPCA |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Maged M. Michael, Ashwini K. Nanda |
Design and Performance of Directory Caches for Scalable Shared Memory Multiprocessors. |
HPCA |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Kenneth Y. Yun |
Recent Advances in Asynchronous Design Methodologies. |
ASP-DAC |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Magnus Egerstedt, Tak-John Koo, Frank Hoffmann 0001, Shankar Sastry 0001 |
Path Planning and Flight Controller Scheduling for an Autonomous Helicopter. |
HSCC |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Yixin Ni, Mak Lai On, Zhenyu Huang 0001, Shousun Chen, Baolin Zhang |
Fuzzy logic damping controller for FACTS devices in interconnected power systems. |
ISCAS (5) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Sridevi Lingamarla, Gautam B. Singh, John Limburg, Mary Watson, Gary Edwards, Scott Gobrogge |
System for Automated Validation of Embedded Software in Multiple Operating Configurations. |
ASE |
1999 |
DBLP DOI BibTeX RDF |
Requirement Validation Traceability, Embedded Systems, Requirement Engineering, Data Warehousing |
11 | Michael Mahemoff, Lorraine Johnston |
Handling Multiple Domain Objects with Model-View-Controller. |
TOOLS (32) |
1999 |
DBLP DOI BibTeX RDF |
User-InterfaceArchitecture, Model-View-Controller (MVC), Object-Oriented Architecture |
11 | Adrian Trenaman |
Concurrent Genetic Programming, Tartarus and Dancing Agents. |
EuroGP |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Franck Multon, Jean-Luc Nougaret, Gérard Hégron, Luc Millet, Bruno Arnaldi |
A Software System to Carry-out Virtual Experiments on Human Motion. |
CA |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Si Wu 0001, K. Y. Michael Wong |
Dynamic overload control for distributed call processors using the neural network method. |
IEEE Trans. Neural Networks |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Kalyanmoy Deb, Dilip Kumar Pratihar, Amitabha Ghosh |
Learning to Avoid Moving Obstacles Optimally for Mobile Robots Using a Genetic-Fuzzy Approach. |
PPSN |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Vikram Prabhu, Thomas W. Kennedy |
Service management applied to air traffic control. |
NOMS |
1998 |
DBLP DOI BibTeX RDF |
|
11 | M. W. Chen, Ali M. S. Zalzala |
Neural Network Based Motion Control and Applications to Non-holonomic Mobile Manipulators. |
PRICAI |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Yu Zhang, Alan K. Mackworth |
A Multi-Level Constraint-Based Controller for the Dynamo98 Robot Soccer Team. |
RoboCup |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Jean-Philippe Urban, Jean-Luc Buessler, Julien Gresser |
Hidden partitioning of a visual feedback-based neuro-controller. |
KES (3) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Enrico Macii, Bernard Plessier, Fabio Somenzi |
Formal verification of digital systems by automatic reduction of data paths. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Piero P. Bonissone |
Soft computing: the convergence of emerging reasoning technologies. |
Soft Comput. |
1997 |
DBLP DOI BibTeX RDF |
evolutionary systems, neural networks, hybrid systems, fuzzy systems, Soft computing |
11 | Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi |
HYTECH: A Model Checker for Hybrid Systems. |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Kevin Lano, Arturo Sanchez |
Design of Reactive Control Systems for Event-Drivem Operations. |
FME |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Jordan Bonney, Ranga S. Ramanujan, Atiq Ahamad, Siddhartha Takkella, Kenneth J. Thurber |
Distributed Hardware Support for Process Synchronization in NSM Workstation Clusters. |
CANPC |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Gerhard Schrott |
Reactive Real-Time Programming with Distributed Agents. |
Euro-Par |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Chih-Tung Chen, Kayhan Küçükçakar |
High-level scheduling model and control synthesis for a broad range of design applications. |
ICCAD |
1997 |
DBLP DOI BibTeX RDF |
multi-phase clocking, relative scheduling, architectural power optimization, high-level synthesis, pipelining, multi-threading, behavioral synthesis, control synthesis, architectural synthesis, scheduling model |
11 | Thomas Doersam, T. Fischer |
Aspects of controlling a multifingered gripper. |
KES (1) |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Tapio Rauma |
Diagnosis information in meta-rule adaptive fuzzy systems. |
EUROMICRO |
1997 |
DBLP DOI BibTeX RDF |
diagnostic information, meta-rule adaptive fuzzy systems, control system adaptation methods, fault diagnosis information, controller parameterization, damage, changing environment, process behavior, device behavior, intelligent techniques, fuzzy logic, fault diagnosis, knowledge engineering, controller performance |
11 | Gordon G. Parker, Daniel J. Segalman, Rush D. Robinett III, Daniel J. Inman |
Decentralized sliding mode control for flexible link robots. |
J. Intell. Robotic Syst. |
1996 |
DBLP DOI BibTeX RDF |
robot control, sliding mode control, flexible links |
11 | Alan S. Morris, Seddik Khemaissia |
A neural network based adaptive robot controller. |
J. Intell. Robotic Syst. |
1996 |
DBLP DOI BibTeX RDF |
adaptive robot control, recursive prediction error, Neural networks |
11 | Mohamed Dekhil, Tarek M. Sobh, Thomas C. Henderson, Robert Mecklenburg |
UPE: Utah prototyping environment for robot manipulators. |
J. Intell. Robotic Syst. |
1996 |
DBLP DOI BibTeX RDF |
Robot design, prototyping, object-oriented design, concurrent engineering |
11 | Julia A. Olkin, Paul J. Titterton |
Using semi-definite programming for multi-constrainedH2 controller design in active noise and vibration control. |
J. VLSI Signal Process. |
1996 |
DBLP DOI BibTeX RDF |
|
11 | A. Tascillo |
Diagnostic neural adaptive control of drifting systems. |
J. Intell. Robotic Syst. |
1995 |
DBLP DOI BibTeX RDF |
Neural networks, fuzzy logic, object recognition, hierarchical control, redundant robots |
11 | Oliver F. Haberl, Thomas Kropf |
HIST: A hierarchical self test methodology for chips, boards, and systems. |
J. Electron. Test. |
1995 |
DBLP DOI BibTeX RDF |
Boundary-scan architecture, hierarchical self test, self test synthesis, built-in self test (BIST), system test |
11 | Luís Gomes 0001, Adolfo Steiger-Garção |
Programmable Controller Design based on a Synchronized Colored Petri Net Model and Integrated Fuzzy Reasoning. |
Application and Theory of Petri Nets |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Marie-Christine Bressolle, Bernard Pavard, Marcel Leroux |
The Role of Multimodal Communication in Cooperation: The Cases of Air Traffic Control. |
Multimodal Human-Computer Communication |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Ryszard Klempous, Barbara Lysakowska, Jan Nikodem |
Supervisory Control and Data Acquisition System for the Gas Flow Networks. |
EUROCAST |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Chandramohan A. Thekkath, Henry M. Levy |
Limits to Low-Latency Communication on High-Speed Networks. |
ACM Trans. Comput. Syst. |
1993 |
DBLP DOI BibTeX RDF |
host-network interfaces, transport level protocols, ATM networks, remote procedure calls, interprocess communication |
11 | Bernhard Eschermann |
Enhancing on-line testability during synthesis. |
J. Electron. Test. |
1993 |
DBLP DOI BibTeX RDF |
BIST, synthesis for testability, control flow checking, controller synthesis |
11 | Juan R. Pimentel, Diego Gachet, Luis Moreno 0001, Miguel Angel Salichs |
On-line Performance Enhancement of a Behavioral Neural Network Controller. |
IWANN |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Lars Björnfot, Lars Asplund, Kristina Lundqvist, Göran Wall |
Distributed Run-Time Systems, a Protocol for Ada. |
Ada-Europe |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Pedro Albertos |
Input-Output Model For Unconventional Samped-Data Control Systems. |
EUROCAST |
1991 |
DBLP DOI BibTeX RDF |
Sampled-data Control Systems, Periodic control, Multirate Control, Delayed sampling, Disturbance rejection, Systems Theory |
11 | Rainer Amann, Utz G. Baitinger |
Optimal state chains and state codes in finite state machines. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1989 |
DBLP DOI BibTeX RDF |
|
11 | Imrich Chlamtac, Alex Herman |
An Ethernet compatible low cost/high performance communication solution. |
Comput. Commun. Rev. |
1987 |
DBLP DOI BibTeX RDF |
Ethernet |
8 | Pol Mestres, Kehan Long, Nikolay Atanasov 0001, Jorge Cortés 0001 |
Feasibility Analysis and Regularity Characterization of Distributionally Robust Safe Stabilizing Controllers. |
IEEE Control. Syst. Lett. |
2024 |
DBLP DOI BibTeX RDF |
|
8 | George Papadopoulos 0006, Alevizos Bastas, George A. Vouros, Ian Crook, Natalia V. Andrienko, Gennady L. Andrienko, Jose Manuel Cordero Garcia |
Deep reinforcement learning in service of air traffic controllers to resolve tactical conflicts. |
Expert Syst. Appl. |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Hamidreza Mosaddegh Hesar, Xiaodong Liang, Mohammad Ali Salahmanesh, Mojtaba Ayaz Khoshhava, Salman Abdi |
Vector Control of Brushless Doubly-Fed Induction Machines Based on Highly Efficient Nonlinear Controllers. |
IEEE Trans. Ind. Electron. |
2024 |
DBLP DOI BibTeX RDF |
|
8 | João Madeiras, Carlos B. Cardeira, Paulo Oliveira 0001 |
Position and Attitude Tracking Controllers Using Lyapunov Transformations for Quadrotors. |
J. Intell. Robotic Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
8 | C. Pavithra, Vidhyareni S, Vijayadharshini M, Shree Akshaya K. B, Varsha N |
Comparison of Solar P&O and FLC-based MPPT Controllers & Analysis under Dynamic Conditions. |
EAI Endorsed Trans. Energy Web |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Mohammad J. Abdel-Rahman, Emadeldin A. Mazied, Fahid Hassan, Kory Teague, Allen B. MacKenzie, Scott F. Midkiff, Kleber V. Cardoso, Dimitrios S. Nikolopoulos |
On Robust Optimal Joint Deployment and Assignment of RAN Intelligent Controllers in O-RANs. |
IEEE Open J. Commun. Soc. |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Bruno Sousa, Carolina Gonçalves |
FedAAA-SDN: Federated Authentication, Authorization and Accounting in SDN controllers. |
Comput. Networks |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Ahmed Moreab Hussien, Hany M. Hasanien, Mohammed H. Qais, Saad M. Alghuwainem |
Hybrid Transient Search Algorithm With Levy Flight for Optimal PI Controllers of Islanded Microgrids. |
IEEE Access |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Mourad Yessef, Habib Benbouhenni, Mohammed Taoussi, Ahmed Lagrioui, Ilhami Colak, Badre Bossoufi, Thamer A. H. Alghamdi |
Experimental Validation of Feedback PI Controllers for Multi-Rotor Wind Energy Conversion Systems. |
IEEE Access |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Joonhyouk Jang, Minho Park, Jiman Hong |
Hybrid booting with incremental hibernation for the baseboard management controllers. |
J. Supercomput. |
2024 |
DBLP DOI BibTeX RDF |
|
8 | S. Deepanjali, S. K. Noor Mahammad |
A twofold bio-inspired system for mitigating SEUs in the controllers of digital system deployed on FPGA. |
J. Supercomput. |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Bineet Ghosh, Clara Hobbs, Shengjie Xu, F. Donelson Smith, James H. Anderson, P. S. Thiagarajan, Benjamin Berg, Parasara Sridhar Duggirala, Samarjit Chakraborty |
Statistical verification of autonomous system controllers under timing uncertainties. |
Real Time Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Weibing Li, Yanying Zou, Xin Ma, Binbin Qiu, Dongsheng Guo |
Novel Neural Controllers for Kinematic Redundancy Resolution of Joint-Constrained Gough-Stewart Robot. |
IEEE Trans. Ind. Informatics |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Meixia Fu, Zhenqian Wang, Jianquan Wang, Qu Wang, Zhangchao Ma, Danshi Wang |
Multicrane Visual Sorting System Based on Deep Learning With Virtualized Programmable Logic Controllers in Industrial Internet. |
IEEE Trans. Ind. Informatics |
2024 |
DBLP DOI BibTeX RDF |
|
8 | You-Chiun Wang, Pin-Yu Su |
Collaborative Defense Against Hybrid Network Attacks by SDN Controllers and P4 Switches. |
IEEE Trans. Netw. Sci. Eng. |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Antonio Visioli, José Sánchez Moreno |
A relay-feedback automatic tuning methodology of PIDA controllers for high-order processes. |
Int. J. Control |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Oscar Miguel-Escrig, Julio-Ariel Romero-Pérez |
Event-based discrete PI controllers robustness analysis through sampled describing function technique. |
Int. J. Control |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Roberto Sanchis 0001, Oscar Miguel-Escrig, Julio-Ariel Romero-Pérez |
Experimental tuning of PI controllers with symmetric send-on-delta sampling from the step response. |
Int. J. Control |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Xiaofei Wang, Jing Jin 0005, Xiaoming Liu 0008, Hui Wang 0023, Huzhi Tang, Chao Yang, Yuekang Guo, Tingting Mo, Jianjun Zhou |
A 0.83-pJ/b 20-Gb/s/Pin Single-Ended Transceiver With AC/DC-Coupled Pre-Emphasis FFE and Edge-Dependent Phase-Modulation DFE for Low-Power Memory Controllers. |
IEEE Trans. Circuits Syst. I Regul. Pap. |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Mart Kartasev, Petter Ögren |
Improving the Performance of Learned Controllers in Behavior Trees Using Value Function Estimates at Switching Boundaries. |
IEEE Robotics Autom. Lett. |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Chunbiao Li, Yikai Gao, Tengfei Lei, Rita Yi Man Li, Yuanxiao Xu |
Two Independent Offset Controllers in a Three-Dimensional Chaotic System. |
Int. J. Bifurc. Chaos |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Jinbao Song, Xuxi Zhang |
Observer-based adaptive controllers for Lur'e multi-agent systems with a dynamic leader. |
Int. J. Syst. Sci. |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Le Chang, Xiaohua Ge, Derui Ding, Cheng Fu |
Stabilization for a Class of Feedforward Nonlinear Systems via Pulsewidth-Modulated Controllers. |
IEEE Trans. Autom. Control. |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Prashanth Krishnamurthy, Farshad Khorrami |
A Matrix Pencil Formulation for Nonconservative Realization of Scaling-Based Controllers for Feedforward-Like Systems. |
IEEE Trans. Autom. Control. |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Bingzhuo Zhong, Majid Zamani 0001, Marco Caccamo |
Formal Synthesis of Controllers for Uncertain Linear Systems Against -Regular Properties: A Set-Based Approach. |
IEEE Trans. Autom. Control. |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Pankaj Mohindru |
Review on PID, fuzzy and hybrid fuzzy PID controllers for controlling non-linear dynamic behaviour of chemical plants. |
Artif. Intell. Rev. |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Jie Pan 0008, Dongyue Li, Jian Wang 0064, Pengfei Zhang, Jinyan Shao, Junzhi Yu |
Autogeneration of Mission-Oriented Robot Controllers Using Bayesian-Based Koopman Operator. |
IEEE Trans. Robotics |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Mrdjan Jankovic, Mario A. Santillo, Yan Wang 0075 |
Multiagent Systems With CBF-Based Controllers: Collision Avoidance and Liveness From Instability. |
IEEE Trans. Control. Syst. Technol. |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Mohammad Nowsin Amin Sheikh, I-Shyan Hwang, Muhammad Saibtain Raza, Mohammad Syuhaimi Ab-Rahman |
A Qualitative and Comparative Performance Assessment of Logically Centralized SDN Controllers via Mininet Emulator. |
Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Samuel Teuber, Stefan Mitsch, André Platzer |
Provably Safe Neural Network Controllers via Differential Dynamic Logic. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Shiva Kumar Tekumatla, Varun Gampa, Siavash Farzan |
Learning-Based Design of Off-Policy Gaussian Controllers: Integrating Model Predictive Control and Gaussian Process Regression. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Thao Dang 0001, Alexandre Donzé, Inzemamul Haque, Nikolaos Kekatos, Indranil Saha |
Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Gargya Gokhale, Seyed Soroush Karimi Madahi, Bert Claessens, Chris Develder |
Distill2Explain: Differentiable decision trees for explainable reinforcement learning in energy application controllers. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Rafael Vázquez, Miroslav Krstic |
Gain-Only Neural Operator Approximators of PDE Backstepping Controllers. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Zhiang Li, Daisuke Mashima, Wen Shei Ong, Ertem Esiner, Zbigniew Kalbarczyk, Ee-Chien Chang |
On Practicality of Using ARM TrustZone Trusted Execution Environment for Securing Programmable Logic Controllers. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Marc Carwehl, Calum Imrie, Thomas Vogel 0001, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske |
Formal Synthesis of Uncertainty Reduction Controllers. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
|
|