William W. Edmonson

Orcid: 0000-0003-3506-957X

According to our database1, William W. Edmonson authored at least 41 papers between 1988 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Intra-UAV Swarm Connectivity in Unstable Environment.
IEEE Trans. Veh. Technol., November, 2023

2022
Providing Error Detection for Deep Learning Image Classifiers Using Self-Explainability.
CoRR, 2022

2021
Semantic Mapping from SysML to FRP: to Enable Executable and Verifiable Systems Design.
Proceedings of the IEEE International Systems Conference, 2021

Connectivity and Safety Analysis of Large Scale UAV Swarms: Based on Flight Scheduling.
Proceedings of the 26th IEEE International Workshop on Computer Aided Modeling and Design of Communication Links and Networks, 2021

Effect of Wind on the Connectivity and Safety of Large Scale UAV Swarms.
Proceedings of the 2021 IEEE International Black Sea Conference on Communications and Networking, 2021

2019
Category Theoretic Based Formalization of the Verifiable Design Process.
Proceedings of the 2019 IEEE International Systems Conference, 2019

2018
Intersatellite Communication System Based on Visible Light.
IEEE Trans. Aerosp. Electron. Syst., 2018

Formal Behavioral Requirements Management.
IEEE Syst. J., 2018

A Stackelberg Game-theoretic Model for Interference Management in Inter-satellite Communication Networks.
Proceedings of the 6th IEEE International Conference on Wireless for Space and Extreme Environments, 2018

Formalization of the responsive and formal design process using category theory.
Proceedings of the 2018 Annual IEEE International Systems Conference, 2018

An MBSE conceptual design phase model for inter-satellite communication.
Proceedings of the 2018 Annual IEEE International Systems Conference, 2018

2017
A non-cooperative game theoretic approach for power allocation in intersatellite communication.
Proceedings of the 2017 IEEE International Conference on Wireless for Space and Extreme Environments, 2017

Link performance improvement via design variables optimization in LED-based VLC system for inter-satellite communication.
Proceedings of the 2017 IEEE International Conference on Wireless for Space and Extreme Environments, 2017

Fuzzy classification context for the responsive and formal design process.
Proceedings of the 2017 Annual IEEE International Systems Conference, 2017

Inter-satellite communication MBSE design framework for small satellites.
Proceedings of the 2017 Annual IEEE International Systems Conference, 2017

2016
Survey of Inter-Satellite Communication for Small Satellite Systems: Physical Layer to Network Layer View.
IEEE Commun. Surv. Tutorials, 2016

Utility of Light Emitting Diodes for inter-satellite communication in multi-satellite networks.
Proceedings of the 2016 IEEE International Conference on Wireless for Space and Extreme Environments, 2016

Requirements hierarchy in the responsive and formal design process.
Proceedings of the IEEE International Symposium on Systems Engineering, 2016

Systems Engineering Education for East Africa.
Proceedings of the Complex Systems Design & Management, 2016

2015
Software Defined Radio implementation of DS-CDMA in inter-satellite communications for small satellites.
Proceedings of the 2015 IEEE International Conference on Wireless for Space and Extreme Environments, 2015

Systems engineering of inter-satellite communications for distributed systems of small satellites.
Proceedings of the Annual IEEE Systems Conference, 2015

Formal requirement management for the Responsive and Formal Design process.
Proceedings of the IEEE International Symposium on Systems Engineering, 2015

2014
Small satellite systems design methodology: A formal and agile design process.
Proceedings of the IEEE International Systems Conference, 2014

Formal Framework for Ensuring Consistent System and Component Theories in the Design of Small Satellite Systems.
Proceedings of the Poster Workshop at the 2014 Complex Systems Design & Management International Conference co-located with 5th International Conference on Complex System Design & Management (CSD&M 2014), 2014

2013
Inter-Satellite Communications for Small Satellite Systems.
Int. J. Interdiscip. Telecommun. Netw., 2013

2012
A Dataflow Framework for DSP Algorithm Refinement.
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2012

2011
Block Floating Point Interval ALU for Digital Signal Processing.
Reliab. Comput., 2011

2009
Global Optimization Methods for Harmonic Retrieval.
Proceedings of the Encyclopedia of Optimization, Second Edition, 2009

IEEE Interval Standard Working Group - P1788: Current Status.
Proceedings of the 19th IEEE Symposium on Computer Arithmetic, 2009

2008
IIR Filter Adaptation Using Branch-and-Bound: A Novel Approach.
IEEE Trans. Circuits Syst. I Regul. Pap., 2008

Interval Semantics for Standard Floating-Point Arithmetic
CoRR, 2008

2007
The Use of Interval Methods in Signal Processing and Control for Systems Biology.
Proceedings of the IEEE Symposium on Foundations of Computational Intelligence, 2007

2006
H.264 Video Decoder Design: Beyond RTL Design Implementation.
Proceedings of the IEEE Workshop on Signal Processing Systems, 2006

Pipelined ALU for Signal Processing to Implement Interval Arithmetic.
Proceedings of the IEEE Workshop on Signal Processing Systems, 2006

2002
BIBO Stability of D-Dimensional Filters.
Multidimens. Syst. Signal Process., 2002

2001
Linear prediction of bandlimited processes with flat spectral densities.
IEEE Trans. Signal Process., 2001

2000
The predictability of continuous-time, bandlimited processes.
IEEE Trans. Signal Process., 2000

Interval Methods for Sinusoidal Parameter Estimation: A Comparative Analysis.
Reliab. Comput., 2000

1999
A global optimization method for continuous-time adaptive recursive filters.
IEEE Signal Process. Lett., 1999

1992
Adaptive state space filtering with FIR convergence behaviour.
Proceedings of the 1992 IEEE International Conference on Acoustics, 1992

1988
Boundary value transient suppression for N-D digital systems.
Proceedings of the IEEE International Conference on Acoustics, 1988


  Loading...